{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T16:30:01Z","timestamp":1774629001468,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,5,31]],"date-time":"2014-05-31T00:00:00Z","timestamp":1401494400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,5,31]]},"DOI":"10.1145\/2593783.2593788","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"7-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Automated testing of industrial automation software: practical receipts and lessons learned"],"prefix":"10.1145","author":[{"given":"Rudolf","family":"Ramler","sequence":"first","affiliation":[{"name":"Software Competence Center Hagenberg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Putsch\u00f6gl","sequence":"additional","affiliation":[{"name":"Software Competence Center Hagenberg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dietmar","family":"Winkler","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,5,31]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. of the Third Int. Conf. on Quality Software (November, 2003). QSIC'03. IEEE.","author":"Achatz R.","unstructured":"Achatz , R. , and Paulisch , F . 2003. Industrial Strength Software and Quality: Software and Engineering at Siemens . In Proc. of the Third Int. Conf. on Quality Software (November, 2003). QSIC'03. IEEE. Achatz, R., and Paulisch, F. 2003. Industrial Strength Software and Quality: Software and Engineering at Siemens. In Proc. of the Third Int. Conf. on Quality Software (November, 2003). QSIC'03. IEEE."},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. of the 18th Conf. on Emerging Technologies Factory Automation (Cagliari, Italy, Sept. 10-13, 2013). ETFA'13. IEEE.","author":"Angerer F.","unstructured":"Angerer , F. , Prahofer , H. , Ramler , R. , and Grillenberger , F . 2013. Points-to Analysis of IEC 61131-3 Programs: Implementation and Application . In Proc. of the 18th Conf. on Emerging Technologies Factory Automation (Cagliari, Italy, Sept. 10-13, 2013). ETFA'13. IEEE. Angerer, F., Prahofer, H., Ramler, R., and Grillenberger, F. 2013. Points-to Analysis of IEC 61131-3 Programs: Implementation and Application. In Proc. of the 18th Conf. on Emerging Technologies Factory Automation (Cagliari, Italy, Sept. 10-13, 2013). ETFA'13. IEEE."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2012.09.022"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.358"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2009.4839695"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.78"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034944"},{"key":"e_1_3_2_1_8_1","volume-title":"Using Modelica for Testing Embedded Systems. In Proc. of the 2nd International Modelica Conference","author":"Freiseisen W.","year":"2002","unstructured":"Freiseisen , W. , Keber , R. , Medetz , W. , Pau , P. , and Stelzmueller , D . 2002 . Using Modelica for Testing Embedded Systems. In Proc. of the 2nd International Modelica Conference ( Oberpfaffenhofen, Germany , March , 2002 ). Freiseisen, W., Keber, R., Medetz, W., Pau, P., and Stelzmueller, D. 2002. Using Modelica for Testing Embedded Systems. In Proc. of the 2nd International Modelica Conference (Oberpfaffenhofen, Germany, March, 2002)."},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. of the Int. Conf. on Automation Science and Engineering","author":"Gu F.","year":"2007","unstructured":"Gu , F. , Harrison , W.S. , Tilbury , D.M. , and Yuan , C . 2007. Hardware-In-The-Loop for Manufacturing Automation Control: Current Status and Identified Needs . In Proc. of the Int. Conf. on Automation Science and Engineering ( Scottsdale, AZ , Sept. 22-25, 2007 ). CASE\u201907. IEEE. Gu, F., Harrison, W.S., Tilbury, D.M., and Yuan, C. 2007. Hardware-In-The-Loop for Manufacturing Automation Control: Current Status and Identified Needs. In Proc. of the Int. Conf. on Automation Science and Engineering (Scottsdale, AZ, Sept. 22-25, 2007). CASE\u201907. IEEE."},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. of the 8th Int. Conf. on Industrial Informatics","author":"Hametner R.","year":"2010","unstructured":"Hametner , R. , Winkler , D. , streicher, T., Biffl , S. , and Zoitl , A . 2010. The Adaptation of Test-Driven Software Processes to Industrial Automation Engineering . In Proc. of the 8th Int. Conf. on Industrial Informatics ( Osaka, Japan , July 13-16, 2010 ).INDIN\u201910. IEEE. Hametner, R., Winkler, D., streicher, T., Biffl, S., and Zoitl, A. 2010. The Adaptation of Test-Driven Software Processes to Industrial Automation Engineering. In Proc. of the 8th Int. Conf. on Industrial Informatics (Osaka, Japan, July 13-16, 2010).INDIN\u201910. IEEE."},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. of the 38th Annual Conference on Industrial Electronics (Montreal, QC","author":"Hametner R.","year":"2012","unstructured":"Hametner , R. , Winkler , D. , and Zoitl , A . 2012. Agile Testing Concepts Based on Keyword-Driven Testing for Industrial Automation Systems . In Proc. of the 38th Annual Conference on Industrial Electronics (Montreal, QC , Oct. 25-28, 2012 ). IECON\u201912. IEEE. Hametner, R., Winkler, D., and Zoitl, A. 2012. Agile Testing Concepts Based on Keyword-Driven Testing for Industrial Automation Systems. In Proc. of the 38th Annual Conference on Industrial Electronics (Montreal, QC, Oct. 25-28, 2012). IECON\u201912. IEEE."},{"key":"e_1_3_2_1_12_1","first-page":"263","article-title":"Automated Test Case Generation for Industrial Control Applications. In Recent Advances in Robotics and Automation","volume":"480","author":"Hametner R.","year":"2013","unstructured":"Hametner , R. , Kormann , B. , Vogel-Heuser , B. , Winkler , D. , and Zoitl , A. 2013 . Automated Test Case Generation for Industrial Control Applications. In Recent Advances in Robotics and Automation , Studies in Computational Intelligence. Vol. 480 , 263 - 273 . Hametner, R., Kormann, B., Vogel-Heuser, B., Winkler, D., and Zoitl, A. 2013. Automated Test Case Generation for Industrial Control Applications. In Recent Advances in Robotics and Automation, Studies in Computational Intelligence. Vol. 480, 263-273.","journal-title":"Studies in Computational Intelligence."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Hamill P. 2004. Unit Test Frameworks. O\u2019Reilly.   Hamill P. 2004. Unit Test Frameworks. O\u2019Reilly.","DOI":"10.1145\/1022365.1022360"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2006.127"},{"key":"e_1_3_2_1_15_1","volume-title":"Continuous Delivery: Reliable Software Releases through Build, Test, and Deployment Automation","author":"Humble J.","year":"2011","unstructured":"Humble , J. , and Farley , D . 2011 . Continuous Delivery: Reliable Software Releases through Build, Test, and Deployment Automation . Addison-Wesley , Upper Saddle River, NJ. Humble, J., and Farley, D. 2011. Continuous Delivery: Reliable Software Releases through Build, Test, and Deployment Automation. Addison-Wesley, Upper Saddle River, NJ."},{"key":"e_1_3_2_1_16_1","unstructured":"Jones C. and Bonsignour O. 2012. The Economics of Software Quality. Addison-Wesley Upper Saddle River NJ.   Jones C. and Bonsignour O. 2012. The Economics of Software Quality. Addison-Wesley Upper Saddle River NJ."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.120"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCGI.2009.46"},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. of the Int. Conf. on Software Engineering Research and Practice","author":"Kristiansen D.","year":"2006","unstructured":"Kristiansen , D. , and Lindegaard , K . -P. 2006. A Framework for Automatic Testing of Industrial Controller Code . In Proc. of the Int. Conf. on Software Engineering Research and Practice ( Las Vegas, NV , June 26-29, 2006 ). SERP\u201906. CSREA Press. Kristiansen, D., and Lindegaard, K.-P. 2006. A Framework for Automatic Testing of Industrial Controller Code. In Proc. of the Int. Conf. on Software Engineering Research and Practice (Las Vegas, NV, June 26-29, 2006). SERP\u201906. CSREA Press."},{"key":"e_1_3_2_1_20_1","unstructured":"Kuhn D.R. Kacker R.N. and Lei Y. 2013. Introduction to Combinatorial Testing. Chapman & Hall\/CRC.   Kuhn D.R. Kacker R.N. and Lei Y. 2013. Introduction to Combinatorial Testing. Chapman & Hall\/CRC."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/EUROMICRO.2007.56"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Mahnke W. Leitner S.-H. and Damm M. 2009. OPC Unified Architecture. Springer Publishing Company.   Mahnke W. Leitner S.-H. and Damm M. 2009. OPC Unified Architecture. Springer Publishing Company.","DOI":"10.1007\/978-3-540-68899-0"},{"key":"e_1_3_2_1_23_1","unstructured":"Mathur A.P. 2013. Foundations of Software Testing 2. Ed. Pearson Education India.  Mathur A.P. 2013. Foundations of Software Testing 2. Ed. Pearson Education India."},{"key":"e_1_3_2_1_24_1","volume-title":"Testing Process Model and Classification of Test Methods for Embedded Software of Electrical Products. In Proc. of the 3rd Int. Conf. on Software Engineering and Service Science","author":"Pingping W.","year":"2012","unstructured":"Pingping , W. , Xiaoyao , Q. , and Jiang , Z . 2012 . Testing Process Model and Classification of Test Methods for Embedded Software of Electrical Products. In Proc. of the 3rd Int. Conf. on Software Engineering and Service Science ( Beijing , June 22-24, 2012 ). ICSESS\u201912. IEEE. Pingping, W., Xiaoyao, Q., and Jiang, Z. 2012. Testing Process Model and Classification of Test Methods for Embedded Software of Electrical Products. In Proc. of the 3rd Int. Conf. on Software Engineering and Service Science (Beijing, June 22-24, 2012). ICSESS\u201912. IEEE."},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. of the 8th Int. Conf. on Industrial Informatics (Osaka","author":"Prahofer H.","year":"2010","unstructured":"Prahofer , H. , Schatz , R. , Wirth , C. , and Mossenb\u00f6ck , H . 2010. Deterministic Replay Debugging of IEC 61131-3 SoftPLC Programs . In Proc. of the 8th Int. Conf. on Industrial Informatics (Osaka , July 13-16, 2010 ).INDIN\u201910. IEEE. Prahofer, H., Schatz, R., Wirth, C., and Mossenb\u00f6ck, H. 2010. Deterministic Replay Debugging of IEC 61131-3 SoftPLC Programs. In Proc. of the 8th Int. Conf. on Industrial Informatics (Osaka, July 13-16, 2010).INDIN\u201910. IEEE."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2013.135"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138929.1138946"},{"key":"e_1_3_2_1_28_1","volume-title":"Proc. of the 6th Int. Conf. on Industrial Informatics (Daejeon","author":"S\u00fcnder C.","year":"2008","unstructured":"S\u00fcnder , C. , Zoitl , A. , Christensen , J.H. , Steininger , H. , and Rritsche , J . 2008. Considering IEC 61131-3 and IEC 61499 in the Context of Component Frameworks . In Proc. of the 6th Int. Conf. on Industrial Informatics (Daejeon , July 13-16, 2008 ).INDIN\u201908. IEEE. S\u00fcnder, C., Zoitl, A., Christensen, J.H., Steininger, H., and Rritsche, J. 2008. Considering IEC 61131-3 and IEC 61499 in the Context of Component Frameworks. In Proc. of the 6th Int. Conf. on Industrial Informatics (Daejeon, July 13-16, 2008).INDIN\u201908. IEEE."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1049\/cce:20050101"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2002.1003449"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810295.1810441"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2005.103"},{"key":"e_1_3_2_1_33_1","article-title":"Software Engineering in Industrial Automation","volume":"9","author":"Vyatkin V.","year":"2013","unstructured":"Vyatkin , V. 2013 . Software Engineering in Industrial Automation : State-of-the-Art Review. IEEE Transactions on Industrial Informatics. 9 , 3, (Aug. 2013). 1234-1249. Vyatkin, V. 2013. Software Engineering in Industrial Automation: State-of-the-Art Review. IEEE Transactions on Industrial Informatics. 9, 3, (Aug. 2013). 1234-1249.","journal-title":"State-of-the-Art Review. IEEE Transactions on Industrial Informatics."},{"key":"e_1_3_2_1_34_1","volume-title":"Automation Component Aspects for Efficient Unit Testing. In Proc. of the Conf. on Emerging Technologies and Factory Automation","author":"Winkler D.","year":"2009","unstructured":"Winkler , D. , Hametner , R. , and Biffl , S . 2009 . Automation Component Aspects for Efficient Unit Testing. In Proc. of the Conf. on Emerging Technologies and Factory Automation ( Mallorca, Spain , Sept. 22-25, 2009 ).ETFA\u201909. IEEE. Winkler, D., Hametner, R., and Biffl, S. 2009. Automation Component Aspects for Efficient Unit Testing. In Proc. of the Conf. on Emerging Technologies and Factory Automation (Mallorca, Spain, Sept. 22-25, 2009).ETFA\u201909. IEEE."},{"key":"e_1_3_2_1_35_1","volume-title":"Proc. of the Conf. on Emerging Technologies and Factory Automation","author":"Winkler D.","year":"2010","unstructured":"Winkler , D. , Hametner , R. , streicher, T., and Biffl , S . 2010. A Framework for Automated Testing of Automation Systems . In Proc. of the Conf. on Emerging Technologies and Factory Automation ( Bilbao, Spain , Sept. 13-16, 2010 ).ETFA\u201910. IEEE. Winkler, D., Hametner, R., streicher, T., and Biffl, S. 2010. A Framework for Automated Testing of Automation Systems. In Proc. of the Conf. on Emerging Technologies and Factory Automation (Bilbao, Spain, Sept. 13-16, 2010).ETFA\u201910. IEEE."}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","location":"Hyderabad India","acronym":"ICSE '14","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."]},"container-title":["Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593783.2593788","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593783.2593788","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:45Z","timestamp":1750230045000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593783.2593788"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":35,"alternative-id":["10.1145\/2593783.2593788","10.1145\/2593783"],"URL":"https:\/\/doi.org\/10.1145\/2593783.2593788","relation":{},"subject":[],"published":{"date-parts":[[2014,5,31]]},"assertion":[{"value":"2014-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}