Model-Based Mutation Testing of an Industrial Measurement Device. - Bernhard K. Aichernig; Jakob Auer; Elisabeth Jöbstl; Robert Korosec; Willibald Krenn; Rupert Schlick; Birgit Vera Schmidt (TAP@STAF, 2014)