verivital / slsf_randgenLinks
Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing
☆17Updated 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
Sorting:
- 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
- JKind - An infinite-state model checker for safety properties in Lustre☆54Updated 4 months ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Updated 7 years ago
- A mutation tool for source and IR☆13Updated 6 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆42Updated 4 years ago
- DSVerifier - Digital Systems Verifier☆12Updated 6 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated 2 years ago
- ☆11Updated 4 years ago
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆17Updated 9 months ago
- mBERT is a mutation testing tool that uses a pre-trained language model (CodeBERT) to generate mutants.☆14Updated 4 months ago
- Loop invariant generation with LLMs☆23Updated 3 months ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated last month
- ☆12Updated 2 years ago
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆15Updated 6 years ago
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆25Updated 8 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 7 months ago
- Static Analyzer and Verifier☆47Updated 7 months ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 4 months ago
- Debugging Prototype Avicenna☆10Updated 3 months ago
- ☆33Updated 6 years ago
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆43Updated 4 years ago
- A tool for identifying patch correctness in test-based program repair☆19Updated 5 years ago
- An empirical study on patch correctness☆15Updated 2 years ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆31Updated 2 years ago
- A powerful relational representation of source code☆31Updated last year
- ☆19Updated 6 months ago
- ☆25Updated 3 years ago
- ☆17Updated last year