Alternatives and similar repositories for mutation-testing-poc

Users that are interested in mutation-testing-poc are comparing it to the libraries listed below

• tjchambers / mutant-musings
  A journey in mutation testing
  ☆13Updated 9 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 years ago
• softdevteam / libkalibera
  libkalibera
  ☆16Updated 3 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago
• john-tornblom / llvm-p86
  A compiler and mutation testing framework for the programming language Pascal-86
  ☆20Updated 11 years ago
• yuejia / Milu
  A higher order mutation testing tool
  ☆58Updated 5 years ago
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆156Updated 3 years ago
• ddunbar / zcov
  Code coverage reporting tool
  ☆51Updated 9 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆18Updated 9 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆188Updated 7 years ago
• ispras / quix86
  An x86-64 instruction decoder.
  ☆16Updated last year
• chrisa / ruby-dtrace
  Ruby bindings for DTrace
  ☆63Updated 13 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆10Updated 8 years ago
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆90Updated 2 months ago
• thestr4ng3r / llvm-dbas
  LLVM Assembler adding Debug Information at IR Level.
  ☆33Updated 7 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆21Updated 10 years ago
• alepez / vim-llvmcov
  The llvm-cov tool shows code coverage information for programs that are instrumented to emit profile data.
  ☆30Updated 3 years ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 4 years ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆363Updated 10 years ago
• relan / msr.kext
  OS X kernel extension for reading MSRs (Model Specific Registers)
  ☆12Updated 9 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆225Updated 2 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆47Updated 3 years ago
• novaprova / novaprova
  new generation testing framework for C and C++
  ☆36Updated 3 years ago
• COMSYS / SymbolicLivenessAnalysis
  Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
  ☆12Updated 4 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆60Updated 2 months ago
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 8 years ago
• Stiivi / ParserCombinator
  Simple ParserCombinator framework for Swift
  ☆13Updated 7 years ago
• wickedchicken / llvm-c-example
  Example usage of LLVM's C bindings
  ☆36Updated 13 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆53Updated 12 years ago
• MichaelRFairhurst / wake-compiler
  C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.
  ☆55Updated 10 years ago