{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T04:01:26Z","timestamp":1746504086715,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642387081"},{"type":"electronic","value":"9783642387098"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44857-1_8","type":"book-chapter","created":{"date-parts":[[2014,10,17]],"date-time":"2014-10-17T18:48:42Z","timestamp":1413571722000},"page":"113-128","source":"Crossref","is-referenced-by-count":2,"title":["Well-Defined Coverage Metrics for the Glass Box Test"],"prefix":"10.1007","author":[{"given":"Rainer","family":"Schmidberger","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Ammann, P., Offutt, A.J., Hong, H.S.: Coverage Criteria for Logical Expressions. In: Proc. International Symposium on Software Reliability Engineering, pp. 99\u2013107 (2003)","DOI":"10.1109\/ISSRE.2003.1251034"},{"issue":"8","key":"8_CR2","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1109\/TSE.2006.83","volume":"32","author":"J.H. Andrews","year":"2006","unstructured":"Andrews, J.H., et al.: Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria. IEEE Trans. Softw. Eng.\u00a032(8), 608\u2013624 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"8_CR3","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques. Van Nostrand Reinhold, New York (1990)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Berner, S., Weber, R., Keller, R.K.: Enhancing Software Testing by Judicious Use of Code Coverage Information. In: Proceedings of the 29th International Conference on Software Engineering, ICSE 2007 (2007)","DOI":"10.1109\/ICSE.2007.34"},{"key":"8_CR5","unstructured":"Hanussek, R., et al.: CodeCover - Glass Box Testing Tool, Design, Student Project \u201cOST-WeST\u201d, University of Stuttgart (2008), http:\/\/codecover.org\/development\/Design.pdf"},{"key":"8_CR6","unstructured":"Starzmann, M., et al.: CodeCover - Glass Box Testing Tool, Specification, Student Project \u201cOST-WeST\u201d (2008), http:\/\/codecover.org\/development\/Specification.pdf"},{"key":"8_CR7","unstructured":"CodeCover Homepage, http:\/\/codecover.org"},{"key":"8_CR8","unstructured":"Dupuy, A., Leveson, N.: An empirical evaluation of the MC\/DC coverage criterion on the HETE-2 satellite software. In: Proc. Digital Aviation Systems Conference (DASC 2000), Philadelphia (2000)"},{"key":"8_CR9","unstructured":"Federal Aviation Administration, Software Verification Tools Assessment Study, DOT\/FAA\/AR-06\/54 (2007), http:\/\/www.tc.faa.gov\/its\/worldpac\/techrpt\/ar0654.pdf"},{"key":"8_CR10","volume-title":"Software Metrics: A Rigorous and Practical Approach","author":"N. Fenton","year":"1997","unstructured":"Fenton, N., Pfleeger, S.L.: Software Metrics: A Rigorous and Practical Approach, 2nd edn. PWS Pub. Co., Boston (1997)","edition":"2"},{"issue":"3","key":"8_CR11","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1145\/356651.356652","volume":"7","author":"J.C. Huang","year":"1975","unstructured":"Huang, J.C.: An Approach to Program Testing. ACM Comput. Surv.\u00a07(3), 113\u2013128 (1975)","journal-title":"ACM Comput. Surv."},{"key":"8_CR12","unstructured":"IEC 61508. Functional safety of electrical\/electronic\/programable electronic (E\/E\/PE) safety related systems. Part 1\u20137, Edition 1.0"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1109\/ESEM.2009.5315981","volume-title":"Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM 2009)","author":"M. Mockus","year":"2009","unstructured":"Mockus, M., Nagappan, N., Dinh-Trong, T.T.: Test coverage and post-verification defects: A multiple case study. In: Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM 2009), pp. 291\u2013301. IEEE Computer Society, Washington, DC (2009)"},{"key":"8_CR14","unstructured":"Myers, G.J.: Art of Software Testing, John Wiley & Sons, Inc., New York (1979)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Schmidberger, R.: Wohldefinierte \u00dcberdeckungsmetriken f\u00fcr den Glass-Box-Test (Well-defined Coverage Metrics for the Glass Box Test; in German). Doctoral Dissertation; to be submitted to the Department of Informatics and Electrical Engineering, University of Stuttgart (2013)","DOI":"10.1007\/978-3-662-44857-1_8"},{"issue":"5","key":"8_CR16","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1093\/comjnl\/bxm021","volume":"52","author":"Q. Yang","year":"2009","unstructured":"Yang, Q., Li, J.J., Weiss, D.: A Survey of Coverage-Based Testing Tools. Comput. J.\u00a052(5), 589\u2013597 (2009)","journal-title":"Comput. J."},{"issue":"4","key":"8_CR17","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 Computing Surveys\u00a029(4), 366\u2013427 (1997)","journal-title":"ACM Computing Surveys"},{"key":"8_CR18","unstructured":"Dahl, O.-J., Dijkstra, E.W., Hoare, C.A.R.: Structured Programming. Academic Press (1972)"},{"issue":"5","key":"8_CR19","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"J.J. Chilenski","year":"1994","unstructured":"Chilenski, J.J., Miller, S.P.: Applicability of modified condition\/decision coverage to software testing. Software Engineering Journal\u00a09(5), 193\u2013200 (1994)","journal-title":"Software Engineering Journal"},{"key":"8_CR20","unstructured":"Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley Longman Publishing Co., Inc., Boston (1999)"},{"key":"8_CR21","unstructured":"RTCA-DO-178B, 1992, Software considerations in airborne systems and equipment certification (December 1992)"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Reisig, W.: A Primer in Petri Net Design, Springer, Berlin (1992)","DOI":"10.1007\/978-3-642-75329-9"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Liu, Z., et al.: Test Coverage for Collaborative Workflow Application based on Petri Net. In: Proceedings of the 2010 14th International Conference on Computer Supported Cooperative Work in Design (2010)","DOI":"10.1109\/CSCWD.2010.5471973"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44857-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T06:04:18Z","timestamp":1746425058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44857-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642387081","9783642387098"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44857-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}