{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T05:55:32Z","timestamp":1769061332681,"version":"3.49.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1109\/ipdps.2008.4536384","type":"proceedings-article","created":{"date-parts":[[2008,6,6]],"date-time":"2008-06-06T16:44:52Z","timestamp":1212770692000},"page":"1-5","source":"Crossref","is-referenced-by-count":13,"title":["Improving software reliability and productivity via mining program source code"],"prefix":"10.1109","author":[{"given":"Tao","family":"Xie","sequence":"first","affiliation":[]},{"given":"Mithun","family":"Acharya","sequence":"additional","affiliation":[]},{"given":"Suresh","family":"Thummalapenta","sequence":"additional","affiliation":[]},{"given":"Kunal","family":"Taneja","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"negweb: static defect detection via searching billions of lines of open source code. technical report tr-2007-24, north carolina state university department of computer science, raleigh, nc","author":"thummalapenta","year":"2007"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321688"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321663"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065018"},{"key":"16","first-page":"1467","article-title":"discovering frequent closed partial orders from strings","volume":"18","author":"pei","year":"2006","journal-title":"IEEE TKDE"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553554"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081755"},{"key":"11","year":"2006","journal-title":"Google Code Search Engine"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.28"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.41"},{"key":"3","year":"0"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2004.1319986"},{"key":"2","author":"acharya","year":"2007","journal-title":"Static detection of API error-handling bugs via mining source code Technical Report TR-2007-35 North Carolina State University Department of Computer Science Raleigh NC"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.35"},{"key":"10","first-page":"232","article-title":"efficient algorithms for model checking push down systems","author":"esparza","year":"2000","journal-title":"Proc CAV"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273486"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/SEQUEN.1997.666900"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.29"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1002\/smr.328"},{"key":"8","first-page":"404","article-title":"automatic detection of refactorings in evolving components","author":"dig","year":"2006","journal-title":"Proc ECOOP"}],"event":{"name":"Distributed Processing Symposium (IPDPS)","location":"Miami, FL, USA","start":{"date-parts":[[2008,4,14]]},"end":{"date-parts":[[2008,4,18]]}},"container-title":["2008 IEEE International Symposium on Parallel and Distributed Processing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4519061\/4536075\/04536384.pdf?arnumber=4536384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T15:11:35Z","timestamp":1489677095000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4536384\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2008.4536384","relation":{},"ISSN":["1530-2075"],"issn-type":[{"value":"1530-2075","type":"print"}],"subject":[],"published":{"date-parts":[[2008,4]]}}}