{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T12:07:27Z","timestamp":1774440447293,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,5]],"date-time":"2005-09-05T00:00:00Z","timestamp":1125878400000},"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":[[2005,9,5]]},"DOI":"10.1145\/1108792.1108795","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T10:52:40Z","timestamp":1139223160000},"page":"2-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["An empirical framework for comparing effectiveness of testing and property-based formal analysis"],"prefix":"10.1145","author":[{"given":"Jeremy S.","family":"Bradbury","sequence":"first","affiliation":[{"name":"Queen's University, Kingston, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James R.","family":"Cordy","sequence":"additional","affiliation":[{"name":"Queen's University, Kingston, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[{"name":"Queen's University, Kingston, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,9,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"CodeSurfer\/Path Inspector. In Proc. of the IEEE Int. Conf. on Software Maintenance (ICSM04)","author":"Anderson P.","year":"2004","unstructured":"P. Anderson . CodeSurfer\/Path Inspector. In Proc. of the IEEE Int. Conf. on Software Maintenance (ICSM04) , Sept. 2004 . P. Anderson. CodeSurfer\/Path Inspector. In Proc. of the IEEE Int. Conf. on Software Maintenance (ICSM04), Sept. 2004."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503274"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/311963.311998"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1030033.1030059"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.2003.1203056"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/309847.309936"},{"key":"e_1_3_2_1_10_1","first-page":"191","volume-title":"Proc. of ICSE'94","author":"Hutchins M.","year":"1994","unstructured":"M. Hutchins , H. Foster , T. Goradia , and T. Ostrand . Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria . In Proc. of ICSE'94 , pages 191 -- 200 , May 1994 . M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. In Proc. of ICSE'94, pages 191--200, May 1994."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1022494.1022544"},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. of the Work. on the Evaluation of Software Defect Detection Tools","author":"Lu S.","year":"2005","unstructured":"S. Lu , Z. Li , F. Qin , L. Tan , P. Zhou , and Y. Zhou . Bugbench: Benchmarks for evaluating bug detection tools . In Proc. of the Work. on the Evaluation of Software Defect Detection Tools , June 2005 . S. Lu, Z. Li, F. Qin, L. Tan, P. Zhou, and Y. Zhou. Bugbench: Benchmarks for evaluating bug detection tools. In Proc. of the Work. on the Evaluation of Software Defect Detection Tools, June 2005."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940107"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.689399"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2000.895446"},{"issue":"3","key":"e_1_3_2_1_16_1","article-title":"The free lunch is over: A fundamental turn toward concurrency in software","volume":"30","author":"Sutter H.","year":"2005","unstructured":"H. Sutter . The free lunch is over: A fundamental turn toward concurrency in software . Dr. Dobb's Journal , 30 ( 3 ), Mar. 2005 . H. Sutter. The free lunch is over: A fundamental turn toward concurrency in software. Dr. Dobb's Journal, 30(3), Mar. 2005.","journal-title":"Dr. Dobb's Journal"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/996821.996832"}],"event":{"name":"PASTE05: PASTE '05 - ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering","location":"Lisbon Portugal","acronym":"PASTE05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1108792.1108795","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1108792.1108795","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:07:50Z","timestamp":1750248470000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1108792.1108795"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,5]]},"references-count":17,"alternative-id":["10.1145\/1108792.1108795","10.1145\/1108792"],"URL":"https:\/\/doi.org\/10.1145\/1108792.1108795","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1108768.1108795","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,9,5]]},"assertion":[{"value":"2005-09-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}