{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:48:20Z","timestamp":1725727700374},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/iolts.2011.5993847","type":"proceedings-article","created":{"date-parts":[[2011,8,25]],"date-time":"2011-08-25T20:44:00Z","timestamp":1314305040000},"page":"214-217","source":"Crossref","is-referenced-by-count":5,"title":["Software-based control flow error detection and correction using branch triplication"],"prefix":"10.1109","author":[{"given":"Nahid Farhady","family":"Ghalaty","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahdi","family":"Fazeli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hossein Izadi","family":"Rad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seyed Ghassem","family":"Miremadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2007.4437639"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.microrel.2005.07.108"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/IPDS.1996.540230"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/43.55193"},{"key":"12","first-page":"3","article-title":"MiBench: A free, commercially representative embedded benchmark suite","author":"guthaus","year":"2001","journal-title":"IEEE International Workshop on Workload Characterization WWC-4"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1992.243568"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSN.2000.857581"},{"key":"1","article-title":"Developing safety-critical software within a CASE environment","author":"croll","year":"1991","journal-title":"Computer Aided Software Engineering Tools for Real-Time Control"},{"journal-title":"SPARC Assembly Reference Manual","year":"0","key":"10"},{"year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/24.994926"},{"journal-title":"IntelCorp Pentium Processor Family Developers Manual","year":"1997","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/DFTVS.2005.14"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2006.11"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.158"}],"event":{"name":"2011 IEEE 17th International On-Line Testing Symposium (IOLTS 2011)","start":{"date-parts":[[2011,7,13]]},"location":"Athens, Greece","end":{"date-parts":[[2011,7,15]]}},"container-title":["2011 IEEE 17th International On-Line Testing Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5979170\/5993790\/05993847.pdf?arnumber=5993847","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T01:46:21Z","timestamp":1490060781000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5993847\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/iolts.2011.5993847","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}