Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
☆10Jan 25, 2018Updated 8 years ago
Alternatives and similar repositories for accmut
Users that are interested in accmut are comparing it to the libraries listed below
Sorting:
- CoREBench: Errors in Find, Grep, Make☆13Dec 10, 2015Updated 10 years ago
- Accurate Condition Synthesis☆20Aug 3, 2022Updated 3 years ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆31Dec 29, 2024Updated last year
- Semantic program repair system for C programs☆101Sep 26, 2022Updated 3 years ago
- LLVM-based Mutation Testing System. Proof of concept☆14Apr 14, 2016Updated 9 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 4 months ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Jul 25, 2022Updated 3 years ago
- Rapid prototyping parser generator☆17Mar 13, 2026Updated last week
- Java and Python Integration Example for GraalVM☆21Jul 15, 2021Updated 4 years ago
- ☆30Jul 17, 2024Updated last year
- Artifacts of FSE-2017 paper on an Intelligent Tutoring System for Programming☆26May 21, 2019Updated 6 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Nov 21, 2022Updated 3 years ago
- 西门子测试集下载☆15Sep 18, 2019Updated 6 years ago
- An empirical study on patch correctness☆15Nov 5, 2022Updated 3 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated last month
- ☆20Dec 19, 2025Updated 3 months ago
- An implementation of Tare.☆12Feb 23, 2024Updated 2 years ago
- Java Code Instrumenter and Execution Tracer☆16Oct 15, 2020Updated 5 years ago
- ☆20May 30, 2024Updated last year
- Checkout our paper: History Driven Program Repair here☆11Mar 15, 2019Updated 7 years ago
- TracerX Symbolic Virtual Machine☆32Sep 24, 2025Updated 5 months ago
- 数据分析残卷☆20Aug 1, 2022Updated 3 years ago
- BuildKit integration for Rust☆25Mar 4, 2020Updated 6 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Dec 10, 2020Updated 5 years ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆18Aug 4, 2023Updated 2 years ago
- REPL (read–eval–print loop) shell built on top of JavaFX and GraalVM stack, incorporating GraalJS, GraalPython, TruffleRuby and FastR☆35Sep 5, 2021Updated 4 years ago
- Utilities for Maven development☆20Dec 5, 2023Updated 2 years ago
- BGSimulator is a Hearthstone Battlegrounds deep learning simulator☆24Jan 11, 2020Updated 6 years ago
- Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair☆62Feb 7, 2018Updated 8 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- CVE-Search Management Tools - Tools that might be useful for management purposes☆22Oct 7, 2015Updated 10 years ago
- ☆19Jun 1, 2024Updated last year
- Simple compiler that translates simpified C into ARMv7 assembly☆18Apr 12, 2024Updated last year
- Using Machine Learning to predict the outcome of a zzuf fuzzing campaign☆23Jun 16, 2015Updated 10 years ago
- an interactive programming language☆55Mar 12, 2026Updated last week
- ☆20Jun 23, 2021Updated 4 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆44Nov 18, 2020Updated 5 years ago