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
• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆42Updated 8 years ago
• john-tornblom / llvm-p86
  A compiler and mutation testing framework for the programming language Pascal-86
  ☆18Updated 10 years ago
• chrisa / ruby-dtrace
  Ruby bindings for DTrace
  ☆63Updated 12 years ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 3 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆19Updated 9 years ago
• andyfinnell / kalerl
  An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.
  ☆12Updated 9 years ago
• ridiculousfish / littlecheck
  Test driver for command line tools
  ☆30Updated 3 weeks ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 9 years ago
• softdevteam / libkalibera
  libkalibera
  ☆16Updated 2 years ago
• google / clang-lens
  ☆20Updated 9 years ago
• drbrain / strace_me
  strace a block of ruby code
  ☆35Updated 14 years ago
• briandfoy / excellent_numbers
  Compute excellent numbers
  ☆9Updated 8 months ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆21Updated 3 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆11Updated 7 years ago
• thestr4ng3r / llvm-dbas
  LLVM Assembler adding Debug Information at IR Level.
  ☆32Updated 6 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆178Updated 5 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• mull-project / libirm
  Low-level IR mutations for LLVM Bitcode
  ☆37Updated last year
• ispras / quix86
  An x86-64 instruction decoder.
  ☆16Updated 10 months ago
• MichaelRFairhurst / wake-compiler
  C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.
  ☆56Updated 9 years ago
• vellvm / ollvm
  An higher-level LLVM binding for OCaml
  ☆14Updated 7 years ago
• struct / Nerve
  Nerve is a cross platform hit tracer built on Ragweed
  ☆47Updated 13 years ago
• plum-umd / rtc
  ☆84Updated 8 years ago
• vellvm / vellvm-legacy
  ☆33Updated 9 years ago
• janvitek / rift
  Playing with llvm
  ☆25Updated 7 years ago
• ddunbar / zcov
  Code coverage reporting tool
  ☆51Updated 8 years ago
• evdenis / acsl-proved
  Fully proved small C functions (examples for verification course).
  ☆16Updated 7 years ago