BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{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} } 1 Datensatz ausgegeben