{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:16:23Z","timestamp":1725538583698},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1109\/latw.2009.4813813","type":"proceedings-article","created":{"date-parts":[[2009,4,10]],"date-time":"2009-04-10T15:39:46Z","timestamp":1239377986000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Using software invariants for dynamic detection of transient errors"],"prefix":"10.1109","author":[{"given":"Carlos Arthur","family":"Lisboa","sequence":"first","affiliation":[]},{"given":"Carmela","family":"Grando","sequence":"additional","affiliation":[]},{"given":"Alvaro","family":"de Freitas Moreira","sequence":"additional","affiliation":[]},{"given":"Luigi","family":"Carro","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","first-page":"81","article-title":"a profile monitor of software applications","author":"benso","year":"2005","journal-title":"8th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS05)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1676066"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"16","article-title":"automated fault localization using potential invariants","author":"pytlik","year":"2003","journal-title":"5th Int Workshop on Automated and Algorithmic Debugging (AADEBUG"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/DFTVS.2003.1250158"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1999.766651"},{"key":"11","first-page":"280","article-title":"online hardening of programs against seus and sets","author":"lisbo?a","year":"2006","journal-title":"Proceedings of the 21st IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems - DFT"},{"key":"12","first-page":"210","article-title":"soft-error detection through software faulttolerance techniques","author":"rebaudengo","year":"1999","journal-title":"Proc IEEE Int Symp Defect Fault Toler VLSI Syst"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2005.860682"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2004.839172"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2005.69"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1999.809458"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.1274005"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2000.840845"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2007.39"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2006.17"},{"journal-title":"Error Detecting Codes Self-Checking Circuits and Applications","year":"1978","author":"wakerly","key":"8"}],"event":{"name":"2009 10th Latin American Test Workshop. LATW 2009","start":{"date-parts":[[2009,3,2]]},"location":"Buzios, Rio de Janeiro","end":{"date-parts":[[2009,3,5]]}},"container-title":["2009 10th Latin American Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4810097\/4813774\/04813813.pdf?arnumber=4813813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,3]],"date-time":"2020-02-03T06:28:15Z","timestamp":1580711295000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4813813\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/latw.2009.4813813","relation":{},"subject":[],"published":{"date-parts":[[2009,3]]}}}