{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T22:30:10Z","timestamp":1787524210014,"version":"build-2736575974"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642252303","type":"print"},{"value":"9783642252310","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-25231-0_5","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T22:38:45Z","timestamp":1328654325000},"page":"194-212","source":"Crossref","is-referenced-by-count":22,"title":["Is Branch Coverage a Good Measure of Testing Effectiveness?"],"prefix":"10.1007","author":[{"given":"Yi","family":"Wei","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bertrand","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manuel","family":"Oriol","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"EiffelBase. Eiffel Software, http:\/\/www.eiffel.com\/libraries\/base.html"},{"key":"5_CR2","unstructured":"EiffelStudio. Eiffel Software, http:\/\/www.eiffel.com\/"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Iqbal, M., Briand, L.: Formal analysis of the effectiveness and predictability of random testing. In: Proceedings of the 19th International Symposium on Software Testing and Analysis, pp. 219\u2013230. ACM (2010)","DOI":"10.1145\/1831708.1831736"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Ciupa, I., Leitner, A., Oriol, M., Meyer, B.: Experimental assessment of random testing for object-oriented software. In: Proceedings of the International Symposium on Software Testing and Analysis 2007 (ISSTA 2007), pp. 84\u201394 (2007)","DOI":"10.1145\/1273463.1273476"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Ciupa, I., Pretschner, A., Leitner, A., Oriol, M., Meyer, B.: On the predictability of random tests for object-oriented software. In: First International Conference on Software Testing, Verification, and Validation 2008 (ICST 2008), pp. 72\u201381 (2008)","DOI":"10.1109\/ICST.2008.20"},{"key":"5_CR6","unstructured":"European Cooperation for Space Coordination. Space product assurance - Software product assurance, ECSS-Q-ST-80C. ESA Requirements and Standards Division (2009)"},{"issue":"8","key":"5_CR7","doi-asserted-by":"publisher","first-page":"774","DOI":"10.1109\/32.238581","volume":"19","author":"P. Frankl","year":"1993","unstructured":"Frankl, P., Weiss, S.: An experimental comparison of the effectiveness of branch testing and data flow testing. IEEE Transactions on Software Engineering\u00a019(8), 774\u2013787 (1993)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"5_CR8","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1109\/TSE.1975.6312836","volume":"1","author":"J.B. Goodenough","year":"1975","unstructured":"Goodenough, J.B., Gerhart, S.L.: Toward a theory of test data selection. IEEE Trans. Software Eng.\u00a01(2), 156\u2013173 (1975)","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"5_CR9","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s10009-007-0059-5","volume":"10","author":"A. Gupta","year":"2008","unstructured":"Gupta, A., Jalote, P.: An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing. Int. J. Softw. Tools Technol. Transf.\u00a010(2), 145\u2013160 (2008)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"5_CR10","first-page":"1","volume-title":"RT 2006: Proceedings of the 1st international workshop on Random testing","author":"D. Hamlet","year":"2006","unstructured":"Hamlet, D.: When only random testing will do. In: RT 2006: Proceedings of the 1st international workshop on Random testing, pp. 1\u20139. ACM, New York (2006)"},{"key":"5_CR11","unstructured":"Hamlet, R.: Random testing. In: Encyclopedia of Software Engineering, pp. 970\u2013978. Wiley (1994)"},{"issue":"2","key":"5_CR12","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1002\/j.1538-7305.1950.tb00463.x","volume":"26","author":"R.W. Hamming","year":"1950","unstructured":"Hamming, R.W.: Error detecting and error correcting codes. The Bell System Technical Journal\u00a026(2), 147\u2013160 (1950)","journal-title":"The Bell System Technical Journal"},{"key":"5_CR13","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1109\/ICSE.1994.296778","volume-title":"ICSE 1994: Proceedings of the 16th International Conference 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: ICSE 1994: Proceedings of the 16th International Conference on Software Engineering, pp. 191\u2013200. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Leitner, A., Oriol, M., Zeller, A., Ciupa, I., Meyer, B.: Efficient unit test case minimization. In: Proceedings of the 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2007), pp. 417\u2013420 (2007)","DOI":"10.1145\/1321631.1321698"},{"key":"5_CR15","unstructured":"Myers, G.J.: The Art of Software Testing, 2nd edn. John Wiley and Sons (2004)"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/271771.271785","volume-title":"ISSTA 1998: Proceedings of the 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"S. Ntafos","year":"1998","unstructured":"Ntafos, S.: On random and partition testing. In: ISSTA 1998: Proceedings of the 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 42\u201348. ACM, New York (1998)"},{"issue":"7","key":"5_CR17","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 Transactions on Software Engineering\u00a017(7), 703\u2013711 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/1138929.1138949","volume-title":"AST 2006: Proceedings of the 2006 International Workshop on Automation of Software Test","author":"Q. Yang","year":"2006","unstructured":"Yang, Q., Li, J.J., Weiss, D.: A survey of coverage based testing tools. In: AST 2006: Proceedings of the 2006 International Workshop on Automation of Software Test, pp. 99\u2013103. ACM, New York (2006)"},{"issue":"4","key":"5_CR19","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Comput. Surv.\u00a029(4), 366\u2013427 (1997)","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","Empirical Software Engineering and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25231-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,28]],"date-time":"2021-12-28T05:03:53Z","timestamp":1640667833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25231-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642252303","9783642252310"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25231-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}