MUTAGEN: Faster Mutation-Based Random Testing
Paper i proceeding, 2021
We present MUTAGEN, a fully automated mutation-oriented framework for property-based testing. Our tool usesnovel 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.
random testing
mutations
heuristics
Författare
Claudio Agustin Mista
Chalmers, Data- och informationsteknik, Informationssäkerhet
Proceedings - International Conference on Software Engineering
02705257 (ISSN)
Vol. May 2021 120-1229781665412193 (ISBN)
43rd IEEE/ACM International Conference on Software Engineering: Companion, ICSE-Companion 2021
Virtual, Online, Spain,
Virtual, Online, Spain,
Ämneskategorier
Inbäddad systemteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.1109/ICSE-Companion52605.2021.00053