Mutation Testing with Hyperproperties

Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher

We 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 sys…