{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:56Z","timestamp":1772532956347,"version":"3.50.1"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/icara.2011.6144856","type":"proceedings-article","created":{"date-parts":[[2012,2,4]],"date-time":"2012-02-04T01:41:28Z","timestamp":1328319688000},"page":"57-62","source":"Crossref","is-referenced-by-count":35,"title":["Test case generation approach for industrial automation systems"],"prefix":"10.1109","author":[{"given":"Reinhard","family":"Hametner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Kormann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dietmar","family":"Winkler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alois","family":"Zoitl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Modular Partitioning and Dynamic Conjunction Scheduling in Image Computation","author":"meinel","year":"0","journal-title":"Proc of the 2002 IEEE\/ACM Int Workshop on Logic and Synthesis (IWLS02)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2001.960618"},{"key":"ref12","article-title":"Practical Model-based Testing","author":"utting","year":"2007"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641258"},{"key":"ref14","article-title":"IEC 61131–3, IEC 61131–3 Standard - Programmable controllers - Part 3: Programming languages","year":"2003"},{"key":"ref15","article-title":"IEC 61499–1, Function blocks - Part 1: Architecture","year":"2005","journal-title":"Geneva International Electrical Commission"},{"key":"ref16","article-title":"Modeling Control Systems Using IEC 61499 - Applying Function Blocks to Distributed Systems","author":"lewis","year":"2001"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2008.2008998"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355405"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355407"},{"key":"ref4","article-title":"The Unified Modeling Language Reference Manual","author":"booch","year":"1999"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549620"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347022"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/b137241","article-title":"Model-Based Testing of Reactive Systems","author":"broy","year":"2005"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.152"},{"key":"ref2","article-title":"Software Testing Foundations: A Study Guide for the Certified Tester Exam","author":"linz","year":"2007"},{"key":"ref1","article-title":"Software Engineering","author":"sommerville","year":"2010"},{"key":"ref9","article-title":"Testing object-oriented systems: models, patterns, and tools","author":"binder","year":"2000"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570733"},{"key":"ref22","article-title":"eclipse Modeling Project","author":"gronback","year":"2009"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641364"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2010.5637502"},{"key":"ref23","article-title":"XML Formats for IEC 61131–3, Version 2.01 - Official Release","year":"2009","journal-title":"PLCopen Tech Rcp"}],"event":{"name":"2011 5th International Conference on Automation, Robotics and Applications (ICARA 2011)","location":"Wellington, New Zealand","start":{"date-parts":[[2011,12,6]]},"end":{"date-parts":[[2011,12,8]]}},"container-title":["The 5th International Conference on Automation, Robotics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6138561\/6144838\/06144856.pdf?arnumber=6144856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T13:47:33Z","timestamp":1497966453000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6144856\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/icara.2011.6144856","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}