swtv-kaist / MUSICView external linksLinks
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
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Jul 25, 2022Updated 3 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 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
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- LLVM + Swift template Xcode project☆13Apr 20, 2017Updated 8 years ago
- Suite of C/C++ tooling built on LLVM/Clang☆108Jan 7, 2026Updated last month
- mutation testing for R☆16Nov 11, 2024Updated last year
- Qt Creator plugin for asn1scc - ASN.1/ACN compiler for embedded systems☆19Sep 4, 2024Updated last year
- A tool for simulating an arbitrary connection between two network endpoints☆19May 31, 2019Updated 6 years ago
- 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
- A C API to do most things done by the FreeBSD 'ifconfig' program today☆26Feb 17, 2018Updated 7 years ago
- Practical examples of software and testing patterns related to mutation testing☆23Dec 14, 2018Updated 7 years ago
- ☆24Jun 17, 2021Updated 4 years ago
- ☆28Oct 29, 2025Updated 3 months ago
- Software Testing Assignments☆24Apr 4, 2016Updated 9 years ago
- Efficient Mutation Testing for Java☆39Jun 20, 2022Updated 3 years ago
- [UNMAINTAINED] Provides automated test to detect runtime conflicts of constraints.☆26Apr 12, 2016Updated 9 years 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
- 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
- ☆34Updated this week
- Example usage of LLVM's C bindings☆36Apr 9, 2012Updated 13 years ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆22Jun 14, 2025Updated 8 months ago
- Compiler instrumentation for testing☆31Mar 28, 2018Updated 7 years ago
- An Emulator and SDK for Intel SGX extension☆32Mar 6, 2017Updated 8 years ago
- Python General Framework for Genetic Improvement [Version 2]☆30Nov 28, 2023Updated 2 years ago
- ☆36Apr 26, 2023Updated 2 years ago
- A day of lightning talks for folks who distribute and release builds of LLVM, with a focus on configuration, testing, and unique constrai…☆36Sep 27, 2021Updated 4 years ago