{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:13:41Z","timestamp":1743074021519,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031150074"},{"type":"electronic","value":"9783031150081"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15008-1_10","type":"book-chapter","created":{"date-parts":[[2022,9,4]],"date-time":"2022-09-04T23:02:47Z","timestamp":1662332567000},"page":"137-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Test Suite Augmentation for\u00a0Reconfigurable PLC Software in\u00a0the\u00a0Internet of\u00a0Production"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2964-6799","authenticated-orcid":false,"given":"Marco","family":"Grochowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7348-0146","authenticated-orcid":false,"given":"Marcus","family":"V\u00f6lker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9397-2009","authenticated-orcid":false,"given":"Stefan","family":"Kowalewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,5]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","unstructured":"Adiego, B.F., Darvas, D., Vi\u00f1uela, E.B., Tournier, J.C., Su\u00e1rez, V.M.G., Blech, J.O.: Modelling and formal verification of timing aspects in large plc programs. IFAC Proc. 47(3), 3333\u20133339 (2014). https:\/\/doi.org\/10.3182\/20140824-6-ZA-1003.01279. 19th IFAC World Congress","DOI":"10.3182\/20140824-6-ZA-1003.01279"},{"key":"10_CR2","doi-asserted-by":"publisher","unstructured":"Allen, F.E.: Control flow analysis. In: Northcote, R.S. (ed.) Proceedings of a Symposium on Compiler Optimization, Urbana-Champaign, Illinois, USA, 27\u201328 July 1970, pp. 1\u201319. ACM (1970). https:\/\/doi.org\/10.1145\/800028.808479","DOI":"10.1145\/800028.808479"},{"issue":"3","key":"10_CR3","doi-asserted-by":"publisher","first-page":"50:1","DOI":"10.1145\/3182657","volume":"51","author":"R Baldoni","year":"2018","unstructured":"Baldoni, R., Coppa, E., D\u2019Elia, D.C., Demetrescu, C., Finocchi, I.: A survey of symbolic execution techniques. ACM Comput. Surv. 51(3), 50:1-50:39 (2018). https:\/\/doi.org\/10.1145\/3182657","journal-title":"ACM Comput. Surv."},{"key":"10_CR4","doi-asserted-by":"publisher","unstructured":"Bohlender, D., Simon, H., Friedrich, N., Kowalewski, S., Hauck-Stattelmann, S.: Concolic test generation for PLC programs using coverage metrics. In: Cassandras, C.G., Giua, A., Li, Z. (eds.) 13th International Workshop on Discrete Event Systems, WODES 2016, Xi\u2019an, China, 30 May \u2013 1 June 2016, pp. 432\u2013437. IEEE (2016). https:\/\/doi.org\/10.1109\/WODES.2016.7497884","DOI":"10.1109\/WODES.2016.7497884"},{"key":"10_CR5","doi-asserted-by":"publisher","unstructured":"Godefroid, P.: Compositional dynamic test generation. In: Hofmann, M., Felleisen, M. (eds.) Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, 17\u201319 January 2007, pp. 47\u201354. ACM (2007). https:\/\/doi.org\/10.1145\/1190216.1190226","DOI":"10.1145\/1190216.1190226"},{"issue":"1","key":"10_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1515\/auto-2019-0115","volume":"68","author":"M Grochowski","year":"2020","unstructured":"Grochowski, M., et al.: Formale methoden f\u00fcr rekonfigurierbare cyber-physische systeme in der produktion. at-Automatisierungstechnik 68(1), 3\u201314 (2020). https:\/\/doi.org\/10.1515\/auto-2019-0115","journal-title":"at-Automatisierungstechnik"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-642-15769-1_18","volume-title":"Static Analysis","author":"A Gurfinkel","year":"2010","unstructured":"Gurfinkel, A., Chaki, S.: Boxes: a symbolic abstract domain of boxes. In: Cousot, R., Martel, M. (eds.) SAS 2010. LNCS, vol. 6337, pp. 287\u2013303. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15769-1_18"},{"key":"10_CR8","unstructured":"International Electrotechnical Commission: IEC 61131-3:2013 Programmable controllers - Part 3: Programming languages. IEC International Standard IEC 61131-3:2013 (2013). https:\/\/webstore.iec.ch\/publication\/4552"},{"key":"10_CR9","series-title":"Springer Series in Wireless Technology","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42559-7","volume-title":"Industrial Internet of Things","year":"2017","unstructured":"Jeschke, S., Brecher, C., Song, H., Rawat, D.B. (eds.): Industrial Internet of Things. SSWT, Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-42559-7"},{"issue":"3","key":"10_CR10","doi-asserted-by":"publisher","first-page":"10:1","DOI":"10.1145\/3208952","volume":"27","author":"T Kuchta","year":"2018","unstructured":"Kuchta, T., Palikareva, H., Cadar, C.: Shadow symbolic execution for testing software patches. ACM Trans. Softw. Eng. Methodol. 27(3), 10:1-10:32 (2018). https:\/\/doi.org\/10.1145\/3208952","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10_CR11","doi-asserted-by":"publisher","unstructured":"Kuznetsov, V., Kinder, J., Bucur, S., Candea, G.: Efficient state merging in symbolic execution. In: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2012, pp. 193\u2013204. Association for Computing Machinery, New York (2012). https:\/\/doi.org\/10.1145\/2254064.2254088","DOI":"10.1145\/2254064.2254088"},{"key":"10_CR12","doi-asserted-by":"publisher","unstructured":"Lin, Y., Miller, T., S\u00f8ndergaard, H.: Compositional symbolic execution: Incremental solving revisited. In: Potanin, A., Murphy, G.C., Reeves, S., Dietrich, J. (eds.) 23rd Asia-Pacific Software Engineering Conference, APSEC 2016, Hamilton, New Zealand, 6\u20139 December 2016, pp. 273\u2013280. IEEE Computer Society (2016). https:\/\/doi.org\/10.1109\/APSEC.2016.046","DOI":"10.1109\/APSEC.2016.046"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"issue":"4","key":"10_CR14","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/3364452.33644558","volume":"44","author":"Y Noller","year":"2019","unstructured":"Noller, Y., Nguyen, H.L., Tang, M., Kehrer, T., Grunske, L.: Complete shadow symbolic execution with java pathfinder. ACM SIGSOFT Softw. Eng. Notes 44(4), 15\u201316 (2019). https:\/\/doi.org\/10.1145\/3364452.33644558","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"10_CR15","unstructured":"PLCopen - Technical Committee 5: Safety software, technical specification, part 1: Concepts and function blocks. Technical report, PLCopen (2020). https:\/\/plcopen.org\/system\/files\/downloads\/plcopen_safety_part_1_version_2.01.pdf"},{"key":"10_CR16","doi-asserted-by":"publisher","unstructured":"Sen, K., Necula, G., Gong, L., Choi, W.: MultiSE: multi-path symbolic execution using value summaries. In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE 2015, pp. 842\u2013853. Association for Computing Machinery, New York (2015). https:\/\/doi.org\/10.1145\/2786805.2786830","DOI":"10.1145\/2786805.2786830"},{"issue":"4","key":"10_CR17","doi-asserted-by":"publisher","first-page":"1839","DOI":"10.1109\/TASE.2018.2810280","volume":"15","author":"S Ulewicz","year":"2018","unstructured":"Ulewicz, S., Vogel-Heuser, B.: Industrially applicable system regression test prioritization in production automation. IEEE Trans Autom. Sci. Eng. 15(4), 1839\u20131851 (2018). https:\/\/doi.org\/10.1109\/TASE.2018.2810280","journal-title":"IEEE Trans Autom. Sci. Eng."},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-030-61470-6_3","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles","author":"A Weigl","year":"2020","unstructured":"Weigl, A., Ulbrich, M., Lentzsch, D.: Modular regression verification for reactive systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020, Part II. LNCS, vol. 12477, pp. 25\u201343. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61470-6_3"},{"key":"10_CR19","unstructured":"Weyrich, M., Zeller, A.: Testen von industrie-4.0-systemen - wie vernetzte systeme und industrie 4.0 unser verst\u00e4ndnis von systemtest und qualit\u00e4tssicherung \u00e4ndern (2016), https:\/\/www.ias.uni-stuttgart.de\/dokumente\/vortraege\/2016-01-26_Industrie40_Duesseldorf_v12final.pdf"},{"issue":"7","key":"10_CR20","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/32.83906","volume":"17","author":"EJ Weyuker","year":"1991","unstructured":"Weyuker, E.J., Jeng, B.: Analyzing partition testing strategies. IEEE Trans. Softw. Eng. 17(7), 703\u2013711 (1991). https:\/\/doi.org\/10.1109\/32.83906","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"10_CR21","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1002\/stvr.1562","volume":"25","author":"Z Xu","year":"2015","unstructured":"Xu, Z., Kim, Y., Kim, M., Cohen, M.B., Rothermel, G.: Directed test suite augmentation: an empirical investigation. Softw. Test. Verif. Reliab. 25(2), 77\u2013114 (2015). https:\/\/doi.org\/10.1002\/stvr.1562","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"1","key":"10_CR22","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/2629536","volume":"24","author":"G Yang","year":"2014","unstructured":"Yang, G., Person, S., Rungta, N., Khurshid, S.: Directed incremental symbolic execution. ACM Trans. Softw. Eng. Methodol. 24(1), 3:1-3:42 (2014). https:\/\/doi.org\/10.1145\/2629536","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"2","key":"10_CR23","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/stv.430","volume":"22","author":"S Yoo","year":"2012","unstructured":"Yoo, S., Harman, M.: Regression testing minimization, selection and prioritization: a survey. Softw. Test. Verif. Reliab. 22(2), 67\u2013120 (2012). https:\/\/doi.org\/10.1002\/stv.430","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"9","key":"10_CR24","doi-asserted-by":"publisher","first-page":"3991","DOI":"10.1007\/s00170-019-03791-2","volume":"105","author":"A Zeller","year":"2019","unstructured":"Zeller, A., Jazdi, N., Weyrich, M.: Functional verification of distributed automation systems. Int. J. Adv. Manufact. Technol. 105(9), 3991\u20134004 (2019). https:\/\/doi.org\/10.1007\/s00170-019-03791-2","journal-title":"Int. J. Adv. Manufact. Technol."}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15008-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,4]],"date-time":"2022-09-04T23:09:54Z","timestamp":1662332994000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15008-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031150074","9783031150081"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15008-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"5 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Warsaw","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fmics2022.fsa.win.tue.nl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"59% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}