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
- ☆71Updated 7 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- Efficient techniques for mining LTL formulae over linear input traces☆20Updated last year
- Official repository for PraPR source code☆14Updated 3 years ago
- Test-Case Prioritization for Configuration Testing☆16Updated 3 years ago
- ☆16Updated 8 months ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆95Updated 4 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated last year
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆95Updated this week
- Configuration dependency analysis for cloud software☆22Updated 3 years ago
- Dynamic detection of likely invariants☆222Updated this week
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆36Updated 7 months ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆46Updated 3 years ago
- ☆15Updated 5 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 weeks ago
- GenProg: heuristic, GP-based automatic program repair for C.☆93Updated 3 years ago
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆71Updated 4 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated last month
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 5 months ago
- A dynamic symbolic analysis tool for Java☆116Updated 5 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- PC-miner tool for program chairs☆24Updated this week
- Runtime verification system for Java, using AspectJ for instrumentation.☆46Updated 2 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆78Updated 6 months ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆163Updated 3 weeks ago
- Probabilistic Computer Network Analysis☆19Updated 6 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
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆26Updated 6 years ago