{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:46:42Z","timestamp":1742395602641,"version":"3.38.0"},"reference-count":25,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"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":[[2003,10]]},"DOI":"10.1109\/tse.2003.1237172","type":"journal-article","created":{"date-parts":[[2003,10,15]],"date-time":"2003-10-15T16:17:30Z","timestamp":1066234650000},"page":"915-928","source":"Crossref","is-referenced-by-count":19,"title":["Using redundancies to find errors"],"prefix":"10.1109","volume":"29","author":[{"family":"Yichen Xie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Engler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"Compilers: Principles, Techniques, and Tools.","year":"1986","author":"Aho","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1007\/BFb0054172"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/SECPRI.2002.1004368"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/3-540-45139-0_7"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1002\/(sici)1097-024x(200006)30:7<775::aid-spe309>3.0.co;2-h"},{"volume-title":"Statistical Inference.","year":"2002","author":"Casella","key":"ref6"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1002\/spe.4380170306"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/502034.502042"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/378795.378811"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1145\/945445.945468"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/502034.502041"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1145\/193173.195297"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/512529.512558"},{"volume-title":"Statistics","year":"1997","author":"Freedman","key":"ref14"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/512529.512539"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/TSE.1979.234184"},{"key":"ref17","first-page":"5","volume-title":"Program Flow Analysis: Theory and Applications.","author":"Kennedy","year":"1981"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1145\/143095.143136"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1145\/178243.178256"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/359060.359069"},{"key":"ref21","first-page":"160","volume-title":"Program Flow Analysis: Theory and Applications.","author":"Morel","year":"1981"},{"issue":"4","key":"ref22","first-page":"473","article-title":"DAVE\u2014A Validation Error Detection and Documentation System for Fortran Programs","volume":"6","author":"Osterweil","year":"1976","journal-title":"Software: Practice and Experience"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1145\/265924.265927"},{"key":"ref24","first-page":"97","article-title":"WARLOCK\u2014A Static Data Race Analysis Tool","volume-title":"Proc. USENIX Winter Technical Conf.","author":"Sterling"},{"volume-title":"Proc. 2000 Network and Distributed Systems Security Conf.","author":"Wagner","article-title":"A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities","key":"ref25"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/27736\/01237172.pdf?arnumber=1237172","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:50:10Z","timestamp":1742100610000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1237172\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":25,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2003,10]]}},"URL":"https:\/\/doi.org\/10.1109\/tse.2003.1237172","relation":{},"ISSN":["0098-5589"],"issn-type":[{"type":"print","value":"0098-5589"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}