{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T02:51:43Z","timestamp":1761706303453,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1109\/cgo.2013.6494988","type":"proceedings-article","created":{"date-parts":[[2013,4,11]],"date-time":"2013-04-11T21:38:10Z","timestamp":1365716290000},"page":"1-10","source":"Crossref","is-referenced-by-count":1,"title":["Effective fault localization based on minimum debugging frontier set"],"prefix":"10.1109","author":[{"family":"Feng Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Wei Huo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Congming Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Lujie Zhong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Xiaobing Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Zhiyuan Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","first-page":"319","article-title":"Precise dynamic slicing algorithms","author":"zhang","year":"2003","journal-title":"Proc of ICSE"},{"key":"13","first-page":"449","article-title":"Software fault localization","volume":"3","author":"wong","year":"2010","journal-title":"IEEE Tran On Reliability"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134324"},{"journal-title":"SAT-Race 2008","year":"0","key":"11"},{"year":"0","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025136"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985811"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93576"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001458"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390652"},{"journal-title":"Introduction to Algorithms","year":"2001","author":"cormen","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062522"},{"key":"4","first-page":"168","article-title":"A tool for checking ANSI-C programs","author":"clarje","year":"2004","journal-title":"Proc of TACAS"},{"year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"}],"event":{"name":"2013 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","start":{"date-parts":[[2013,2,23]]},"location":"Shenzhen","end":{"date-parts":[[2013,2,27]]}},"container-title":["Proceedings of the 2013 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6489844\/6494968\/06494988.pdf?arnumber=6494988","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T02:14:22Z","timestamp":1490235262000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6494988\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cgo.2013.6494988","relation":{},"subject":[],"published":{"date-parts":[[2013,2]]}}}