MUSIC: MUtation analySIs tool with High Configurability and Extensibility
☆18Aug 4, 2023Updated 2 years ago
Alternatives and similar repositories for MUSIC
Users that are interested in MUSIC are comparing it to the libraries listed below
Sorting:
- A mutation tool for source and IR☆13Sep 6, 2018Updated 7 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Nov 21, 2022Updated 3 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- An OS X kernel module that protects a userland process from being terminated in any way☆14Dec 7, 2015Updated 10 years ago
- A journey in mutation testing☆13Jul 26, 2016Updated 9 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- A compiler for the Meta Attack Language☆15Apr 11, 2022Updated 3 years ago
- Simple ParserCombinator framework for Swift☆13May 2, 2018Updated 7 years ago
- Zobrist hashing in C☆16Sep 15, 2016Updated 9 years ago
- LLVM + Swift template Xcode project☆13Apr 20, 2017Updated 8 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- Suite of C/C++ tooling built on LLVM/Clang☆109Jan 7, 2026Updated 2 months ago
- mutation testing for R☆16Nov 11, 2024Updated last year
- A proof of concept which generates mutations based on an abstract syntax tree☆15Nov 4, 2016Updated 9 years ago
- ☆20May 30, 2024Updated last year
- LLVM Intellij Plugin☆17Oct 13, 2018Updated 7 years ago
- A tool for simulating an arbitrary connection between two network endpoints☆19May 31, 2019Updated 6 years ago
- Qt Creator plugin for asn1scc - ASN.1/ACN compiler for embedded systems☆19Sep 4, 2024Updated last year
- Automatic regression verification for LLVM programs☆19Jul 16, 2021Updated 4 years ago
- Compile Time Turing Machine☆16Mar 27, 2016Updated 9 years ago
- Composite operations framework based on top of NSOperation/NSOperationQueue.☆21Feb 1, 2017Updated 9 years ago
- Systems are built from Components, not from Dependencies.☆26Sep 21, 2017Updated 8 years ago
- Process Orchestration Framework: A camunda 7 fork☆21Mar 2, 2026Updated last week
- ☆24Jun 17, 2021Updated 4 years ago
- Practical examples of software and testing patterns related to mutation testing☆23Dec 14, 2018Updated 7 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆22Jul 5, 2017Updated 8 years ago
- ☆28Oct 29, 2025Updated 4 months ago
- Java Mutation Testing Framework Written in Python☆23Aug 17, 2025Updated 6 months ago
- We propose a novel DL-based mutation technique (LEAM), which adapts the syntax-guided encoder-decoder architecture to build two sub-model…☆29Jun 16, 2024Updated last year
- [UNMAINTAINED] Provides automated test to detect runtime conflicts of constraints.☆26Apr 12, 2016Updated 9 years ago
- Efficient Mutation Testing for Java☆39Jun 20, 2022Updated 3 years ago
- A demo project showing the use of yacc and lex (bison, flex) in a Xcode project☆33Oct 10, 2016Updated 9 years ago
- LLVM Assembler adding Debug Information at IR Level.☆33Oct 31, 2018Updated 7 years ago
- ☆23Dec 30, 2025Updated 2 months ago
- Example usage of LLVM's C bindings☆36Apr 9, 2012Updated 13 years ago
- OWASP Ontology-driven Threat Modelling framework☆40Jul 11, 2023Updated 2 years ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months ago