Mutation testing with hyperproperties

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Seitenumfang	22
Fachzeitschrift	Software and Systems Modeling
Volume	20
DOIs	https://doi.org/10.1007/s10270-020-00850-1
Publikationsstatus	Veröffentlicht - 2021

Research Field

@article{389c95c856164218942831cccec2fdb3,

title = "Mutation testing with hyperproperties",

author = "Andreas Fellner and \{Tabaei Befrouei\}, Mitra and Georg Weissenbacher",

year = "2021",

doi = "10.1007/s10270-020-00850-1",

language = "English",

volume = "20",

journal = "Software and Systems Modeling",

issn = "1619-1366",

publisher = "Springer Verlag",

}