[Back]

@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}
}