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,
Oslo, Norway;
2019-09-18
- 2019-09-20; in: "Proc. of SEFM 2019: the 17th International Conference on Software Engineering and Formal Methods",
11724
(2019),
203
- 221.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-30446-1_11
Created from the Publication Database of the Vienna University of Technology.