( en | de | ru )

 

Disambiguation of "Kandl, Susanne"

Author of the publication

copydeleteadd this publication to your clipboard
Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems.

, , and . WISES, page 65-77. IEEE, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ingrid Kandler-Singer

Cornelia Kandler

Christoph Kändler

Peter Kandler

Patricia Kändler-Stümer

 

Other publications of authors with the same name

Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems., , and . WISES, page 65-77. IEEE, (2006)A Formal Approach to System Integration Testing., and . CoRR, (2014)Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation., and . Computing, 97 (3): 261-279 (2015)Test Coverage Analysis and Preservation for Requirements-Based Testing., and . ERCIM News, (2008)Semi-formal representation of requirements for automotive solutions using sysML., , , , , and . FDL, page 1-8. IEEE, (2014)Error Detection Rate of MC/DC for a Case Study from the Automotive Domain., and . SEUS, volume 6399 of Lecture Notes in Computer Science, page 131-142. Springer, (2010)Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems.. ICSEng, volume 366 of Advances in Intelligent Systems and Computing, page 595-601. Springer, (2014)Improving System-Level Verification of SystemC Models with SPIN., , and . FSFMA, volume 31 of OASIcs, page 74-79. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation., and . ISORC, page 1-6. IEEE Computer Society, (2013)Automated Formal Verification and Testing of C Programs for Embedded Systems., , and . ISORC, page 373-381. IEEE Computer Society, (2007)