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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CoREBench: Errors in Find, Grep, Make☆13Dec 10, 2015Updated 10 years ago
- Accurate Condition Synthesis☆20Aug 3, 2022Updated 3 years ago
- Semantic program repair system for C programs☆100Sep 26, 2022Updated 3 years ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆32Dec 29, 2024Updated last year
- LLVM-based Mutation Testing System. Proof of concept☆14Apr 14, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Structural Reasoning About Program Correctness in Natural Language☆22Jun 23, 2025Updated last year
- Rapid prototyping parser generator☆17Mar 21, 2026Updated 4 months ago
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 8 months ago
- Java and Python Integration Example for GraalVM☆21Jul 15, 2021Updated 5 years ago
- ☆31Jul 17, 2024Updated 2 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 8 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Jul 25, 2022Updated 3 years ago
- NeonGoby alias analysis checker☆15Jul 2, 2013Updated 13 years ago
- Artifacts of FSE-2017 paper on an Intelligent Tutoring System for Programming☆27May 21, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 西门子测试集下载☆15Sep 18, 2019Updated 6 years ago
- An empirical study on patch correctness☆15Nov 5, 2022Updated 3 years ago
- ☆20Dec 19, 2025Updated 7 months ago
- BGSimulator is a Hearthstone Battlegrounds deep learning simulator☆25Jan 11, 2020Updated 6 years ago
- Java Code Instrumenter and Execution Tracer☆16Oct 15, 2020Updated 5 years ago
- An implementation of Tare.☆12Feb 23, 2024Updated 2 years ago
- 数据分析残卷☆21Aug 1, 2022Updated 3 years ago
- Checkout our paper: History Driven Program Repair here☆11Mar 15, 2019Updated 7 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Dec 10, 2020Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair☆62Feb 7, 2018Updated 8 years ago
- REPL (read–eval–print loop) shell built on top of JavaFX and GraalVM stack, incorporating GraalJS, GraalPython, TruffleRuby and FastR☆36Sep 5, 2021Updated 4 years ago
- TracerX Symbolic Virtual Machine☆32May 14, 2026Updated 2 months ago
- Utilities for Maven development☆21Dec 5, 2023Updated 2 years ago
- BuildKit integration for Rust☆28Mar 4, 2020Updated 6 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Nov 21, 2022Updated 3 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated 5 months ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆18Apr 24, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- CVE-Search Management Tools - Tools that might be useful for management purposes☆22Oct 7, 2015Updated 10 years ago
- ☆20Updated this week
- Simple compiler that translates simpified C into ARMv7 assembly☆19Apr 12, 2024Updated 2 years ago
- ☆20Jun 1, 2024Updated 2 years ago
- Using Machine Learning to predict the outcome of a zzuf fuzzing campaign☆23Jun 16, 2015Updated 11 years ago
- an interactive programming language☆58Updated this week
- This is my (old) personal website using bootstrap. Free to clone and use as your website template :-) New homepage:☆16Sep 20, 2019Updated 6 years ago