{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:13:49Z","timestamp":1761581629262},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/indin.2017.8104887","type":"proceedings-article","created":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T16:34:58Z","timestamp":1511886898000},"page":"875-882","source":"Crossref","is-referenced-by-count":9,"title":["Generalized test tables: A powerful and intuitive specification language for reactive systems"],"prefix":"10.1109","author":[{"given":"Alexander","family":"Weigl","sequence":"first","affiliation":[]},{"given":"Franziska","family":"Wiebe","sequence":"additional","affiliation":[]},{"given":"Mattias","family":"Ulbrich","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Ulewicz","sequence":"additional","affiliation":[]},{"given":"Suhyun","family":"Cha","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Kirsten","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Beckert","sequence":"additional","affiliation":[]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2012.03.021"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27863-4_28"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2009.5415231"},{"key":"ref14","first-page":"338","article-title":"Arcade.plc: A verification platform for programmable logic controllers","author":"biallas","year":"2012","journal-title":"Conference on Automated Software Engineering (CASE)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/Trustcom.2015.648"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10111-014-0307-x"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2001.972974"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393850"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.10.001"},{"key":"ref28","first-page":"3333","article-title":"Modelling and formal verification of timing aspects in large PLC programs","author":"fernandez adiego","year":"2014","journal-title":"Proceedings of the 19th IFAC World Congress"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2016.7733717"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ISAM.2016.7750714"},{"key":"ref3","article-title":"Model-based test case generation based on timing diagrams to test plc software error handling routines for technical process faults","author":"rosch","year":"2016","journal-title":"Journal of Systems and Software (JSS)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2015.7332487"},{"key":"ref29","first-page":"907","article-title":"A formal specification method for PLC-based applications","author":"darvas","year":"2015","journal-title":"Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems"},{"journal-title":"Model-based testing of fault scenarios in production automation","year":"2016","author":"rosch","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_22"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25423-4_15"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.08.026"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9"},{"key":"ref1","article-title":"Generalised test tables: A practical specification language for reactive systems","author":"beckert","year":"2017","journal-title":"Integrated Formal Methods ? 13th International Conference IFM 2017"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2016.7819246"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2016.7819191"},{"key":"ref21","first-page":"911","article-title":"Plcverif: A tool to verify plc programs based on model checking techniques","author":"darvas","year":"2015","journal-title":"Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems"},{"key":"ref24","first-page":"1","article-title":"Test-driven automation: Adopting test-first development to improve automation systems engineering processes","author":"winkler","year":"2009","journal-title":"EuroSPI2"},{"key":"ref23","first-page":"1615","article-title":"Automated plc software testing using adapted uml sequence diagrams","author":"kormann","year":"2012","journal-title":"14th IFAC Symposium of Information Control Problems in Manufacturing"},{"key":"ref26","first-page":"3509","article-title":"Model-based testing of plc software: Test of plants' reliability by using fault injection on component level","author":"rosch","year":"2014","journal-title":"IFAC World Congress"},{"key":"ref25","first-page":"1","article-title":"Model based TTCN-3 testing of industrial automation systems - First results","author":"winkler","year":"2011","journal-title":"12th IEEE Conference on Emerging Technologies and Factory Automation"}],"event":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2017,7,24]]},"location":"Emden","end":{"date-parts":[[2017,7,26]]}},"container-title":["2017 IEEE 15th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8095148\/8104734\/08104887.pdf?arnumber=8104887","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,14]],"date-time":"2017-12-14T15:44:59Z","timestamp":1513266299000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8104887\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/indin.2017.8104887","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}