{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T05:22:31Z","timestamp":1776489751249,"version":"3.51.2"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/icse.2009.5070507","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T18:24:29Z","timestamp":1244658269000},"page":"45-55","source":"Crossref","is-referenced-by-count":99,"title":["Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization"],"prefix":"10.1109","author":[{"given":"Xinming","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.C.","family":"Cheung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.K.","family":"Chan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenyu","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250782"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.06.045"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2007.109"},{"key":"ref30","article-title":"Taming Coincidental Correctness: Refine Code Coverage with Context Pattern to Improve Fault Localization","author":"wang","year":"2008","journal-title":"HKUST-CS08&#x2013;05"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587053"},{"key":"ref10","first-page":"79","article-title":"Proteum-A Tool for the Assessment of Test Adequacy for C Programs","author":"delamaro","year":"1996","journal-title":"Proc of PCS'96"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226313"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.113"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.234"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1151695.1151696"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/120807.120815"},{"key":"ref17","first-page":"191","article-title":"Experiments of the Effectiveness of Dataflow and Controlflow Based Test Adequacy Criteria","author":"hutchins","year":"1994","journal-title":"Proc of ICSE'94"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/581396.581397"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BF00417427"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.83"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(85)80054-7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1995.497652"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/200912.200913"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368116"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134299"},{"key":"ref8","first-page":"342","article-title":"Locating Causes of Program Failures","author":"cleve","year":"2005","journal-title":"InProc of ICSE'05"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/157485.164585","article-title":"automatic functional test generation using the extended finite state machine model","author":"cheng","year":"1993","journal-title":"30th ACM\/IEEE Design Automation Conference"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93576"},{"key":"ref9","first-page":"528","article-title":"Lightweight Detect Localization for Java","author":"dallmeier","year":"2005","journal-title":"Proc of ECOOP'05"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC.PART.2007.13"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181781"},{"key":"ref22","first-page":"1","article-title":"Statistical Debugging: a Hypothesis Testing-Based Approach","volume":"32","author":"liu","year":"2006","journal-title":"IEEE TSE"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/781147.781148"},{"key":"ref24","article-title":"Faults of Omission","volume":"2","author":"marick","year":"2000","journal-title":"Software Testing and Quality Engineering Magazine"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/120807.120825"},{"key":"ref26","first-page":"533","article-title":"An Analysis of Test Selection Criterria Using the RELAY Model of Fault Detection","volume":"19","author":"richardson","year":"1993","journal-title":"IEEE TSE"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240292"}],"event":{"name":"2009 IEEE 31st International Conference on Software Engineering","location":"Vancouver, BC, Canada","start":{"date-parts":[[2009,5,16]]},"end":{"date-parts":[[2009,5,24]]}},"container-title":["2009 IEEE 31st International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5062304\/5070493\/05070507.pdf?arnumber=5070507","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T20:54:06Z","timestamp":1497819246000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5070507\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icse.2009.5070507","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}