{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:22Z","timestamp":1750306522747,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,2,24]],"date-time":"2015-02-24T00:00:00Z","timestamp":1424736000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,2,24]]},"DOI":"10.1145\/2676723.2677300","type":"proceedings-article","created":{"date-parts":[[2015,2,24]],"date-time":"2015-02-24T14:09:31Z","timestamp":1424786971000},"page":"534-539","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Checked Coverage and Object Branch Coverage"],"prefix":"10.1145","author":[{"given":"Zalia","family":"Shams","sequence":"first","affiliation":[{"name":"Virginia Tech, Blacksburg, VA, USA"}]},{"given":"Stephen H.","family":"Edwards","sequence":"additional","affiliation":[{"name":"Virginia Tech, Blacksburg, VA, USA"}]}],"member":"320","published-online":{"date-parts":[[2015,2,24]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/1869542.1869567"},{"volume-title":"Object and Source Coverage for Critical Applications with the COUVERTURE Open Analysis Framework. In ERTS (Embedded Real Time Sofware and Systems Conference)","year":"2010","author":"Bordin M.","key":"e_1_3_2_1_2_1"},{"unstructured":"J. J. Chilenski \"An Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion\" U.S. Department of Transportation DOT\/FAA\/AR-01\/18 2001.  J. J. Chilenski \"An Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion\" U.S. Department of Transportation DOT\/FAA\/AR-01\/18 2001.","key":"e_1_3_2_1_3_1"},{"volume-title":"Formalization and Comparison of MCDC and Object Branch Coverage Criteria. In ERTS (Embedded Real Time Software and Systems Conference)","year":"2012","author":"Comar C.","key":"e_1_3_2_1_4_1"},{"unstructured":"(9\/5\/2014). Clover: Java and Groovy Code Coverage. Available: https:\/\/www.atlassian.com\/software\/clover\/overview  (9\/5\/2014). Clover: Java and Groovy Code Coverage. Available: https:\/\/www.atlassian.com\/software\/clover\/overview","key":"e_1_3_2_1_5_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/2591062.2591164"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/2157136.2157202"},{"unstructured":"(9\/5\/2014). JaCoCo Java Code Coverage Library. Available: http:\/\/www.eclemma.org\/jacoco\/  (9\/5\/2014). JaCoCo Java Code Coverage Library. Available: http:\/\/www.eclemma.org\/jacoco\/","key":"e_1_3_2_1_8_1"},{"unstructured":"(9\/5\/2014). JavaSlicer. Available: http:\/\/www.st.cs.uni-saarland.de\/javaslicer\/  (9\/5\/2014). JavaSlicer. Available: http:\/\/www.st.cs.uni-saarland.de\/javaslicer\/","key":"e_1_3_2_1_9_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1109\/ICST.2011.32"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/2493394.2493402"},{"unstructured":"M. D. Weiser \"Program slices: formal psychological and practical investigations of an automatic program abstraction method \" University of Michigan 1979.  M. D. Weiser \"Program slices: formal psychological and practical investigations of an automatic program abstraction method \" University of Michigan 1979.","key":"e_1_3_2_1_12_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/267580.267590"}],"event":{"sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"acronym":"SIGCSE '15","name":"SIGCSE '15: The 46th ACM Technical Symposium on Computer Science Education","location":"Kansas City Missouri USA"},"container-title":["Proceedings of the 46th ACM Technical Symposium on Computer Science Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2676723.2677300","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2676723.2677300","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:00Z","timestamp":1750227120000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2676723.2677300"}},"subtitle":["New Alternatives for Assessing Student-Written Tests"],"short-title":[],"issued":{"date-parts":[[2015,2,24]]},"references-count":13,"alternative-id":["10.1145\/2676723.2677300","10.1145\/2676723"],"URL":"https:\/\/doi.org\/10.1145\/2676723.2677300","relation":{},"subject":[],"published":{"date-parts":[[2015,2,24]]},"assertion":[{"value":"2015-02-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}