{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T16:29:50Z","timestamp":1775665790508,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642276590","type":"print"},{"value":"9783642276606","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-27660-6_44","type":"book-chapter","created":{"date-parts":[[2012,1,16]],"date-time":"2012-01-16T15:14:28Z","timestamp":1326726868000},"page":"542-553","source":"Crossref","is-referenced-by-count":13,"title":["State Coverage: Software Validation Metrics beyond Code Coverage"],"prefix":"10.1007","author":[{"given":"Dries","family":"Vanoverberghe","sequence":"first","affiliation":[]},{"given":"Jonathan","family":"de Halleux","sequence":"additional","affiliation":[]},{"given":"Nikolai","family":"Tillmann","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Piessens","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"44_CR1","unstructured":"Barnett, G., Del Tongo, L.: Data Structures and Algorithms: Annotated Reference with Examples. NETSlackers (2008)"},{"key":"44_CR2","unstructured":"Barnett, G., Del Tongo, L.: Data structures and algorithms, dsa (2008), http:\/\/dsa.codeplex.com\/"},{"issue":"4","key":"44_CR3","doi-asserted-by":"publisher","first-page":"7346","DOI":"10.1016\/j.eswa.2008.10.027","volume":"36","author":"C. Catal","year":"2009","unstructured":"Catal, C., Diri, B.: A systematic review of software fault prediction studies. Expert Systems with Applications\u00a036(4), 7346\u20137354 (2009)","journal-title":"Expert Systems with Applications"},{"key":"44_CR4","doi-asserted-by":"crossref","unstructured":"Chang, J., Richardson, D.J., Sankar, S.: Structural specification-based testing with adl. In: Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996, New York, NY, USA, pp. 62\u201370 (1996)","DOI":"10.1145\/226295.226302"},{"issue":"6","key":"44_CR5","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1109\/32.295895","volume":"20","author":"S.R. Chidamber","year":"1994","unstructured":"Chidamber, S.R., Kemerer, C.F.: A metrics suite for object oriented design. IEEE Trans. Softw. Eng.\u00a020(6), 476\u2013493 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"44_CR6","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.entcs.2007.08.003","volume":"190","author":"F. Dadeau","year":"2007","unstructured":"Dadeau, F., Ledru, Y., du Bousquet, L.: Measuring a java test suite coverage using jml specifications. Electronic Notes in Theoretical Computer Science\u00a0190(2), 21\u201332 (2007); Proceedings of the Third Workshop on Model Based Testing","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"44_CR7","unstructured":"de Halleux, J.: Quickgraph: A 100% c# graph library with graphviz support (2007), http:\/\/www.codeproject.com\/KB\/miscctrl\/quickgraph.aspx"},{"issue":"4","key":"44_CR8","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R.A. DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: Help for the practicing programmer. Computer\u00a011(4), 34\u201341 (1978)","journal-title":"Computer"},{"key":"44_CR9","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Barnett, M., Logozzo, F.: Embedded contract languages. In: SAC 2010: Proceedings of the 2010 ACM Symposium on Applied Computing, New York, NY, USA, pp. 2103\u20132110 (2010)","DOI":"10.1145\/1774088.1774531"},{"issue":"19-32","key":"44_CR10","first-page":"1","volume":"19","author":"R.W. Floyd","year":"1967","unstructured":"Floyd, R.W.: Assigning meanings to programs. Mathematical Aspects of Computer Science\u00a019(19-32), 1 (1967)","journal-title":"Mathematical Aspects of Computer Science"},{"key":"44_CR11","doi-asserted-by":"crossref","unstructured":"Heimdahl, M.P., George, D., Weber, R.: Specification test coverage adequacy criteria = specification test generation inadequacy criteria? In: IEEE International Symposium on High-Assurance Systems Engineering, pp. 178\u2013186 (2004)","DOI":"10.1109\/HASE.2004.1281742"},{"issue":"2","key":"44_CR12","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MAHC.2003.1203056","volume":"25","author":"C.A.R. Hoare","year":"2003","unstructured":"Hoare, C.A.R.: Assertions: A personal perspective. IEEE Ann. Hist. Comput.\u00a025(2), 14\u201325 (2003)","journal-title":"IEEE Ann. Hist. Comput."},{"issue":"7","key":"44_CR13","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM\u00a019(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"key":"44_CR14","doi-asserted-by":"crossref","unstructured":"Koster, K., Kao, D.: State coverage: a structural test adequacy criterion for behavior checking. In: The 6th Joint Meeting on European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering: Companion Papers, ESEC-FSE Companion 2007, New York, NY, USA, pp. 541\u2013544 (2007)","DOI":"10.1145\/1295014.1295036"},{"key":"44_CR15","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1109\/ISSRE.2006.14","volume-title":"ISSRE 2006: Proceedings of the 17th International Symposium on Software Reliability Engineering","author":"G. Kudrjavets","year":"2006","unstructured":"Kudrjavets, G., Nagappan, N., Ball, T.: Assessing the relationship between software assertions and faults: An empirical investigation. In: ISSRE 2006: Proceedings of the 17th International Symposium on Software Reliability Engineering, pp. 204\u2013212. IEEE Computer Society, Washington, DC, USA (2006)"},{"issue":"4","key":"44_CR16","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"2","author":"T.J. McCabe","year":"1976","unstructured":"McCabe, T.J.: A complexity measure. IEEE Trans. Softw. Eng.\u00a02(4), 308\u2013320 (1976)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"44_CR17","unstructured":"N.I. of Standards and technology. The economic impacts of inadequate infrastructure for software testing. Planning Report 02-3 (2002)"},{"key":"44_CR18","unstructured":"Osherove, R.: The Art of Unit Testing with examples in .NET. Manning Publications Co. (2009)"},{"key":"44_CR19","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"11","author":"S. Rapps","year":"1985","unstructured":"Rapps, S., Weyuker, E.J.: Selecting software test data using data flow information. IEEE Trans. Softw. Eng.\u00a011, 367\u2013375 (1985)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"44_CR20","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/32.341844","volume":"21","author":"D. Rosenblum","year":"1995","unstructured":"Rosenblum, D.: A practical approach to programming with assertions. IEEE Transactions on Software Engineering\u00a021(1), 19\u201331 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"44_CR21","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"44_CR22","doi-asserted-by":"crossref","unstructured":"Song, Y., Thummalapenta, S., Xie, T.: Unitplus: assisting developer testing in eclipse. In: Eclipse 2007: Proceedings of the 2007 OOPSLA Workshop on Eclipse Technology Exchange, New York, NY, USA, pp. 26\u201330 (2007)","DOI":"10.1145\/1328279.1328285"},{"issue":"1","key":"44_CR23","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/954127.954139","volume":"15","author":"R.N. Taylor","year":"1980","unstructured":"Taylor, R.N.: Assertions in programming languages. SIGPLAN Not.\u00a015(1), 105\u2013114 (1980)","journal-title":"SIGPLAN Not."},{"key":"44_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N. Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: Pex\u2013White Box Test Generation for .NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 134\u2013153. Springer, Heidelberg (2008)"},{"key":"44_CR25","doi-asserted-by":"crossref","unstructured":"Vanoverberghe, D., de Halleux, J., Tillmann, N., Piessens, F.: State coverage: Software validation metrics beyond code coverage - extended version (2011), http:\/\/www.cs.kuleuven.be\/publicaties\/rapporten\/cw\/CW610.abs.html","DOI":"10.1007\/978-3-642-27660-6_44"},{"key":"44_CR26","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, 366\u2013427 (1997)","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2012: Theory and Practice of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27660-6_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T21:49:00Z","timestamp":1742334540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27660-6_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642276590","9783642276606"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27660-6_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}