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 8 years ago
• softdevteam / libkalibera
  libkalibera
  ☆16Updated 2 years ago
• john-tornblom / llvm-p86
  A compiler and mutation testing framework for the programming language Pascal-86
  ☆18Updated 10 years ago
• timbod7 / secretfs
  A FUSE file system that interpolates secret information
  ☆20Updated 8 years ago
• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆42Updated 8 years ago
• andyfinnell / kalerl
  An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.
  ☆12Updated 9 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• google / clang-lens
  ☆20Updated 9 years ago
• gasche / popl2014-papers
  ☆73Updated 11 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆97Updated 9 years ago
• mpw / pLucid-osx
  A "port" of plucid that works on OS X
  ☆12Updated 10 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• ispras / quix86
  An x86-64 instruction decoder.
  ☆16Updated 11 months ago
• drbrain / strace_me
  strace a block of ruby code
  ☆35Updated 14 years ago
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 3 years ago
• mcfilib / ruby-marshal
  Haskell library to parse a subset of Ruby objects serialised with Marshal.dump
  ☆33Updated 2 years ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 3 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆11Updated 7 years ago
• ddunbar / zcov
  Code coverage reporting tool
  ☆51Updated 8 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆20Updated 9 years ago
• COMSYS / SymbolicLivenessAnalysis
  Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
  ☆14Updated 3 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 7 years ago
• rumpkernel / src-netbsd
  Mirror of NetBSD sources useful with rump kernels
  ☆12Updated 7 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• vellvm / vellvm-legacy
  ☆33Updated 9 years ago
• echronos / echronos-proofs
  Isabelle/HOL proofs about the eChronos RTOS
  ☆10Updated 7 years ago
• gmarpons / Crisp
  A Clang/LLVM add-on to enforce coding rules
  ☆33Updated 11 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago