A higher order mutation testing tool
☆58Dec 18, 2020Updated 5 years ago
Alternatives and similar repositories for Milu
Users that are interested in Milu are comparing it to the libraries listed below
Sorting:
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Jul 25, 2022Updated 3 years ago
- Tool for mutation testing of C programs☆20May 2, 2020Updated 5 years ago
- This is a simple script to perform mutation testing on c/c++ like programs☆25Nov 17, 2025Updated 4 months ago
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 9 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- C++ Mutation Test Environment☆189Jun 30, 2024Updated last year
- Practical mutation testing and fault injection for C and C++☆800Updated this week
- A mutation tool for source and IR☆13Sep 6, 2018Updated 7 years ago
- Suite of C/C++ tooling built on LLVM/Clang☆109Jan 7, 2026Updated 2 months ago
- Mutation testing resources: how to make better code by introducing bugs☆453Mar 2, 2026Updated 2 weeks ago
- Implementation trade-offs in using Intel Pin for instruction tracing of complex programs☆15Oct 16, 2019Updated 6 years ago
- JAva code coveraGe faUlt locAlization Rank☆30Sep 21, 2021Updated 4 years ago
- ☆16Apr 21, 2021Updated 4 years ago
- Tool for effective and efficient detection of API misuses.☆11May 20, 2022Updated 3 years ago
- Mirror of git://git.code.sf.net/p/libdwarf/code☆15Dec 30, 2015Updated 10 years ago
- ☆11Nov 13, 2020Updated 5 years ago
- Static Analyzer and Verifier☆52Oct 12, 2024Updated last year
- A dynamic data race detector for programs☆15Jan 2, 2016Updated 10 years ago
- A shared memory dependence tracing tool for dynamic concurrent program analysis☆12Jan 24, 2015Updated 11 years ago
- Hi-Link HLK-RM04☆13Dec 28, 2013Updated 12 years ago
- A journey in mutation testing☆13Jul 26, 2016Updated 9 years ago
- ☆10Jul 13, 2024Updated last year
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 7 years ago
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆15Dec 5, 2023Updated 2 years ago
- PARSEC 3.0 benchmark suite☆13May 12, 2018Updated 7 years ago
- The name sayeth it all☆12Feb 18, 2020Updated 6 years ago
- A transformer model to predict pathogenic mutations☆12Jun 25, 2025Updated 8 months ago
- ☆23Sep 18, 2023Updated 2 years ago
- valgrind fork with mmap tracing support☆24Jun 22, 2020Updated 5 years ago
- ☆11Sep 14, 2020Updated 5 years ago
- Checkout our paper: History Driven Program Repair here☆11Mar 15, 2019Updated 7 years ago
- A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research☆940Oct 11, 2025Updated 5 months ago
- CodeBERT based mutation testing tool.☆13Nov 10, 2025Updated 4 months ago
- Sample files for fuzzing ImageMagick☆19May 10, 2017Updated 8 years ago
- 石蒜摇摇乐vscode插件☆13Aug 31, 2022Updated 3 years ago
- 🎹 Online 8-bit/chiptune synth, using WebAudio and WebMIDI☆15Nov 10, 2023Updated 2 years ago
- Scaffold a full-stack SvelteKit application with tRPC and WindiCSS out of the box☆11Dec 27, 2022Updated 3 years ago
- Source code, datasets and models of the paper "Efficient White-box Fairness Testing through Gradient Search" by Lingfeng Zhang, Yueling Z…☆11Jul 24, 2021Updated 4 years ago
- This is a stale repository and only there for the commit history. All development moved over to the llvm-project repository! Was: LLVM Op…☆16Mar 17, 2020Updated 6 years ago