![]() | ![]() |
| 2010 | ||
|---|---|---|
| 3 | Susanne Kandl, Raimund Kirner: Error Detection Rate of MC/DC for a Case Study from the Automotive Domain. SEUS 2010: 131-142 | |
| 2008 | ||
| 2 | Raimund Kirner, Susanne Kandl: Test Coverage Analysis and Preservation for Requirements-Based Testing. ERCIM News 2008(75): (2008) | |
| 2007 | ||
| 1 | Susanne Kandl, Raimund Kirner, Peter P. Puschner: Automated Formal Verification and Testing of C Programs for Embedded Systems. ISORC 2007: 373-381 | |
| 1 | Raimund Kirner | [1] [2] [3] |
| 2 | Peter P. Puschner | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page