{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:36:14Z","timestamp":1730208974395,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1109\/coase.2019.8843227","type":"proceedings-article","created":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T00:08:11Z","timestamp":1568938091000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["Testing Safety PLCs Using QuickCheck"],"prefix":"10.1109","author":[{"given":"David","family":"Thonnessen","sequence":"first","affiliation":[]},{"given":"Nick","family":"Smallbone","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Fabian","sequence":"additional","affiliation":[]},{"given":"Koen","family":"Claessen","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Kowalewski","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2018.8560407"},{"key":"ref11","article-title":"On-the-fly conformance testing of safety PLC code using QuickCheck","author":"khan","year":"2019","journal-title":"International Conference on Industrial Informatics (INDIN) Industrial Applications of Artificial Intelligence"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"journal-title":"Fuzzing Brute Force Vulnerability Discovery","year":"2007","author":"sutton","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2093548.2093564"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.50"},{"journal-title":"American Fuzzy Lop","year":"2017","author":"zalewski","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134307"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1988042.1988046"},{"journal-title":"Automatisieren mit STEP 7 in AWL und SCL speicherprogrammierbare Steuerungen SIMATIC S7-300\/400","year":"2011","author":"berger","key":"ref19"},{"key":"ref4","article-title":"The real time extension of the virtual test bed","author":"lu","year":"2002","journal-title":"Huntsville Simulation Conference"},{"key":"ref3","first-page":"1105","article-title":"Hardware-in-theloop for manufacturing automation control: Current status and identified needs","author":"gu","year":"0","journal-title":"Proceedings of the 3rd IEEE International Conference on Automation Science and Engineering IEEE CASE 2007"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/0471028959.sof268"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2017.8247580"},{"key":"ref8","first-page":"103","article-title":"Test generation with inputs, outputs and repetitive quiescence","volume":"17","author":"tretmans","year":"1996","journal-title":"Software-Concepts and Tools"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010257"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2016.07.914"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.7315\/JCDE.2014.021"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.267"},{"key":"ref20","first-page":"1","article-title":"QuickCheck testing for fun and profit","author":"hughes","year":"2007","journal-title":"Proc of the Fifth International Symposium on Practical Aspects of Declarative Languages"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.5121\/ijesa.2012.2204"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38592-6_9"}],"event":{"name":"2019 IEEE 15th International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2019,8,22]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2019,8,26]]}},"container-title":["2019 IEEE 15th International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8827189\/8842826\/08843227.pdf?arnumber=8843227","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,17]],"date-time":"2022-07-17T21:47:04Z","timestamp":1658094424000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8843227\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/coase.2019.8843227","relation":{},"subject":[],"published":{"date-parts":[[2019,8]]}}}