@inproceedings{kandl:hal-01055391, TITLE = {{Error Detection Rate of MC/DC for a Case Study from the Automotive Domain}}, AUTHOR = {Kandl, Susanne and Kirner, Raimund}, URL = {https://inria.hal.science/hal-01055391}, BOOKTITLE = {{8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS)}}, ADDRESS = {Waidhofen/Ybbs, Austria}, EDITOR = {Sang Lyul Min; Robert Pettit; Peter Puschner; Theo Ungerer}, PUBLISHER = {{Springer}}, SERIES = {Software Technologies for Embedded and Ubiquitous Systems}, VOLUME = {LNCS-6399}, PAGES = {131-142}, YEAR = {2010}, MONTH = Oct, DOI = {10.1007/978-3-642-16256-5\_14}, PDF = {https://inria.hal.science/hal-01055391/file/submit.pdf}, HAL_ID = {hal-01055391}, HAL_VERSION = {v1}, }