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:
- A free, open-source Java library for automata learning algorithms☆218Updated 2 months ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 9 months ago
- Dynamic detection of likely invariants☆236Updated last week
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- Inferring models of systems from observations of their behavior☆85Updated 3 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆185Updated 3 years ago
- JavaSMT - Unified Java API for SMT solvers.☆229Updated this week
- Semantic program repair system for C programs☆100Updated 3 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆97Updated 4 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆249Updated this week
- ☆75Updated 7 years ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆14Updated 10 months ago
- ☆15Updated 6 years ago
- Efficient techniques for mining LTL formulae over linear input traces☆18Updated 2 years ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆270Updated 3 weeks ago
- KLEE with floating point support (unmaintained)☆20Updated 3 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆56Updated this week
- CREST is a concolic test generation tool for C.☆162Updated 5 years ago
- 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
- A Modern Probabilistic Model Checker☆152Updated last week
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆11Updated 6 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆92Updated last year
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆16Updated 6 years ago
- Test-Case Prioritization for Configuration Testing☆16Updated 4 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 5 years ago
- The Ultimate program analysis framework.☆230Updated this week
- HotCRP conference review software☆374Updated this week
- GenProg: heuristic, GP-based automatic program repair for C.☆97Updated 4 years ago