codelion / gramtestLinks
GramTest: A tool for Grammar based Test case generation
☆88Updated last year
Alternatives and similar repositories for gramtest
Users that are interested in gramtest are comparing it to the libraries listed below
Sorting:
- Java Concolic Unit Testing Engine☆92Updated 11 years ago
- ANTLR v4 grammar-based test generator☆380Updated last week
- GenProg: heuristic, GP-based automatic program repair for C.☆97Updated 3 years ago
- Hierarchical Delta Debugging Framework☆59Updated 8 months ago
- Java bytecode generator for sound and precise partial program analysis☆24Updated 4 years ago
- static analysis benchmarks from Toyota ITC☆115Updated 2 years ago
- Semantic program repair system for C programs☆100Updated 2 years ago
- A Z3-Based String Constraint Solver☆87Updated 5 years ago
- Goal-directed static analysis tool for JVM languages.☆58Updated 9 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 4 years ago
- CREST is a concolic test generation tool for C.☆162Updated 5 years ago
- ☆75Updated 7 years ago
- An LLVM IR Editor plugin for Eclipse☆52Updated 11 years ago
- Dynamic detection of likely invariants☆229Updated 2 weeks ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- Type checking ifdef variability☆78Updated 3 years ago
- Static Slicer for LLVM☆67Updated 9 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆101Updated 10 months ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆134Updated 5 years ago
- Main distribution of Petablox☆35Updated 7 years ago
- A dynamic symbolic analysis tool for Java☆121Updated 6 years ago
- SMACK Software Verifier and Verification Toolchain☆440Updated 4 months ago
- AFL-like fuzzer for the Java Virtual Machine☆48Updated 6 years ago
- custom type systems for Clang☆98Updated 9 years ago
- Python Symbolic Execution☆71Updated 6 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated last year
- A higher order mutation testing tool☆58Updated 4 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆160Updated last month
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Incremental Program Analysis Framework☆90Updated 4 years ago