Items where Author is "<span class="person_name">Kandl, Susanne</span>"
Number of items: 2.
Other
  • Error Detection Rate of MC/DC for a Case Study from the Automotive Domain. (2010) Susanne Kandl and Raimund Kirner
  • Automated formal verification and testing of C programs for embedded systems. (2007) Susanne Kandl, Raimund Kirner and Peter Puschner