Talks and Poster Presentations (with Proceedings-Entry):
A. Fellner, M. Tabaei Befrouei, G. Weissenbacher:
"Mutation Testing with Hyperproperties";
Talk: 17th International Conference on Software Engineering and Formal Methods,
- 2019-09-20; in: "Proc. of SEFM 2019: the 17th International Conference on Software Engineering and Formal Methods",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.