Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems. - Susanne Kandl; Raimund Kirner; Peter P. Puschner (WISES, 2006)

Automated Formal Verification and Testing of C Programs for Embedded Systems. - Susanne Kandl; Raimund Kirner; Peter P. Puschner (ISORC, 2007)

Test Coverage Analysis and Preservation for Requirements-Based Testing. - Raimund Kirner; Susanne Kandl (ERCIM News, 2008)

Error Detection Rate of MC/DC for a Case Study from the Automotive Domain. - Susanne Kandl; Raimund Kirner (SEUS, 2010)

Improving System-Level Verification of SystemC Models with SPIN. - Martin Elshuber; Susanne Kandl; Peter P. Puschner (FSFMA, 2013)

Semi-formal representation of requirements for automotive solutions using sysML. - Liana Musat; Markus Hubl; Andi Buzo; Georg Pelz; Susanne Kandl; Peter P. Puschner (FDL, 2014)

Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems. - Susanne Kandl (ICSEng, 2014)

A Formal Approach to System Integration Testing. - Susanne Kandl; Martin Elshuber (CoRR, 2014)

Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation. - Susanne Kandl; Sandeep Chandrashekar (Computing, 2015)