@inproceedings{724ddd0f48a34b89a6cd03e52f40b73a,
title = "Model-Based Mutation Testing of an Industrial Measurement Device",
author = "Aichernig, \{Bernhard K.\} and Jakob Auer and Elisabeth J{\"o}bstl and Robert Korosec and Willibald Krenn and Rupert Schlick and Schmidt, \{Birgit Vera\}",
year = "2014",
language = "English",
isbn = "978-3-319-09098-6",
booktitle = "Tests and Proofs 8th International Conference",
publisher = "Springer",
address = "Germany",
note = "8th International Conference on Tests \& Proofs ; Conference date: 24-07-2014 Through 25-07-2014",
}