{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:50Z","timestamp":1750308110989,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,19]],"date-time":"2005-09-19T00:00:00Z","timestamp":1127088000000},"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,19]]},"DOI":"10.1145\/1085130.1085134","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"23-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Automated bug isolation via program chipping"],"prefix":"10.1145","author":[{"given":"Chad D.","family":"Sterling","sequence":"first","affiliation":[{"name":"University of California, Davis, Davis, CA"}]},{"given":"Ronald A.","family":"Olsson","sequence":"additional","affiliation":[{"name":"University of California, Davis, Davis, CA"}]}],"member":"320","published-online":{"date-parts":[[2005,9,19]]},"reference":[{"volume-title":"ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation","year":"1990","key":"e_1_3_2_1_1_1"},{"volume-title":"ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation","year":"1991","key":"e_1_3_2_1_2_1"},{"volume-title":"2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering (PASTE'01)","year":"2001","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379630"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380230603"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93576"},{"key":"e_1_3_2_1_7_1","unstructured":"Applied Research. xslice: A tool for program debugging. http:\/\/xsuds.argreenhouse.com\/html-man\/xslice.html.  Applied Research. xslice: A tool for program debugging. http:\/\/xsuds.argreenhouse.com\/html-man\/xslice.html."},{"key":"e_1_3_2_1_8_1","unstructured":"Bandera Project. The Bandera slicer. http:\/\/bandera.projects.cis.ksu.edu\/.  Bandera Project. The Bandera slicer. http:\/\/bandera.projects.cis.ksu.edu\/."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-908X(199803\/04)10:2%3C111::AID-SMR167%3E3.3.CO;2-#"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-908X(199701)9:1%3C33::AID-SMR143%3E3.3.CO;2-W"},{"key":"e_1_3_2_1_11_1","unstructured":"F. Cornelis. Linux Input Replay. http:\/\/www.elis.rug.ac.be\/ fcorneli\/.  F. Cornelis. Linux Input Replay. http:\/\/www.elis.rug.ac.be\/ fcorneli\/."},{"issue":"4","key":"e_1_3_2_1_12_1","first-page":"34","article-title":"Hints on test data selection: Help for the practicing programmer","volume":"12","author":"DeMillo R.","year":"1978","journal-title":"IEEE Transactions on Computers"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/645979.673802"},{"key":"e_1_3_2_1_14_1","unstructured":"eclipse.org. The Eclipse development environment. http:\/\/www.eclipse.org.  eclipse.org. The Eclipse development environment. http:\/\/www.eclipse.org."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113472"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"R. E. Griswold and M. T. Griswold. The Icon Programming Language. Peer-to-Peer Communications third edition 1996. http:\/\/www.cs.arizona.edu\/icon\/lb3.htm.   R. E. Griswold and M. T. Griswold. The Icon Programming Language. Peer-to-Peer Communications third edition 1996. http:\/\/www.cs.arizona.edu\/icon\/lb3.htm.","DOI":"10.1145\/234286.1057830"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379625"},{"key":"e_1_3_2_1_18_1","unstructured":"A. Habra. The General String library. http:\/\/www.tek271.com\/free\/gsoverview.html.  A. Habra. The General String library. http:\/\/www.tek271.com\/free\/gsoverview.html."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<233::AID-STVR191>3.0.CO;2-3"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93574"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/77606.77608"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581397"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676929"},{"key":"e_1_3_2_1_24_1","unstructured":"T. Lindholm and F. Yellin. The JavaTM Virtual Machine Specification. Sun Microsystems second edition 2005. JVM.   T. Lindholm and F. Yellin. The JavaTM Virtual Machine Specification. Sun Microsystems second edition 2005. JVM."},{"key":"e_1_3_2_1_25_1","unstructured":"G. Misherghi and Z. Su. HDD: Hierarchical delta debugging. 2005. in preparation.  G. Misherghi and Z. Su. HDD: Hierarchical delta debugging. 2005. in preparation."},{"key":"e_1_3_2_1_26_1","first-page":"45","volume-title":"Proceedings of Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries","author":"Offutt J.","year":"2000"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9128(19990810)11:9<479::AID-CPE441>3.0.CO;2-S"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"e_1_3_2_1_29_1","unstructured":"SimCon. FPT -- the Fortran Partner. http:\/\/www.simcon.uk.com\/.  SimCon. FPT -- the Fortran Partner. http:\/\/www.simcon.uk.com\/."},{"volume-title":"University of California","year":"2005","author":"Sterling C. D.","key":"e_1_3_2_1_30_1"},{"key":"e_1_3_2_1_31_1","unstructured":"Sun Microsystems. The Java bug database. http:\/\/bugs.sun.com\/bugdatabase\/index.jsp.  Sun Microsystems. The Java bug database. http:\/\/bugs.sun.com\/bugdatabase\/index.jsp."},{"key":"e_1_3_2_1_32_1","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"Tip F.","year":"1995","journal-title":"Journal of Programming Languages"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113455"},{"key":"e_1_3_2_1_34_1","article-title":"a tool to automate graphical user interfaces","author":"Vertes M.","year":"1998","journal-title":"Linux Weekly News"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"volume-title":"Empirical Studies for Programmers","year":"1986","author":"Weiser M.","key":"e_1_3_2_1_36_1"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"}],"event":{"name":"AADEBUG05: AADEBUG '05 - Sixth International Symposium on Automated and Analysis Driven Debugging","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Monterey California USA","acronym":"AADEBUG05"},"container-title":["Proceedings of the sixth international symposium on Automated analysis-driven debugging"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1085130.1085134","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1085130.1085134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:11Z","timestamp":1750262891000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1085130.1085134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,19]]},"references-count":37,"alternative-id":["10.1145\/1085130.1085134","10.1145\/1085130"],"URL":"https:\/\/doi.org\/10.1145\/1085130.1085134","relation":{},"subject":[],"published":{"date-parts":[[2005,9,19]]},"assertion":[{"value":"2005-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}