{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T20:47:29Z","timestamp":1767991649118,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,15]]},"DOI":"10.1145\/1065944.1065972","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"206-212","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":71,"title":["Applications of synchronization coverage"],"prefix":"10.1145","author":[{"given":"Arkady","family":"Bron","sequence":"first","affiliation":[{"name":"IBM Haifa Research Lab, Haifa, ISRAEL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eitan","family":"Farchi","sequence":"additional","affiliation":[{"name":"IBM Haifa Research Lab, Haifa, ISRAEL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yonit","family":"Magid","sequence":"additional","affiliation":[{"name":"IBM Haifa Research Lab, Haifa, ISRAEL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yarden","family":"Nir","sequence":"additional","affiliation":[{"name":"IBM Haifa Research Lab, Haifa, ISRAEL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shmuel","family":"Ur","sequence":"additional","affiliation":[{"name":"IBM Haifa Research Lab, Haifa, ISRAEL"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Software test and evaluation guidelines. Department of the Army Pamphlet 73--7.]]  Software test and evaluation guidelines. Department of the Army Pamphlet 73--7.]]"},{"key":"e_1_3_2_1_2_1","volume-title":"Software Testing Techniques","year":"1990","unstructured":"Beizer. Software Testing Techniques . Van Nostrand Reinhold , New York , 1990 .]] Beizer. Software Testing Techniques. Van Nostrand Reinhold, New York, 1990.]]"},{"key":"e_1_3_2_1_3_1","volume-title":"The Mythical Man-Month: Essays on Software Engineering","author":"Brooks F. P.","year":"1995","unstructured":"F. P. Brooks . The Mythical Man-Month: Essays on Software Engineering . Addison Wesley , 1995 .]] F. P. Brooks. The Mythical Man-Month: Essays on Software Engineering. Addison Wesley, 1995.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/785408.785542"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39724-3_11"},{"key":"e_1_3_2_1_6_1","unstructured":"S. Cornett. Software test coverage analysis . http:\/\/www.bullseye.com\/webCoverage.html.]]  S. Cornett. Software test coverage analysis . http:\/\/www.bullseye.com\/webCoverage.html.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0111"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/857173.857274"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/838237.838485"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2004.1303337"},{"key":"e_1_3_2_1_11_1","first-page":"299","volume-title":"proceedings of STAR 96: the Fifth International Conference, Software Testing, Analysis and Review","author":"Kaner C.","year":"1996","unstructured":"C. Kaner . Software negligence and testing coverage . In proceedings of STAR 96: the Fifth International Conference, Software Testing, Analysis and Review , pages 299 -- 327 , June 1996 .]] C. Kaner. Software negligence and testing coverage. In proceedings of STAR 96: the Fifth International Conference, Software Testing, Analysis and Review, pages 299--327, June 1996.]]"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/513918.514119"},{"key":"e_1_3_2_1_13_1","volume-title":"Subsystem testing Including Object-Based and Object-Oriented Testing","author":"Marick B.","year":"1985","unstructured":"B. Marick . The Craft of Software Testing , Subsystem testing Including Object-Based and Object-Oriented Testing . Prentice-Hall , 1985 .]] B. Marick. The Craft of Software Testing, Subsystem testing Including Object-Based and Object-Oriented Testing. Prentice-Hall, 1985.]]"},{"key":"e_1_3_2_1_14_1","volume-title":"Comparing the fault detection effectiveness of mutation and data flow testing: An empirical study","author":"Mathur A.","year":"1993","unstructured":"A. Mathur and W. Wong . Comparing the fault detection effectiveness of mutation and data flow testing: An empirical study , 1993 .]] A. Mathur and W. Wong. Comparing the fault detection effectiveness of mutation and data flow testing: An empirical study, 1993.]]"},{"key":"e_1_3_2_1_15_1","volume-title":"Coverability analysis using symbolic model checking. Submitted to Charme","author":"Ratzaby G.","year":"2001","unstructured":"G. Ratzaby , S. Ur , and Y. Wolfsthal . Coverability analysis using symbolic model checking. Submitted to Charme 2001 .]] G. Ratzaby, S. Ur, and Y. Wolfsthal. Coverability analysis using symbolic model checking. Submitted to Charme 2001.]]"},{"key":"e_1_3_2_1_16_1","volume-title":"proceedings of EuroSTAR 97","author":"Stewart R.","year":"1997","unstructured":"R. Stewart . Unit test coverage as leading indicator of rework . In proceedings of EuroSTAR 97 , NOvember 1997 .]] R. Stewart. Unit test coverage as leading indicator of rework. In proceedings of EuroSTAR 97, NOvember 1997.]]"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/62959.62963"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271804"}],"event":{"name":"PPoPP05: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming 2005","location":"Chicago IL USA","acronym":"PPoPP05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1065944.1065972","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T12:35:42Z","timestamp":1673008542000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1065944.1065972"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,15]]},"references-count":18,"alternative-id":["10.1145\/1065944.1065972","10.1145\/1065944"],"URL":"https:\/\/doi.org\/10.1145\/1065944.1065972","relation":{},"subject":[],"published":{"date-parts":[[2005,6,15]]},"assertion":[{"value":"2005-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}