Software testing optimization tool for Java
☆37Jan 31, 2026Updated last month
Alternatives and similar repositories for ekstazi
Users that are interested in ekstazi are comparing it to the libraries listed below
Sorting:
- RTS technique for .NET☆12Oct 25, 2021Updated 4 years ago
- STARTS - A tool for STAtic Regression Test Selection☆32Jul 1, 2024Updated 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
- Junit Extensions for Test Impact Analysis☆44Feb 7, 2023Updated 3 years ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Multilingual Code Co-Evolution Using Large Language Models☆13Dec 8, 2024Updated last year
- Project to benchmark and profile Error-Prone performance to uncover bottlenecks.☆12Apr 25, 2018Updated 7 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆11Feb 13, 2023Updated 3 years ago
- ☆20Jul 7, 2017Updated 8 years ago
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- ☆20Jun 15, 2017Updated 8 years ago
- Research material about software engineering at KTH☆18Aug 5, 2024Updated last year
- ☆17Jul 11, 2025Updated 8 months ago
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- Tools for type annotations in Java☆40Jul 10, 2025Updated 8 months ago
- Thor Hammer and a way to express invokedynamic in Java☆17Sep 23, 2020Updated 5 years ago
- Teamscale Java Profiler☆21Mar 2, 2026Updated last week
- Time-related test utilities for Java☆22Mar 1, 2026Updated last week
- Call graph generator for JVM bytecode☆18Feb 21, 2017Updated 9 years ago
- Heap introspection for test puposes☆23Jun 12, 2017Updated 8 years ago
- JUnit 5 extensions for AWS☆21Sep 3, 2024Updated last year
- CoditT5: Pretraining for Source Code and Natural Language Editing☆28Jan 16, 2025Updated last year
- Jenkins flaky-test-handler plugin☆29Mar 1, 2026Updated last week
- Catch common Project Reactor mistakes as compile-time errors☆26Sep 1, 2020Updated 5 years ago
- An Error Prone plugin for SLF4J☆31Feb 26, 2026Updated last week
- We know which tests you want to run.☆24Dec 14, 2022Updated 3 years ago
- The shared memory version of the Alternating Directions Implicit Solver for Isogeometric Analysis☆10Jan 26, 2019Updated 7 years ago
- High-performance workflow platform for real-time data orchestration. Scalable by design, fault-tolerant by nature, and built for complex …☆31Updated this week
- ☆39Nov 19, 2025Updated 3 months ago
- ☆28Dec 9, 2021Updated 4 years ago
- Humio JITrex - Fast JVM Bytecode Regex Engine☆42Mar 16, 2022Updated 3 years ago
- A guide to using selenium☆14Oct 13, 2020Updated 5 years ago
- High speed filtering of arbitrarily large JSON documents☆10Feb 24, 2026Updated 2 weeks ago
- Kork provides some basic service building blocks for Spinnaker.☆42Dec 20, 2025Updated 2 months ago
- Safe embeddable scripting for the JVM☆40May 26, 2024Updated last year
- Computer Modern Mono proportional font☆10Jan 2, 2013Updated 13 years ago
- ☆11Jun 11, 2020Updated 5 years ago
- Database Migration and Testing Framework☆10Dec 14, 2022Updated 3 years ago