verivital / slsf_randgen
Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing
☆15Updated 5 years ago
Alternatives and similar repositories for slsf_randgen:
Users that are interested in slsf_randgen are comparing it to the libraries listed below
- Assume-Guarantee REasoning Environment☆14Updated this week
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Updated 6 years ago
- Information to reproduce results from SV-COMP (MOVED, please follow the link)☆15Updated 4 years ago
- Automated Analysis Framework for Simulink/Stateflow☆16Updated last year
- DSVerifier - Digital Systems Verifier☆12Updated 6 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated last month
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆25Updated 7 years ago
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆15Updated 6 years ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆26Updated 6 years ago
- ☆11Updated 4 years ago
- A Fast Floating-Point Satisfiability Solver☆21Updated 6 years ago
- DeepLocalize: Fault Localization for Deep NeuralNetworks☆25Updated 4 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆20Updated 3 years ago
- ☆16Updated 9 months ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆39Updated 4 years ago
- ☆33Updated 5 years ago
- Static Analyzer and Verifier☆46Updated 5 months ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆17Updated last year
- Intrepyd Model Checker☆18Updated 3 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- The Charon tool for analyzing neural network robustness☆13Updated 4 years ago
- An empirical study on patch correctness☆15Updated 2 years ago
- A model-based API Fuzzer for SMT Solvers.☆13Updated last week
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆53Updated 11 months ago
- Test-Case Prioritization for Configuration Testing☆16Updated 3 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated 2 years ago
- Scalable yet rigorous Floating-point Error Analysis☆12Updated 9 months ago
- Keep your bugs contained. A platform for studying historical software bugs.☆68Updated 2 months ago
- Microsoft Static Driver Verifier Benchmarks☆14Updated 7 years ago