Items where Author is "Kandl, Susanne"

Item Type No Grouping

Conference or Workshop Item

Error Detection Rate of MC/DC for a Case Study from the Automotive Domain. (2010) Susanne Kandl and Raimund Kirner picture_as_pdf

Automated formal verification and testing of C programs for embedded systems. (2007) Susanne Kandl, Raimund Kirner and Peter Puschner