mcy
Mutation tester
A tool to help improve testbench coverage by generating and filtering mutations in digital circuit designs
Mutation Cover with Yosys (MCY)
77 stars
15 watching
9 forks
Language: C++
last commit: 16 days ago
Linked from 1 awesome list
ben-marshall/awesome-open-hardware-verificationRelated projects:
| Repository | Description | Stars |
|---|---|---|
 mbj/mutant | Automated code review tool with mutation testing to simplify and improve code quality | 1,956 |
 nlohmann/mutate_cpp | A mutation testing tool for C++ projects to detect programming errors | 172 |
 spoonlabs/metamutator | A tool that generates testable versions of Java programs by injecting mutations at compile-time. | 18 |
 jmid/mutaml | A tool that tests software quality by randomly changing code to see if tests can catch the changes | 65 |
 boxed/mutmut | Tool for detecting and applying code mutations to improve testing | 927 |
 kaiyuanw/mualloy | A tool for generating and testing mutant models in Alloy to identify vulnerabilities in software systems. | 8 |
 squareslab/boggart | A tool for testing code changes by introducing random errors and assessing the impact on the code's functionality | 2 |
 syntaxcoloring/markov-word-generator | Generates pseudorandom words by applying Markov chains to existing word sequences | 33 |
 engineeringsoftware/mcoq | Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications. | 30 |
 codeintegrity-ai/mutahunter | Automated unit test generation and mutation testing tool using Large Language Models. | 243 |
 llogiq/mutagen | A framework for detecting bugs in Rust code by intentionally introducing changes and seeing if tests can catch them | 628 |
 sualeh/introduction-to-mutation-testing | An introduction to using mutation testing to validate unit tests in software development | 23 |
 swtv-kaist/music | A mutation analysis tool for assessing code change impact | 17 |
 meebleeps/meebleeps-mutant-synth | A software system for generating musical soundscapes with adjustable parameters and sequencing capabilities. | 63 |
 tylermurry/github-pr-landmine | Tools for adding manual mutation tests to GitHub pull requests | 33 |