MUTAGEN: Faster Mutation-Based Random Testing (extended abstract)
43rd International Conference on Software Engineering (Student Research Competition). 2021.
We present MUTAGEN, a fully automated mutation-oriented framework for property-based testing. Our tool uses novel heuristics to improve the performance of the testing loop, and it is capable of finding complex bugs within seconds. We evaluate MUTAGEN by generating random WebAssembly programs that we use to find bugs in a faulty validator.