A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Mutation testing with hyperproperties
2021
Journal of Software and Systems Modeling
AbstractWe present a new method for model-based mutation-driven test case generation. Mutants are generated by making small syntactical modifications to the model or source code of the system under test. A test case kills a mutant if the behavior of the mutant deviates from the original system when running the test. In this work, we use hyperproperties—which allow to express relations between multiple executions—to formalize different notions of killing for both deterministic as well as
doi:10.1007/s10270-020-00850-1
pmid:34720800
pmcid:PMC8550165
fatcat:6zaam2cxa5hjllsthiibsapinm