Time for Mutants - Model-Based Mutation Testing with Timed Automata

Bernhard K. Aichernig (Vortragende:r), Florian Lorber, Dejan Nickovic

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

Originalsprache	Englisch
Titel	Tests and Proofs - 7th International Conference 2013
Herausgeber (Verlag)	Springer
Seiten	20-38
Seitenumfang	19
ISBN (Print)	978-3-642-38915-3
Publikationsstatus	Veröffentlicht - 2013
Veranstaltung	TAP 2013 - Tests and Proofs - 7th International Conference - Dauer: 16 Juni 2013 → 20 Juni 2013

Konferenz	TAP 2013 - Tests and Proofs - 7th International Conference
Zeitraum	16/06/13 → 20/06/13

Research Field

@inproceedings{f2bf6c909ff64c89b3765e84d37d69af,

title = "Time for Mutants - Model-Based Mutation Testing with Timed Automata",

author = "Aichernig, {Bernhard K.} and Florian Lorber and Dejan Nickovic",

year = "2013",

language = "English",

isbn = "978-3-642-38915-3",

pages = "20--38",

booktitle = "Tests and Proofs - 7th International Conference 2013",

publisher = "Springer",

address = "Germany",

note = "TAP 2013 - Tests and Proofs - 7th International Conference ; Conference date: 16-06-2013 Through 20-06-2013",

}

TY - GEN

T1 - Time for Mutants - Model-Based Mutation Testing with Timed Automata

AU - Lorber, Florian

AU - Nickovic, Dejan

A2 - Aichernig, Bernhard K.

PY - 2013

Y1 - 2013

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-642-38915-3

SP - 20

EP - 38

BT - Tests and Proofs - 7th International Conference 2013

PB - Springer

T2 - TAP 2013 - Tests and Proofs - 7th International Conference

Y2 - 16 June 2013 through 20 June 2013

ER -