meinicke / VarexJ
A Variability-Aware Interpreter for Java Applications
☆11Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for VarexJ
- ☆10Updated 5 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 3 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- The Boa language reference compiler.☆33Updated 8 months ago
- Feature-Oriented and Distributed Version Control System☆15Updated this week
- Refazer: Learning Program Transformations from Examples☆30Updated 6 years ago
- ADD extracts features from patches such as repair patterns.☆12Updated last year
- toolsuite for analyzing cpp-preprocessor-based software product lines☆11Updated last year
- ☆19Updated 7 months ago
- A tool to mine refactorings in the commit history of git repositories.☆148Updated 3 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆77Updated 2 months ago
- ☆9Updated 3 years ago
- Automated Tool for Prioritizing JUnit Test Suites☆11Updated 2 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆97Updated 3 weeks ago
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆206Updated 3 months ago
- "FAST Approaches to Scalable Similarity-based Test Case Prioritization" online material.☆13Updated 6 years ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆92Updated 5 months ago
- GenProg: heuristic, GP-based automatic program repair for C.☆92Updated 3 years ago
- PC-miner tool for program chairs☆23Updated 2 weeks ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 2 years ago
- The Core Algorithm of SmartCommit.☆23Updated 2 years ago
- Java Mutation Testing Framework Written in Python☆18Updated last month
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated last month
- Hosts our tool for mining simple "stupid'' bugs (SStuBs).☆35Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- ☆21Updated last year
- Repository of teaching material for product lines and variability☆12Updated last year
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- Checkout our paper: History Driven Program Repair here☆11Updated 5 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆45Updated last year