ligurio / jenny
Tool for generating regression tests
☆16Updated last year
Alternatives and similar repositories for jenny:
Users that are interested in jenny are comparing it to the libraries listed below
- Tools and APIs to develop weavers for the LARA language (LARA Compiler, LARA Interpreter, Weaver Generator, etc...)☆13Updated 2 weeks ago
- Eclipse Trace Compass☆13Updated this week
- toolsuite for analyzing cpp-preprocessor-based software product lines☆11Updated last year
- EvoMaster Benchmark (EMB): a set of web/enterprise applications for experimentation in automated system testing☆31Updated 2 weeks ago
- A python backend for the GumTree diff tool.☆9Updated 11 months ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Updated 2 months ago
- SpongeBugs: Automatically Generating Fix Suggestions for SonarQube / SpotBugs☆23Updated 3 years ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆13Updated 3 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆32Updated 2 years ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- SoSy-Lab Java Common Library☆12Updated this week
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆92Updated last week
- Java Mutation Testing Framework Written in Python☆18Updated 3 months ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 6 months ago
- Modbat is a model-based API tester for stateful systems.☆20Updated last year
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆18Updated 2 years ago
- This repository has been rewritten to move to the Eclipse Foundation. Find the old history here: https://github.com/TypeFox/Xpect☆33Updated last week
- Introduction to Mutation Testing☆23Updated this week
- NiCad Clone Detector☆13Updated 3 months ago
- Suite of C/C++ tooling built on LLVM/Clang☆102Updated 2 months ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆41Updated 11 months ago
- An unofficial copy of MIT's Alloy Analyzer model checking tool.☆20Updated 11 years ago
- Specification of the Trace Server Protocol (TSP)☆25Updated last month
- A Java Library for Repository Mining☆23Updated last year
- ☆71Updated 7 years ago
- Bicho is a command line based tool used to parse bug/issue tracking systems☆72Updated 6 years ago
- Software testing optimization tool☆28Updated 11 months ago
- Search-based Test Data Generation for Relational Database Schemas☆24Updated 3 years ago
- Git file commit churn and prompt customization. Other beneficial bash helps coming..☆21Updated 4 years ago
- TXL programming language compiler/interpreter☆22Updated this week