se-sic / SPLConqueror
SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.
☆23Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for SPLConqueror
- Java Ranger is a path-merging extension of Symbolic PathFinder☆13Updated 2 weeks ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- Dynamic Analysis for Concurrent Programs☆22Updated last month
- Semantic program repair system for C programs☆97Updated 2 years ago
- JavaSMT - Unified Java API for SMT solvers.☆186Updated this week
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆11Updated 5 years ago
- ELINA: ETH LIbrary for Numerical Analysis☆129Updated last year
- SMTInterpol interpolating SMT solver☆60Updated 4 months ago
- A Fast Floating-Point Satisfiability Solver☆20Updated 5 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- A Python model checking package☆64Updated 2 months ago
- Apron Numerical Abstract Domain Library☆112Updated 2 months ago
- Generates loop invariants for program verification☆58Updated 3 years ago
- Public-facing course info for program analysis materials.☆37Updated this week
- ☆12Updated last year
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 4 years ago
- PC-miner tool for program chairs☆23Updated 2 weeks ago
- Translate java jar files into Boogie programs☆12Updated 6 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated 2 weeks ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 2 years ago
- ☆15Updated 5 years ago
- KLEE with floating point support (unmaintained)☆18Updated 2 years ago
- CREST is a concolic test generation tool for C.☆158Updated 4 years ago
- Efficient techniques for mining LTL formulae over linear input traces☆19Updated last year
- ProbFuzz: A Framework for Testing Probabilistic Programming Systems☆8Updated 6 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
- AE-solver and Skolemizer☆18Updated 11 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆30Updated 2 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆22Updated last year
- GI in No Time - a Simple Microframework for Genetic Improvement☆43Updated this week