theosotr / cynthia
Data-Oriented Differential Testing of ORM Systems.
☆15Updated 4 years ago
Alternatives and similar repositories for cynthia:
Users that are interested in cynthia are comparing it to the libraries listed below
- To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.☆33Updated last year
- ☆32Updated last month
- Test-Case Prioritization for Configuration Testing☆16Updated 3 years ago
- A fuzzing framework for finding transactional bugs in DBMSs☆52Updated last year
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Updated 3 years ago
- Testing Configuration Changes in Context to Prevent Production Failures☆30Updated last year
- A practical fuzzing tool for SMT solvers☆11Updated 8 months ago
- ☆11Updated 10 months ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆59Updated last week
- ☆33Updated 6 years ago
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆38Updated this week
- A framework for testing compilers' type checkers☆17Updated 5 months ago
- Symbolic Program Slicing with LLVM☆79Updated 4 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆56Updated 5 months ago
- Public-facing course info for program analysis materials.☆41Updated 4 months ago
- This is java implementation of Graspan.☆20Updated last year
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 9 months ago
- ☆32Updated 6 months ago
- A basic repository for a Clang-based tool, with CMake integration.☆10Updated last year
- Datalog Engines OPtimization Tester.☆13Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 months ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆17Updated last year
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- Finding and Understanding Bugs in Software Model Checkers☆8Updated 6 years ago
- CrashTuner(SOSP2019)☆30Updated 5 years ago
- Automated testing for XML XPath execution☆17Updated last year
- Java Ranger is a path-merging extension of Symbolic PathFinder☆13Updated 4 months ago