Alternatives and similar repositories for cynthia:

Users that are interested in cynthia are comparing it to the libraries listed below

• YuanchengJiang / GraphGenie
  To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.
  ☆33Updated last year
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated 2 years ago
• prosyslab-classroom / is661-advanced-software-security
  ☆11Updated 9 months ago
• UniCodeSphere / Creal
  ☆32Updated 5 months ago
• nus-test / clang-tool-template
  A basic repository for a Clang-based tool, with CMake integration.
  ☆10Updated last year
• nus-test / Deopt
  Datalog Engines OPtimization Tester.
  ☆13Updated last year
• MCFuzzer / MCFuzz
  Finding and Understanding Bugs in Software Model Checkers
  ☆8Updated 6 years ago
• CGCL-codes / HistFuzz
  A practical fuzzing tool for SMT solvers
  ☆11Updated 7 months ago
• BugSwarm / bugswarm
  ☆32Updated 3 weeks ago
• neu-se / CONFETTI
  ☆21Updated 2 years ago
• Practical-Formal-Methods / queryFuzz
  QueryFuzz implements a metamorphic testing approach to test Datalog engines.
  ☆36Updated 3 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆102Updated last year
• nus-test / XPress
  Automated testing for XML XPath execution
  ☆17Updated last year
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆37Updated 4 months ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆57Updated 11 months ago
• Graspan / graspan-java
  This is java implementation of Graspan.
  ☆20Updated last year
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated 4 months ago
• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆52Updated last year
• rs3lab / Monarch
  Monarch: A Fuzzing Framework for Distributed File Systems (ATC'24)
  ☆11Updated 9 months ago
• xlab-uiuc / cdep-fse-ae
  Configuration dependency analysis for cloud software
  ☆22Updated 3 years ago
• gdbmeter / gdbmeter
  Automated testing tool to find logic bugs in graph database systems
  ☆17Updated last year
• PSU-Security-Universe / sqlright
  Coveraged-based fuzzer for finding DBMS logical bugs
  ☆53Updated 2 years ago
• xlab-uiuc / ctest-prio-ae
  Test-Case Prioritization for Configuration Testing
  ☆16Updated 3 years ago
• eth-sri / learch
  ☆39Updated last year
• wtdcode / sand-aflpp
  Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"
  ☆13Updated last month
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated last month
• SVF-tools / SVF-example
  An external project example using SVF as a library
  ☆21Updated last month
• rschumi0 / ExAIS
  Prolog specification of TensorFlow layers
  ☆14Updated last year
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago