{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:25Z","timestamp":1763468065487,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288715"},{"type":"electronic","value":"9783642288722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28872-2_28","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:48:16Z","timestamp":1332449296000},"page":"409-424","source":"Crossref","is-referenced-by-count":47,"title":["On the Danger of Coverage Directed Test Case Generation"],"prefix":"10.1007","author":[{"given":"Matt","family":"Staats","sequence":"first","affiliation":[]},{"given":"Gregory","family":"Gay","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Whalen","sequence":"additional","affiliation":[]},{"given":"Mats","family":"Heimdahl","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"28_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1049\/sej.1993.0004","volume":"8","author":"H. Zhu","year":"1993","unstructured":"Zhu, H., Hall, P.: Test data adequacy measurement. Software Engineering Journal\u00a08(1), 21\u201329 (1993)","journal-title":"Software Engineering Journal"},{"key":"28_CR2","unstructured":"RTCA, DO-178B: Software Consideration. In: Airborne Systems and Equipment Certification. RTCA (1992)"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Rayadurgam, S., Heimdahl, M.P.: Coverage based test-case generation using model checkers. In: Proc. of the 8th IEEE Int\u2019l. Conf. and Workshop on the Engineering of Computer Based Systems, pp. 83\u201391. IEEE Computer Society (April 2001)","DOI":"10.1109\/ECBS.2001.922409"},{"key":"28_CR4","volume-title":"Proc. of the 10th European Software Engineering Conf. \/ 13th ACM SIGSOFT Int\u2019l. Symp. on Foundations of Software Engineering","author":"K. Sen","year":"2005","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: A concolic unit testing engine for C. In: Proc. of the 10th European Software Engineering Conf. \/ 13th ACM SIGSOFT Int\u2019l. Symp. on Foundations of Software Engineering. ACM, New York (2005)"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: Directed automated random testing. In: PLDI 2005: Proc. of the 2005 ACM SIGPLAN Conf. on Programming Language Design and Implementation (2005)","DOI":"10.1145\/1065010.1065036"},{"key":"28_CR6","unstructured":"Heimdahl, M.P., Devaraj, G., Weber, R.J.: Specification test coverage adequacy criteria = specification test generation inadequacy criteria? In: Proc. of the Eighth IEEE Int\u2019l Symp. on High Assurance Systems Engineering (HASE), Tampa, Florida (March 2004)"},{"key":"28_CR7","unstructured":"Heimdahl, M.P., Devaraj, G.: Test-suite reduction for model based tests: Effects on test quality and implications for testing. In: Proc. of the 19th IEEE Int\u2019l Conf. on Automated Software Engineering (ASE), Linz, Austria (September 2004)"},{"key":"28_CR8","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Transactions on Software Engineering\u00a0(99), 1 (2010)"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Chilenski, J.J., Miller, S.P.: Applicability of Modified Condition\/Decision Coverage to Software Testing. Software Engineering Journal, 193\u2013200 (September 1994)","DOI":"10.1049\/sej.1994.0025"},{"issue":"1","key":"28_CR10","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/B:EMSE.0000013513.48963.1b","volume":"9","author":"N. Juristo","year":"2004","unstructured":"Juristo, N., Moreno, A., Vegas, S.: Reviewing 25 years of testing technique experiments. Empirical Software Engineering\u00a09(1), 7\u201344 (2004)","journal-title":"Empirical Software Engineering"},{"key":"28_CR11","volume-title":"Proc. of the 16th Int\u2019l Conf. on Software Engineering","author":"M. Hutchins","year":"1994","unstructured":"Hutchins, M., Foster, H., Goradia, T., Ostrand, T.: Experiments of the effectiveness of dataflow-and controlflow-based test adequacy criteria. In: Proc. of the 16th Int\u2019l Conf. on Software Engineering. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Frankl, P., Weiss, S.N.: An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria. In: Proc. of the Symposium on Testing, Analysis, and Verification (1991)","DOI":"10.1145\/120807.120821"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"Namin, A., Andrews, J.: The influence of size and coverage on test suite effectiveness. In: Proc. of the 18th Int\u2019l Symp. on Software Testing and Analysis. ACM (2009)","DOI":"10.1145\/1572272.1572280"},{"issue":"7","key":"28_CR14","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/32.83906","volume":"17","author":"E. Weyuker","year":"1991","unstructured":"Weyuker, E., Jeng, B.: Analyzing partition testing strategies. IEEE Trans. on Software Engineering\u00a017(7), 703\u2013711 (1991)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Chen, T.Y., Yu, Y.T.: On the expected number of failures detected by subdomain testing and random testing. IEEE Transactions on Software Engineering\u00a022(2) (1996)","DOI":"10.1109\/32.485221"},{"issue":"5","key":"28_CR16","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1109\/32.815325","volume":"25","author":"W.J. Gutjahr","year":"1999","unstructured":"Gutjahr, W.J.: Partition testing vs. random testing: The influence of uncertainty. IEEE Transactions on Software Engineering\u00a025(5), 661\u2013674 (1999)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Iqbal, M.Z.Z., Briand, L.C.: Formal analysis of the effectiveness and predictability of random testing. In: ISSTA 2010, pp. 219\u2013230 (2010)","DOI":"10.1145\/1831708.1831736"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Briand, L.C.: Adaptive random testing: An illusion of effectiveness? In: ISSTA (2011)","DOI":"10.1145\/2001420.2001452"},{"issue":"6","key":"28_CR19","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/318774.318939","volume":"24","author":"A. Gargantini","year":"1999","unstructured":"Gargantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specifications. Software Engineering Notes\u00a024(6), 146\u2013162 (1999)","journal-title":"Software Engineering Notes"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Sen, K.: Hybrid concolic testing. In: ICSE, pp. 416\u2013426 (2007)","DOI":"10.1109\/ICSE.2007.41"},{"issue":"5","key":"28_CR21","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1016\/j.jss.2005.05.030","volume":"79","author":"Y. Yu","year":"2006","unstructured":"Yu, Y., Lau, M.: 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":"28_CR22","doi-asserted-by":"crossref","unstructured":"Kandl, S., Kirner, R.: Error detection rate of MC\/DC for a case study from the automotive domain. In: Software Technologies for Embedded and Ubiquitous Systems, pp. 131\u2013142 (2011)","DOI":"10.1007\/978-3-642-16256-5_14"},{"key":"28_CR23","unstructured":"Dupuy, A., Leveson, N.: An empirical evaluation of the MC\/DC coverage criterion on the hete-2 satellite software. In: Proc. of the Digital Aviation Systems Conference (DASC), Philadelphia, USA (October 2000)"},{"key":"28_CR24","unstructured":"Reactive systems inc. Reactis Product Description, http:\/\/www.reactive-systems.com\/index.msp"},{"key":"28_CR25","unstructured":"Mathworks Inc. Simulink product web site, http:\/\/www.mathworks.com\/products\/simulink"},{"key":"28_CR26","unstructured":"Mathworks Inc. Stateflow product web site, http:\/\/www.mathworks.com"},{"key":"28_CR27","doi-asserted-by":"crossref","unstructured":"Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer Academic Press (1993)","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"28_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-88194-0_8","volume-title":"Formal Methods and Software Engineering","author":"A. Rajan","year":"2008","unstructured":"Rajan, A., Whalen, M., Staats, M., Heimdahl, M.P.E.: Requirements Coverage as an Adequacy Measure for Conformance Testing. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 86\u2013104. Springer, Heidelberg (2008)"},{"key":"28_CR29","doi-asserted-by":"crossref","unstructured":"Andrews, J., Briand, L., Labiche, Y.: Is mutation an appropriate tool for testing experiments? In: Proc of the 27th Int\u2019l Conf on Software Engineering (ICSE), pp. 402\u2013411 (2005)","DOI":"10.1145\/1062455.1062530"},{"issue":"7","key":"28_CR30","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1109\/43.851997","volume":"19","author":"C. Eijk Van","year":"2002","unstructured":"Van Eijk, C.: Sequential equivalence checking based on structural similarities. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems\u00a019(7), 814\u2013819 (2002)","journal-title":"IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"28_CR31","unstructured":"Chilenski, J.: An investigation of three forms of the modified condition decision coverage (MCDC) criterion. Office of Aviation Research, Washington, D.C., Tech. Rep. DOT\/FAA\/AR-01\/18 (April 2001)"},{"key":"28_CR32","unstructured":"The NuSMV Toolset (2005), http:\/\/nusmv.irst.itc.it\/"},{"key":"28_CR33","volume-title":"The Design of Experiment","author":"R. Fisher","year":"1935","unstructured":"Fisher, R.: The Design of Experiment. Hafner, New York (1935)"},{"key":"28_CR34","doi-asserted-by":"crossref","unstructured":"Devaraj, G., Heimdahl, M., Liang, D.: Coverage-directed test generation with model checkers: Challenges and opportunities. In: Annual International Computer Software and Applications Conference, vol.\u00a01, pp. 455\u2013462 (2005)","DOI":"10.1109\/COMPSAC.2005.66"},{"key":"28_CR35","first-page":"161","volume-title":"Proc. of the 30th Int\u2019l Conference on Software Engineering","author":"A. Rajan","year":"2008","unstructured":"Rajan, A., Whalen, M., Heimdahl, M.: The effect of program and model structure on MC\/DC test adequacy coverage. In: Proc. of the 30th Int\u2019l Conference on Software Engineering, pp. 161\u2013170. ACM, New York (2008)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28872-2_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T18:50:08Z","timestamp":1742755808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28872-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288715","9783642288722"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28872-2_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}