2 papers
cs.FL2019
Language Inclusion for Finite Prime Event Structures
Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher
We study the problem of language inclusion between finite, labeled prime event structures. Prime event structures are a formalism to compactly represent concurrent behavior of disc…
cs.LO2019
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…