Software testing optimization tool for Java
☆37Mar 27, 2026Updated last week
Alternatives and similar repositories for ekstazi
Users that are interested in ekstazi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- RTS technique for .NET☆12Oct 25, 2021Updated 4 years ago
- STARTS - A tool for STAtic Regression Test Selection☆32Mar 27, 2026Updated last week
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆11Feb 13, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A tool to help adapting code bases to NullAway type system.☆17Jan 4, 2026Updated 3 months ago
- Research material about software engineering at KTH☆18Mar 27, 2026Updated last week
- Call graph generator for JVM bytecode☆18Feb 21, 2017Updated 9 years ago
- ☆17Jul 11, 2025Updated 8 months ago
- CoditT5: Pretraining for Source Code and Natural Language Editing☆28Jan 16, 2025Updated last year
- Compiler Testing using Template Java Programs☆27Jan 15, 2024Updated 2 years ago
- VMVM: Unit Test Virtualization for Java☆24Jun 20, 2022Updated 3 years ago
- ☆20Jul 7, 2017Updated 8 years ago
- ☆54Dec 21, 2025Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆20Jun 15, 2017Updated 8 years ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- Catch common Project Reactor mistakes as compile-time errors☆26Sep 1, 2020Updated 5 years ago
- [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing☆12Jan 7, 2025Updated last year
- Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)☆10Sep 23, 2021Updated 4 years ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆17Mar 30, 2024Updated 2 years ago
- Meta-repository for SnipPy☆17Nov 29, 2021Updated 4 years ago
- A mirror of the OpenJDK langtools repository☆36Apr 26, 2019Updated 6 years ago
- Demos of mutation testing and fuzz testing prepared for the Software Testing Course of NJU Software Institute.☆12Dec 14, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Performance portable parallel programming in Python backed by Kokkos☆124Mar 31, 2026Updated last week
- ☆10Apr 2, 2026Updated last week
- Real-time multi-language unit test generation tool via LSP☆36Updated this week
- Regexp based tool for mutating generic source code across numerous languages☆154Jan 28, 2026Updated 2 months ago
- Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity☆10Jul 2, 2023Updated 2 years ago
- Tools for type annotations in Java☆40Jul 10, 2025Updated 8 months ago
- No description yet☆11May 26, 2023Updated 2 years ago
- Extensions/Plugins for JVM test frameworks☆21Aug 17, 2021Updated 4 years ago
- A Pokémon save file editor based on the PKMDS library.☆17Oct 28, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- materials about and for the classes I teach☆16Oct 29, 2021Updated 4 years ago
- This folder container replication materials for the paper accepted☆12Sep 27, 2021Updated 4 years ago
- 软件工程与计算II☆11Dec 29, 2020Updated 5 years ago
- Example for using Spring Websocket and Angular with Stomp Messaging☆18Jul 16, 2018Updated 7 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
- A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research☆949Oct 11, 2025Updated 5 months ago
- Teamscale Java Profiler☆22Mar 30, 2026Updated last week