MuAlloy
by kaiyuanw
A Mutation Testing Framework for Alloy
AI summary
Mutation testing tool
A tool for generating and testing mutant models in Alloy to identify vulnerabilities in software systems.
- stars
- 8
- forks
- 5
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Mutation tester
A mutation testing tool designed to verify the robustness and reliability of Kotlin code by introducing random changes.
Mutation tester
An experimental tool for testing C# code by intentionally changing it to see if tests can detect the changes
hcoles/pitest1.7K
Mutation tester
An automated testing tool designed to detect faults in software code by introducing random errors and observing the impact on test results
Mutation Testing
An introduction to using mutation testing to validate unit tests in software development
Mutation tester
A tool for testing code changes by introducing random errors and assessing the impact on the code's functionality
Mutation testing tool
A tool to test changes in Elixir applications by introducing deliberate faults and verifying the code's ability to recover from them
Mutation testing framework
A framework for detecting bugs in Rust code by intentionally introducing changes and seeing if tests can catch them
Mutation tester
A mutation testing tool for C++ projects to detect programming errors
Mutation tester
A tool for testing software's robustness to faults and failures
Mutation analysis tool
A mutation analysis tool for assessing code change impact
Mutation tester
A tool for detecting defects in software code by mutating specific statements and analyzing test results
Mutation tester
A tool that tests software quality by randomly changing code to see if tests can catch the changes
Mutation tester
An automated testing tool that assesses the quality and coverage of test suites by introducing controlled changes to code bases.
boxed/mutmut937
Code mutator
A mutation testing system for Python that helps identify weaknesses in software code by introducing small changes and running tests to see which ones fail.
Mutation tester
A mutation testing framework that enables the application of mutation testing on languages that can be compiled into LLVM code.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions MuAlloy.
