ModelInference / synoptic
Inferring models of systems from observations of their behavior
☆83Updated 2 years ago
Alternatives and similar repositories for synoptic:
Users that are interested in synoptic are comparing it to the libraries listed below
- Test-Case Prioritization for Configuration Testing☆16Updated 3 years ago
- ☆71Updated 7 years ago
- Efficient techniques for mining LTL formulae over linear input traces☆20Updated last year
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- Dynamic detection of likely invariants☆220Updated this week
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated last year
- GenProg: heuristic, GP-based automatic program repair for C.☆93Updated 3 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated this week
- Runtime verification system for Java, using AspectJ for instrumentation.☆45Updated 2 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆33Updated 2 years ago
- Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)☆11Updated 2 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆95Updated last week
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- Official repository for PraPR source code☆14Updated 3 years ago
- ☆16Updated 7 months ago
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆14Updated 10 years ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆94Updated 3 months ago
- ☆15Updated 5 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 4 months ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆89Updated 8 months ago
- A data race detector for C+Pthreads programs☆13Updated 2 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 3 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- A Reading List of System Configuration Management☆55Updated 5 months ago
- Automatically exported from code.google.com/p/type-inference☆26Updated 6 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆46Updated 3 years ago
- a concolic testing engine for Java☆102Updated 6 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 4 months ago
- SMTInterpol interpolating SMT solver☆63Updated last week