Login / Signup
Susanne Kandl
Publication Activity (10 Years)
Years Active: 2006-2015
Publications (10 Years): 1
Top Topics
Specification Languages
Lambda Calculus
Cost Effectiveness
Java Language
Top Venues
CoRR
FDL
ICSEng
FSFMA
</>
Publications
</>
Susanne Kandl
,
Sandeep Chandrashekar
Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation.
Computing
97 (3) (2015)
Liana Musat
,
Markus Hubl
,
Andi Buzo
,
Georg Pelz
,
Susanne Kandl
,
Peter P. Puschner
Semi-formal representation of requirements for automotive solutions using sysML.
FDL
(2014)
Susanne Kandl
,
Martin Elshuber
A Formal Approach to System Integration Testing.
CoRR
(2014)
Susanne Kandl
Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems.
ICSEng
(2014)
Susanne Kandl
,
Sandeep Chandrashekar
Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation.
ISORC
(2013)
Martin Elshuber
,
Susanne Kandl
,
Peter P. Puschner
Improving System-Level Verification of SystemC Models with SPIN.
FSFMA
(2013)
Susanne Kandl
,
Raimund Kirner
Error Detection Rate of MC/DC for a Case Study from the Automotive Domain.
SEUS
(2010)
Raimund Kirner
,
Susanne Kandl
Test Coverage Analysis and Preservation for Requirements-Based Testing.
ERCIM News
2008 (75) (2008)
Susanne Kandl
,
Raimund Kirner
,
Peter P. Puschner
Automated Formal Verification and Testing of C Programs for Embedded Systems.
ISORC
(2007)
Susanne Kandl
,
Raimund Kirner
,
Peter P. Puschner
Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems.
WISES
(2006)