{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T04:30:34Z","timestamp":1774931434772,"version":"3.50.1"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/ase.2011.6100145","type":"proceedings-article","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T18:30:08Z","timestamp":1324060208000},"page":"63-72","source":"Crossref","is-referenced-by-count":33,"title":["Automated documentation inference to explain failed tests"],"prefix":"10.1109","author":[{"family":"Sai Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Cheng Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","year":"0","journal-title":"LOCC Home"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065014"},{"key":"18","article-title":"Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition","volume":"4440","author":"liblit","year":"2007","journal-title":"Lecture Notes in Computer Science"},{"key":"15","author":"kim","year":"2008","journal-title":"Analyzing and Inferring the Structure of Code Change"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250783"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390652"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"11","first-page":"203","article-title":"API hyperlinking via structural overlap","author":"fan","year":"2009","journal-title":"Proc of ESEC\/FSE'09"},{"key":"12","first-page":"121","article-title":"What went wrong: Explaining counterexamples","author":"groce","year":"2003","journal-title":"Proceedings of SPIN'03"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"20","article-title":"Automatic generation and classification of test inputs","author":"pacheco","year":"2005","journal-title":"ECOOP 2005"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/97426.98002"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/7538.7541"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859006"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985808"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007526"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"28","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/978-3-540-31980-1_24","article-title":"Symstra: A framework for generating object-oriented unit tests using symbolic execution","volume":"3440","author":"xie","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390664"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/566189.566191"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302467"},{"key":"1","first-page":"94","article-title":"Explaining counterexamples using causality","author":"beer","year":"2009","journal-title":"Proc CAV'09"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1986036"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831719"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348254"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368099"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001463"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859005"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919107"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1085313.1085331"}],"event":{"name":"2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Lawrence, KS, USA","start":{"date-parts":[[2011,11,6]]},"end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093623\/6100039\/06100145.pdf?arnumber=6100145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T11:28:18Z","timestamp":1497958098000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6100145\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/ase.2011.6100145","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}