{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:13:11Z","timestamp":1763467991532,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162558"},{"type":"electronic","value":"9783642162565"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16256-5_14","type":"book-chapter","created":{"date-parts":[[2010,10,5]],"date-time":"2010-10-05T12:20:54Z","timestamp":1286281254000},"page":"131-142","source":"Crossref","is-referenced-by-count":6,"title":["Error Detection Rate of MC\/DC for a Case Study from the Automotive Domain"],"prefix":"10.1007","author":[{"given":"Susanne","family":"Kandl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raimund","family":"Kirner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"14_CR1","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"J. Chilenski","year":"1994","unstructured":"Chilenski, J., Miller, S.: Applicability of modified condition\/decision coverage to software testing. Software Engineering Journal\u00a09(5), 193\u2013200 (1994)","journal-title":"Software Engineering Journal"},{"key":"14_CR2","unstructured":"RTCA Inc.: DO-178B: Software Considerations in Airborne Systems and Equipment Certification. Requirements and Technical Concepts for Aviation, Washington, DC (December 1992)"},{"key":"14_CR3","unstructured":"International Electrotechnical Commission: IEC 61508: Functional Safety of Electrical Electronic Programmable Safety-Related Systems (1999)"},{"key":"14_CR4","unstructured":"ISO: International Organization for Standardization: ISO 26262: Functional safety \u2013 road vehicles, draft (2009)"},{"issue":"3","key":"14_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1241572.1241581","volume":"32","author":"P.V. Bhansali","year":"2007","unstructured":"Bhansali, P.V.: The MCDC paradoxon. SIGSOFT Softw. Eng. Notes\u00a032(3), 1\u20134 (2007)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"14_CR6","unstructured":"RTCA Inc.: DO-248B: Final Report for Clarification of DO-178B: Software Considerations in Airborne Systems and Equipment Certification. Requirements and Technical Concepts for Aviation, Washington, DC (October 2001)"},{"key":"14_CR7","unstructured":"Chilenski, J.J.: An investigation of three forms of the modified condition decision coverage (MCDC) criterion. U.S. Department of Transportation, Federal Aviation Administration, DOT\/FAA\/AR-01\/18 (April 2001)"},{"key":"14_CR8","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1146238.1146242","volume-title":"ISSTA \u201906: Proceedings of the 2006 International Symposium on Software Testing and Analysis","author":"M.W. Whalen","year":"2006","unstructured":"Whalen, M.W., Rajan, A., Heimdahl, M.P., Miller, S.P.: Coverage metrics for requirements-based testing. In: ISSTA \u201906: Proceedings of the 2006 International Symposium on Software Testing and Analysis, pp. 25\u201336. ACM, New York (2006)"},{"key":"14_CR10","unstructured":"Dupuy, A., Leveson, A.: An empirical evaluation of the MC\/DC coverage criterion on the HETE-2 satellite software. In: Digital Aviation Systems Conference (October 2000)"},{"issue":"6","key":"14_CR11","doi-asserted-by":"publisher","first-page":"868","DOI":"10.1109\/32.6165","volume":"14","author":"S. Ntafos","year":"1988","unstructured":"Ntafos, S.: A comparison of some structural testing strategies. IEEE Transactions on Software Engineering\u00a014(6), 868\u2013874 (1988)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Kapoor, K., Bowen, J.: Experimental evaluation of the variation in effectiveness for DC, FPC and MC\/DC test criteria. In: 2003 International Symposium on Empirical Software Engineering, ISESE 2003. Proceedings, September 1-October, pp. 185\u2013194 (2003)","DOI":"10.1109\/ISESE.2003.1237977"},{"issue":"5","key":"14_CR13","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1016\/j.jss.2005.05.030","volume":"79","author":"Y.T. Yu","year":"2006","unstructured":"Yu, Y.T., Laub, M.L.: A comparison of MC\/DC, MUMCUT and several other coverage criteria for logical decisions. Journal of Systems and Software\u00a079(5), 577\u2013590 (2006)","journal-title":"Journal of Systems and Software"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1145\/1368088.1368111","volume-title":"ICSE \u201908: Proceedings of the 30th International Conference on Software Engineering","author":"A. Rajan","year":"2008","unstructured":"Rajan, A., Whalen, M.W., Heimdahl, M.P.: The effect of program and model structure on MC\/DC test adequacy coverage. In: ICSE \u201908: Proceedings of the 30th International Conference on Software Engineering, pp. 161\u2013170. ACM, New York (2008)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Gargantini, A., Heitmeyer, C.: Using Model Checking to Generate Tests From Requirements Specifications. In: 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 146\u2013162 (1999)","DOI":"10.1007\/3-540-48166-4_10"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Hamon, G., de Moura, L., Rushby, J.: Generating Efficient Test Sets with a Model Checker. In: Proceedings of the 2nd International Conference on Software Engineering and Formal Methods, pp. 261\u2013270 (2004)","DOI":"10.1109\/SEFM.2004.1347530"},{"key":"14_CR17","unstructured":"Okun, V., Black, P., Yesha, Y.: Testing with model checkers: Insuring fault visibility (2003)"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Okun, V., Black, P.E.: Issues in software testing with model checkers (2003)","DOI":"10.6028\/NIST.IR.6777"},{"key":"14_CR19","unstructured":"Rayadurgam, S., Heimdahl, M.P.: Generating MC\/DC adequate test sequences through model checking. In: Proceedings of the 28th Annual IEEE\/NASA Software Engineering Workshop \u2013 SEW-03, Greenbelt, Maryland (December 2003)"}],"container-title":["Lecture Notes in Computer Science","Software Technologies for Embedded and Ubiquitous Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16256-5_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T06:38:24Z","timestamp":1740551904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16256-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162558","9783642162565"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16256-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}