@inproceedings{kandl15[TUW-238205], author = {Kandl, Susanne}, title = {How Mutations Can Help to Prove That Your System Does Not Contain (Unwanted) Mutations}, booktitle = {DATE 2015 - M04 Embedded Systems: Functional Qualification: Applications in the C/C++ Domain}, year = {2015}, keywords = {Testing, Mutation-Based Testing, Verification}, note = {invited; talk: Design, Automation and Test in Europe Conference (DATE), Grenoble, France; 2015-03-09 -- 2015-03-13} }