@phdthesis{kandl10[TUW-194902], author = {Kandl, Susanne}, title = {A Requirement-Based Systematic Test-Case Generation Method for Safety-Critical Embedded Systems}, school = {182}, year = {2010}, keywords = {Safety-Critical Systems, Embedded Systems, Testing, Requirement-Based Testing, Coverage Metrics, MC/DC, Error Detection Rate} }