{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T05:30:51Z","timestamp":1761975051723,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642373862"},{"type":"electronic","value":"9783642373879"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37387-9_20","type":"book-chapter","created":{"date-parts":[[2013,5,22]],"date-time":"2013-05-22T09:58:15Z","timestamp":1369216695000},"page":"263-273","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Automated Test Case Generation for Industrial Control Applications"],"prefix":"10.1007","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":"297","published-online":{"date-parts":[[2013,5,23]]},"reference":[{"key":"20_CR1","volume-title":"Software Engineering","author":"I Sommerville","year":"2010","unstructured":"I. Sommerville, Software Engineering, 9th edn. (Addison-Wesley, Reading, 2010)","edition":"9"},{"key":"20_CR2","unstructured":"T. Linz, H. Sch\u00e4fer, A. Spillner, Software Testing Foundations: A Study Guide for the Certified Tester Exam, 3rd edn. (Rocky Nook, 2011), 284p, ISBN-10: 1933952784, ISBN-13: 978-1933952789"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"R. Hametner, D. Winkler, T. \u00d6streicher, S. Biffl, A. Zoitl, The Adaptation of Test-Driven Software Processes to Industrial Automation Engineering. in 8th IEEE International Conference on Industrial Informatics (2010)","DOI":"10.1109\/INDIN.2010.5549620"},{"key":"20_CR4","volume-title":"The Unified Modeling Language Reference Manual","author":"G Booch","year":"1999","unstructured":"G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language Reference Manual (Addison-Wesley, Reading, 1999)"},{"key":"20_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/b137241","volume-title":"Model-Based Testing of Reactive Systems","author":"M Broy","year":"2005","unstructured":"M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner, Model-Based Testing of Reactive Systems (Springer, Berlin, 2005)"},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"217","DOI":"10.4236\/jsea.2011.44024","volume":"84","author":"K Thramboulidis","year":"2011","unstructured":"K. Thramboulidis, G. Frey, Towards a model-driven IEC 61131 based development process in industrial automation. J. Softw. Eng. Appl. 84, 217\u2013226 (2011)","journal-title":"J. Softw. Eng. Appl."},{"key":"20_CR7","volume-title":"Practical Model-based Testing","author":"M Utting","year":"2007","unstructured":"M. Utting, B. Legeard, Practical Model-based Testing (Morgan Kaufmann, Los Altos, 2007)"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"P. Chevalley, P. Thevenod-Fosse, Automated Generation of Statistical Test Cases from UML State Diagrams. in Computer Software and Applications Conference. COMPSAC. 25th Annual International (2001), (pp. 205\u2013214)","DOI":"10.1109\/CMPSAC.2001.960618"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"R. Hametner, D. Winkler, T. \u00d6streicher, N. Surnic, S. Biffl, Selecting UML Models for Test-Driven Development along the Automation Systems Engineering Process. in IEEE International Conference on Emerging Technologies and Factory Automation (2010)","DOI":"10.1109\/ETFA.2010.5641258"},{"issue":"4","key":"20_CR10","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1109\/TII.2008.2008998","volume":"4","author":"C Seidner","year":"2008","unstructured":"C. Seidner, O. Roux, Formal methods for systems engineering behavior models. Ind. Inf. IEEE Trans. 4(4), 280\u2013291 (2008)","journal-title":"Ind Inf IEEE Trans"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"S. Panjaitan, G. Frey, Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems. in Emerging Technologies and Factory Automation. IEEE Conference on (2006), pp. 766\u2013773","DOI":"10.1109\/ETFA.2006.355405"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"T. Hussain, G. Frey, UML-based Development Process for IEC 61499 with Automatic Test-case Generation. in Emerging Technologies and Factory Automation. ETFA\u201906. IEEE Conference on (2006), pp. 1277\u20131284","DOI":"10.1109\/ETFA.2006.355407"},{"key":"20_CR13","unstructured":"W. Zhang, W. Halang, C. Diedrich, Specification of function block applications with uml. in Robotics and Automation. ICRA. Proceedings of the IEEE International Conference on (2005), pp. 4002\u20134007"},{"key":"20_CR14","doi-asserted-by":"publisher","first-page":"1154","DOI":"10.1109\/TC.2005.152","volume":"54","author":"A Petrenko","year":"2005","unstructured":"A. Petrenko, N. Yevtushenko, Testing from partial deterministic fsm specifications. IEEE Trans. Comput. 54, 1154\u20131165 (2005)","journal-title":"IEEE Trans. Comput."},{"issue":"3","key":"20_CR15","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"SE-4","author":"T Chow","year":"1978","unstructured":"T. Chow, Testing software design modeled by finite-state machines. Trans. Softw. Eng. SE-4(3), 178\u2013187 (1978)","journal-title":"Trans. Softw. Eng."},{"key":"20_CR16","volume-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","author":"R Binder","year":"2000","unstructured":"R. Binder, Testing Object-Oriented Systems: Models, Patterns, and Tools (Addison-Wesley, Reading, 2000)"},{"key":"20_CR17","unstructured":"C. Meinel, C. Stangier, Modular Partitioning and Dynamic Conjunction Scheduling in Image Computation. in Proceedings of the 2002 IEEE\/ACM International Workshop on Logic and Synthesis (IWLS02), New Orleans, USA. Citeseer, (2002)"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"D. Winkler, R. Hametner, S. Biffl, Automation Component Aspects of Efficient Unit Testing. IEEE, ETFA, Mallorca, Spain, September (2009)","DOI":"10.1109\/ETFA.2009.5347022"},{"key":"20_CR19","unstructured":"T. Moser, G. D\u00fcrr, and S. Biffl, Ontology-Based Test Case Generation for Simulating Complex Production Automation Systems. in Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE\u20192010), Redwood City, San Francisco Bay"},{"key":"20_CR20","unstructured":"IEC 61131-3, IEC 61131-3 Standard\u2014Programmable controllers\u2014Part 3: Programming Languages, 2nd edn. International Electrical Commission (2003)"},{"key":"20_CR21","unstructured":"IEC 61499-1, Function blocks\u2014Part 1: Architecture. Geneva: International Electrical Commission (2005)"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"I. Hegny, M. Wenger, A. Zoitl, IEC 61499 based Simulation Frame-work for Model-Driven Production Systems Development. in IEEE Conference on Emerging Technologies and Factory Automation (ETFA), (2010), pp. 1\u20138","DOI":"10.1109\/ETFA.2010.5641364"},{"key":"20_CR23","unstructured":"PLCopen Technical Committee 6, XML Formats for IEC 61131-3, Version 2.01\u2014Official Release, PLCopen, Technical Report, May 2009"},{"key":"20_CR24","unstructured":"A. Zoitl, T. Strasser, A. Valentini, Open source initiatives as basis for the establishment of new technologies in industrial automation: 4DIAC a case study. in IEEE International"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"R. Lewis, Modeling Control Systems Using IEC 61499\u2014Applying Function Blocks to Distributed Systems (The Institution of Electrical Engineers, London, 2001), 208p, ISBN-10: 0852967969, ISBN-13: 978-0852967966","DOI":"10.1049\/PBCE059E"}],"container-title":["Studies in Computational Intelligence","Recent Advances in Robotics and Automation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37387-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T10:55:53Z","timestamp":1746010553000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-37387-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642373862","9783642373879"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37387-9_20","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"23 May 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}