Alternatives and similar repositories for Darjeeling:

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

• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 2 years ago
• gaoxiang9430 / Fix2Fit
  ☆19Updated 3 years ago
• srcML / srcSlice
  Lightweight tool for slicing
  ☆35Updated 2 weeks ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 3 months ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆93Updated 3 years ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 3 months ago
• ProgramRepair / SearchRepair
  The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)
  ☆26Updated 6 years ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• smtlib / jSMTLIB
  jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…
  ☆26Updated 2 years ago
• binsec / icse2021-artifact992
  ☆10Updated 4 years ago
• GumTreeDiff / cgum
  The C parser for GumTree
  ☆13Updated 4 years ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆23Updated 6 months ago
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆20Updated 3 years ago
• EngineeringSoftware / mcoq
  Mutation analysis tool for Coq verification projects
  ☆29Updated 4 years ago
• lascam-UFU / automatic-diff-dissection
  ADD extracts features from patches such as repair patterns.
  ☆13Updated last year
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 6 months ago
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆62Updated 4 years ago
• tracer-x / TracerX-examples
  Examples for TracerX KLEE
  ☆9Updated 4 years ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆34Updated last month
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• seahorn / seahorn-tutorial
  Supplementary files for SSFT 2015 summer school
  ☆11Updated 5 years ago
• sqlancer / bugs
  A list of bugs found by SQLancer
  ☆14Updated last year
• bannsec / pySym
  Python Symbolic Execution
  ☆67Updated 5 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆59Updated 5 months ago
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 3 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated last week
• ASSERT-KTH / software-engineering-research
  Research material about software engineering at KTH
  ☆17Updated 8 months ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated last month