@article{kandl14[TUW-229950], author = {Kandl, Susanne and Chandrashekar, Sandeep}, title = {Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation}, journal = {Computing}, year = {2014}, volume = {607}, doi = {10.1007/s00607-014-0418-5}, keywords = {Testing, Safety-relevant systems, Coverage, MC/DC, Error-detection rate} }