Mutation Testing with Hyperproperties

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	Lecture Notes in Computer Science book series
Seiten	203-221
Seitenumfang	19
Publikationsstatus	Veröffentlicht - 2019
Veranstaltung	International Conference on Software Engineering and Formal Methods - Dauer: 18 Sept. 2019 → 20 Sept. 2019

Konferenz	International Conference on Software Engineering and Formal Methods
Zeitraum	18/09/19 → 20/09/19

Research Field

@inproceedings{66fee3b3bdbe4a4e92906b6522c309b2,

title = "Mutation Testing with Hyperproperties",

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

year = "2019",

language = "English",

isbn = "978-3-030-30445-4",

pages = "203--221",

booktitle = "Lecture Notes in Computer Science book series",

note = "International Conference on Software Engineering and Formal Methods ; Conference date: 18-09-2019 Through 20-09-2019",

}

TY - GEN

T1 - Mutation Testing with Hyperproperties

AU - Weissenbacher, Georg

AU - Mitra Tabaei, Mitra Tabaei

A2 - Fellner, Andreas

PY - 2019

Y1 - 2019

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-030-30445-4

SP - 203

EP - 221

BT - Lecture Notes in Computer Science book series

T2 - International Conference on Software Engineering and Formal Methods

Y2 - 18 September 2019 through 20 September 2019

ER -