Mutation testing with hyperproperties

Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher

Research output: Contribution to journal › Article › peer-review

Original language	English
Number of pages	22
Journal	Software and Systems Modeling
Volume	20
DOIs	https://doi.org/10.1007/s10270-020-00850-1
Publication status	Published - 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",

}