{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,14]],"date-time":"2024-09-14T13:24:17Z","timestamp":1726320257027},"reference-count":31,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T00:00:00Z","timestamp":1277942400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/tse.2009.87","type":"journal-article","created":{"date-parts":[[2010,1,12]],"date-time":"2010-01-12T20:32:13Z","timestamp":1263328333000},"page":"528-545","source":"Crossref","is-referenced-by-count":73,"title":["The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis"],"prefix":"10.1109","volume":"36","author":[{"given":"G K","family":"Baah","sequence":"first","affiliation":[]},{"given":"A","family":"Podgurski","sequence":"additional","affiliation":[]},{"given":"M J","family":"Harrold","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"bibtts201004052817","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.236871"},{"key":"bibtts201004052818","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065014"},{"key":"bibtts20100405281","first-page":"98","article-title":"Synthesis of Interface Specifications for Java Classes","author":"alur","year":"2005","journal-title":"Proc Symp Principles of Programming Languages"},{"key":"bibtts201004052815","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"bibtts20100405282","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"bibtts201004052816","doi-asserted-by":"publisher","DOI":"10.1145\/581396.581397"},{"key":"bibtts20100405283","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158694"},{"key":"bibtts201004052831","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134002"},{"key":"bibtts201004052830","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368116"},{"key":"bibtts201004052819","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1145\/1095430.1081753","article-title":"SOBER: Statistical Model-Based Bug Localization","author":"liu","year":"2005","journal-title":"Proc European Software Eng Conf and ACM SIGSOFT Symp Foundations of Software Eng"},{"key":"bibtts201004052810","doi-asserted-by":"publisher","DOI":"10.1109\/32.83912"},{"key":"bibtts201004052813","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296778"},{"key":"bibtts201004052814","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321660"},{"key":"bibtts201004052811","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1145\/1095430.1081732","article-title":"Applying Classification Techniques to Remotely-Collected Program Execution Data","author":"haran","year":"2005","journal-title":"Proc European Software Eng Conf and ACM SIGSOFT Symp Foundations of Software Eng"},{"key":"bibtts201004052812","doi-asserted-by":"publisher","DOI":"10.1162\/153244301753344614"},{"key":"bibtts20100405289","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48229-6_30"},{"key":"bibtts20100405288","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"bibtts20100405285","doi-asserted-by":"publisher","DOI":"10.1145\/203330.203338"},{"key":"bibtts20100405284","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007539"},{"key":"bibtts20100405287","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"bibtts20100405286","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553577"},{"key":"bibtts201004052823","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/3-540-45937-5_16","article-title":"CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs","author":"necula","year":"2002","journal-title":"Proc Int'l Conf Compiler Construction"},{"key":"bibtts201004052822","author":"neapolitan","year":"2003","journal-title":"Learning Bayesian Networks"},{"key":"bibtts201004052825","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201224"},{"key":"bibtts201004052824","doi-asserted-by":"publisher","DOI":"10.1109\/32.58784"},{"key":"bibtts201004052821","author":"murphy","year":"2002","journal-title":"\"Dynamic Bayesian Networks Representation Inference and Learning \""},{"key":"bibtts201004052820","doi-asserted-by":"publisher","DOI":"10.1145\/1138912.1138927"},{"key":"bibtts201004052827","first-page":"1","author":"thrun","year":"2002","journal-title":"Exploring Artificial Intelligence in the New Millennium"},{"key":"bibtts201004052826","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240292"},{"key":"bibtts201004052829","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"bibtts201004052828","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1007\/978-3-540-31980-1_30","article-title":"Mining Temporal Specifications for Error Detection","author":"weimer","year":"2005","journal-title":"Proc Int'l Conf Tools and Algorithms for the Construction and Analysis of Systems"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/5532334\/05374423.pdf?arnumber=5374423","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:55:04Z","timestamp":1638219304000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5374423\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":31,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tse.2009.87","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[2010,7]]}}}
