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☆217Updated last month
- Semantic program repair system for C programs☆100Updated 2 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- ELINA: ETH LIbrary for Numerical Analysis☆134Updated 2 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆63Updated 3 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 7 months ago
- HotCRP conference review software☆368Updated this week
- Dynamic detection of likely invariants☆232Updated this week
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆23Updated 2 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- Inferring models of systems from observations of their behavior☆85Updated 2 years ago
- Automated program repair bibliography, tools and benchmarks.☆80Updated 4 months ago
- Major CS conference publication stats (including accepted and submitted) by year.☆136Updated last month
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- RV-Monitor core system code☆16Updated 4 years ago
- Public-facing course info for program analysis materials.☆42Updated this week
- Efficient techniques for mining LTL formulae over linear input traces☆20Updated 2 years ago
- Test-Case Prioritization for Configuration Testing☆16Updated 4 years ago
- Practical Program Repair via Bytecode Mutation☆65Updated 3 years ago
- JavaSMT - Unified Java API for SMT solvers.☆226Updated this week
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated 2 months ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆96Updated 3 weeks ago
- A Python model checking package☆66Updated last year
- Code2Inv: Learning Loop Invariants for Program Verification☆97Updated 4 years ago
- A Modern Probabilistic Model Checker☆150Updated last week
- Dynamic Analysis for Concurrent Programs☆26Updated 10 months ago
- The Ultimate program analysis framework.☆227Updated this week
- Program dependence graph in LLVM☆39Updated 3 weeks ago
- Concolic Testing for Deep Neural Networks☆119Updated 4 years ago