BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @article{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} } 1 Datensatz ausgegeben