squaresLab / Darjeeling
Language-independent, search-based program repair -- just your cup of tea! ☕
☆28Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for Darjeeling
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆67Updated 3 weeks ago
- ☆30Updated 3 months ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆25Updated 5 years ago
- PC-miner tool for program chairs☆24Updated 3 weeks ago
- Hierarchical Delta Debugging Framework☆57Updated this week
- CoREBench: Errors in Find, Grep, Make☆14Updated 8 years ago
- KLEE with floating point support (unmaintained)☆18Updated 2 years ago
- Dynamic Analysis for Concurrent Programs☆22Updated last month
- ☆19Updated 3 years ago
- SymDiff-Differential-Program-Verifier☆29Updated this week
- Static Analyzer and Verifier☆46Updated last month
- Sydr benchmark applications☆17Updated 2 years ago
- Lightweight tool for slicing☆34Updated this week
- Mutation analysis tool for Coq verification projects☆30Updated 4 years ago
- The C parser for GumTree☆12Updated 4 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆20Updated last month
- GenProg: heuristic, GP-based automatic program repair for C.☆92Updated 3 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆39Updated 2 months ago
- JReduce is a tool to reduce Java ByteCode☆12Updated 3 years ago
- A list of bugs found by SQLancer☆13Updated 9 months ago
- ☆10Updated 3 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Updated 6 years ago
- Examples for TracerX KLEE☆9Updated 4 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 2 years ago
- Python Symbolic Execution☆65Updated 5 years ago
- Generates loop invariants for program verification☆58Updated 3 years ago
- Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…☆15Updated 3 years ago