gliga / ekstaziView external linksLinks
Software testing optimization tool for Java
☆37Jan 31, 2026Updated 2 weeks ago
Alternatives and similar repositories for ekstazi
Users that are interested in ekstazi are comparing it to the libraries listed below
Sorting:
- STARTS - A tool for STAtic Regression Test Selection☆32Jul 1, 2024Updated last year
- Bash function library☆22Aug 27, 2024Updated last year
- ☆36Nov 9, 2021Updated 4 years ago
- Gojira is a record and replay framework for Java apps meant for regression testing. It provides complete recording capability within a si…☆13Feb 5, 2025Updated last year
- Extensions/Plugins for JVM test frameworks☆21Aug 17, 2021Updated 4 years ago
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 3 years ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Junit Extensions for Test Impact Analysis☆44Feb 7, 2023Updated 3 years ago
- Project to benchmark and profile Error-Prone performance to uncover bottlenecks.☆12Apr 25, 2018Updated 7 years ago
- Multilingual Code Co-Evolution Using Large Language Models☆13Dec 8, 2024Updated last year
- A tool to help adapting code bases to NullAway type system.☆17Jan 4, 2026Updated last month
- ☆20Jun 15, 2017Updated 8 years ago
- ☆20Jul 7, 2017Updated 8 years ago
- materials about and for the classes I teach☆16Oct 29, 2021Updated 4 years ago
- VMVM: Unit Test Virtualization for Java☆24Jun 20, 2022Updated 3 years ago
- D4: Fast Concurrency Debugging with Parallel Differential Analysis☆18Feb 18, 2020Updated 5 years ago
- ☆17Jul 11, 2025Updated 7 months ago
- Research material about software engineering at KTH☆18Aug 5, 2024Updated last year
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- Tools for type annotations in Java☆40Jul 10, 2025Updated 7 months ago
- Thor Hammer and a way to express invokedynamic in Java☆17Sep 23, 2020Updated 5 years ago
- Test-Case Prioritization for Configuration Testing☆16Jul 19, 2021Updated 4 years ago
- Teamscale Java Profiler☆21Feb 11, 2026Updated last week
- Call graph generator for JVM bytecode☆18Feb 21, 2017Updated 8 years ago
- Time-related test utilities for Java☆22Updated this week
- ☆51Dec 21, 2025Updated last month
- Heap introspection for test puposes☆23Jun 12, 2017Updated 8 years ago
- JUnit 5 extensions for AWS☆21Sep 3, 2024Updated last year
- Compiler Testing using Template Java Programs☆27Jan 15, 2024Updated 2 years ago
- CoditT5: Pretraining for Source Code and Natural Language Editing☆29Jan 16, 2025Updated last year
- Jenkins flaky-test-handler plugin☆29Dec 31, 2025Updated last month
- Catch common Project Reactor mistakes as compile-time errors☆26Sep 1, 2020Updated 5 years ago
- An Error Prone plugin for SLF4J☆31Feb 10, 2026Updated last week
- The shared memory version of the Alternating Directions Implicit Solver for Isogeometric Analysis☆10Jan 26, 2019Updated 7 years ago
- ☆29Dec 9, 2021Updated 4 years ago
- Humio JITrex - Fast JVM Bytecode Regex Engine☆42Mar 16, 2022Updated 3 years ago
- Elixir metrics reporter and collector☆35Dec 1, 2021Updated 4 years ago
- Kork provides some basic service building blocks for Spinnaker.☆42Dec 20, 2025Updated last month
- The production data interface for AI agents.☆23Updated this week