Susanne Kandl

According to our database, Susanne Kandl authored at least 9 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation.

Susanne Kandl, Sandeep Chandrashekar

Computing, 2015

2014

A Formal Approach to System Integration Testing.

Susanne Kandl, Martin Elshuber

CoRR, 2014

Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems.

Susanne Kandl

Proceedings of the Progress in Systems Engineering, 2014

Semi-formal representation of requirements for automotive solutions using sysML.

Liana Musat, Markus Hubl, Andi Buzo, Georg Pelz, Susanne Kandl, Peter P. Puschner

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

2013

Improving System-Level Verification of SystemC Models with SPIN.

Martin Elshuber, Susanne Kandl, Peter P. Puschner

Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications, 2013

2010

Error Detection Rate of MC/DC for a Case Study from the Automotive Domain.

Susanne Kandl, Raimund Kirner

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

2008

Test Coverage Analysis and Preservation for Requirements-Based Testing.

Raimund Kirner, Susanne Kandl

ERCIM News, 2008

2007

Automated Formal Verification and Testing of C Programs for Embedded Systems.

Susanne Kandl, Raimund Kirner, Peter P. Puschner

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

2006

Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems.

Susanne Kandl, Raimund Kirner, Peter P. Puschner

Proceedings of the 4th International Workshop on Intelligent Solutions in Embedded Systems, 2006