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

Bernhard K. Aichernig (Speaker), Florian Lorber, Dejan Nickovic

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Tests and Proofs - 7th International Conference 2013
Publisher	Springer
Pages	20-38
Number of pages	19
ISBN (Print)	978-3-642-38915-3
Publication status	Published - 2013
Event	TAP 2013 - Tests and Proofs - 7th International Conference - Duration: 16 Jun 2013 → 20 Jun 2013

Conference	TAP 2013 - Tests and Proofs - 7th International Conference
Period	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 -