meinicke / VarexJLinks
A Variability-Aware Interpreter for Java Applications
☆11Updated 5 years ago
Alternatives and similar repositories for VarexJ
Users that are interested in VarexJ are comparing it to the libraries listed below
Sorting:
- ☆10Updated 6 years ago
- ☆21Updated 9 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- Refazer: Learning Program Transformations from Examples☆30Updated 7 years ago
- A Modern Probabilistic Model Checker☆160Updated this week
- GenProg: heuristic, GP-based automatic program repair for C.☆100Updated 4 years ago
- Synthesizing SQL queries from input / output examples☆46Updated 5 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 6 months ago
- Lookout Style Analyzer: fixing code formatting and typos during code reviews☆33Updated 3 years ago
- Program Synthesis Course☆265Updated last year
- Spoofax runtime☆160Updated 9 months ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆42Updated 2 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆44Updated 4 years ago
- JavaSMT - Unified Java API for SMT solvers.☆230Updated this week
- ☆13Updated last year
- A tool for Model Based Testing☆49Updated 4 months ago
- Python Bindings for the Probabilistic Model Checker Storm☆39Updated last week
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 3 years ago
- SMTInterpol interpolating SMT solver☆69Updated last week
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 7 months ago
- A Python script to create cactus and scatter plots based on matplotlib☆27Updated 4 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- PC-miner tool for program chairs☆29Updated last month
- Hanoi Omega-Automata Format☆15Updated 3 years ago
- ☆143Updated 3 years ago
- Collection of benchmarks that reveal the performance of some lexing and parsing issues (mostly C# runtime)☆10Updated 3 years ago
- ☆25Updated 9 months ago
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆213Updated 10 months ago
- An overview of property-based testing functionality☆80Updated 2 months ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆168Updated last week