{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:12:50Z","timestamp":1773148370081,"version":"3.50.1"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2011,11,1]],"date-time":"2011-11-01T00:00:00Z","timestamp":1320105600000},"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":["IEEE Trans. Ind. Inf."],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/tii.2011.2166768","type":"journal-article","created":{"date-parts":[[2011,9,15]],"date-time":"2011-09-15T05:19:28Z","timestamp":1316063968000},"page":"641-651","source":"Crossref","is-referenced-by-count":33,"title":["A Comprehensive Solution for Deterministic Replay Debugging of SoftPLC Applications"],"prefix":"10.1109","volume":"7","author":[{"given":"Herbert","family":"Prahofer","sequence":"first","affiliation":[]},{"given":"Roland","family":"Schatz","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Wirth","sequence":"additional","affiliation":[]},{"given":"Hanspeter","family":"Mossenbock","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2007.2"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/871656.859633"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213515"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/32.57626"},{"key":"ref34","article-title":"Retrace: Collecting execution trace with virtual machine deterministic replay","author":"xu","year":"2007","journal-title":"Proc 3rd Annu Workshop on Modeling Benchmarking and Simulation MoBS"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2003.1212741"},{"key":"ref11","article-title":"IEC","year":"2003","journal-title":"IEC 61331-3 Programmable ControllersPart 3 Programming Languages"},{"key":"ref12","first-page":"234","article-title":"SCARPE: A technique and tool for selective record and replay of program executions","author":"joshi","year":"2007","journal-title":"Proc 23rd IEEE Int Conf Softw Maintenance (ICSM'07)"},{"key":"ref13","first-page":"1","article-title":"Debugging operating systems with time-traveling virtual machines","author":"king","year":"2005","journal-title":"Proc USENIX Annu Tech Conf USENIX Assoc"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1518701.1518942"},{"key":"ref15","author":"kranzlmller","year":"2000","journal-title":"Event graph analysis for debugging massively parallel programs"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676929"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/68182.68189"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2006.7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/773473.178477"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2024935"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1060289.1060309"},{"key":"ref27","first-page":"211","article-title":"Replay debugging of complex real-time systems: Experiences from two industrial case studies","author":"sundmark","year":"2002","journal-title":"Proc 5th Int Workshop on Automated Debugging"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.28"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/TSE.2008.103","article-title":"Carving and replaying differential unit test cases from system test cases","volume":"35","author":"elbaum","year":"2009","journal-title":"IEEE Trans Softw Eng"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/32.67578"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1346256.1346273"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1147249.1147253"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380160304"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529657"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/spe.579"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/32.940726"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1082983.1083251"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1868321.1868324"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549586"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/903893.903895"},{"key":"ref23","article-title":"Execution replay and debugging","author":"ronsse","year":"2000","journal-title":"4th International Workshop on Automated Debugging"},{"key":"ref26","first-page":"3","article-title":"Flashback: A lightweight extension for rollback and deterministic replay for software debugging","author":"srinivasan","year":"2004","journal-title":"Proc USENIX Annu Tech Conf USENIX Assoc"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231432"}],"container-title":["IEEE Transactions on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9424\/6056501\/06009197.pdf?arnumber=6009197","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:46:06Z","timestamp":1633909566000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6009197\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":34,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tii.2011.2166768","relation":{},"ISSN":["1551-3203","1941-0050"],"issn-type":[{"value":"1551-3203","type":"print"},{"value":"1941-0050","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11]]}}}