MuAlloy
Mutation testing tool
A tool for generating and testing mutant models in Alloy to identify vulnerabilities in software systems.
A Mutation Testing Framework for Alloy
8 stars
3 watching
5 forks
Language: Alloy
last commit: over 6 years ago
Linked from 1 awesome list
alloybashgradlejavamutation-testingsat-solvertest-generation
theofidry/awesome-mutation-testingRelated projects:
| Repository | Description | Stars |
|---|---|---|
 josuemolinamorales/mutant-kraken | A mutation testing tool designed to verify the robustness and reliability of Kotlin code by introducing random changes. | 25 |
 comparethemarket/fettle | An experimental tool for testing C# code by intentionally changing it to see if tests can detect the changes | 66 |
 hcoles/pitest | A mutation testing system for Java that helps identify fragile code | 1,700 |
 sualeh/introduction-to-mutation-testing | An introduction to using mutation testing to validate unit tests in software development | 23 |
 squareslab/boggart | A tool for testing code changes by introducing random errors and assessing the impact on the code's functionality | 2 |
 jordipolo/mutation | A tool to test changes in Elixir applications by introducing deliberate faults and verifying the code's ability to recover from them | 21 |
 llogiq/mutagen | A framework for detecting bugs in Rust code by intentionally introducing changes and seeing if tests can catch them | 628 |
 nlohmann/mutate_cpp | A mutation testing tool for C++ projects to detect programming errors | 172 |
 aliparsai/littledarwin | A tool for testing software's robustness to faults and failures | 18 |
 swtv-kaist/music | A mutation analysis tool for assessing code change impact | 17 |
 hanneskaeufler/crytic | A tool for detecting defects in software code by mutating specific statements and analyzing test results | 66 |
 jmid/mutaml | A tool that tests software quality by randomly changing code to see if tests can catch the changes | 65 |
 gtramontina/ooze | An automated testing tool that assesses the quality and coverage of test suites by introducing controlled changes to code bases. | 254 |
 boxed/mutmut | Tool for detecting and applying code mutations to improve testing | 927 |
 thierry-tct/mart | A mutation testing framework that enables the application of mutation testing on languages that can be compiled into LLVM code. | 26 |