se-sic / SPLConquerorLinks
SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.
☆24Updated last year
Alternatives and similar repositories for SPLConqueror
Users that are interested in SPLConqueror are comparing it to the libraries listed below
Sorting:
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- Semantic program repair system for C programs☆101Updated 3 years ago
- Dynamic detection of likely invariants☆237Updated last week
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆64Updated 3 years ago
- A free, open-source Java library for automata learning algorithms☆220Updated this week
- Collection of Verification Tasks (MOVED, please follow the link)☆185Updated 4 years ago
- Automated program repair bibliography, tools and benchmarks.☆83Updated 7 months ago
- JavaSMT - Unified Java API for SMT solvers.☆230Updated this week
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- Efficient techniques for mining LTL formulae over linear input traces☆18Updated 2 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 10 months ago
- HotCRP conference review software☆376Updated this week
- Inferring models of systems from observations of their behavior☆85Updated 3 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆55Updated 4 months ago
- The Ultimate program analysis framework.☆233Updated this week
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆250Updated this week
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆16Updated 6 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆97Updated 4 years ago
- KLEE with floating point support (unmaintained)☆20Updated 3 years ago
- A Reading List of System Configuration Management☆57Updated last year
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆27Updated 3 years ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆33Updated 3 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆101Updated last year
- Symbolic PathFinder☆160Updated last month
- ☆75Updated 7 years ago
- An Automata Learning Library Written in Python☆199Updated this week
- Java Ranger is a path-merging extension of Symbolic PathFinder☆14Updated 11 months ago
- Practical Program Repair via Bytecode Mutation☆65Updated 3 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆23Updated 2 years ago
- Configuration dependency analysis for cloud software☆24Updated 3 years ago