{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:43:28Z","timestamp":1740102208271,"version":"3.37.3"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031436802"},{"type":"electronic","value":"9783031436819"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-43681-9_14","type":"book-chapter","created":{"date-parts":[[2023,9,16]],"date-time":"2023-09-16T06:02:16Z","timestamp":1694844136000},"page":"242-258","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Conformance in\u00a0the\u00a0Railway Industry: Single-Input-Change Testing a\u00a0EULYNX Controller"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4214-5438","authenticated-orcid":false,"given":"Djurre","family":"van der Wal","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2655-9617","authenticated-orcid":false,"given":"Marcus","family":"Gerhold","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6793-8165","authenticated-orcid":false,"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,9,17]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Bachmann, T., van der Wal, D., van der Bijl, M., van der Meij, D., Oprescu, A.: Translating EULYNX SysML models into symbolic transition systems for model-based testing of railway signaling systems. 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), pp. 355\u2013364 (2022)","key":"14_CR1","DOI":"10.1109\/ICST53961.2022.00044"},{"key":"14_CR2","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-98938-9_2","volume-title":"IFM 2018","author":"D Basile","year":"2018","unstructured":"Basile, D., et al.: On the industrial uptake of formal methods in the railway domain. In: Furia, C., Winter, K. (eds.) IFM 2018. LNCS, vol. 11023, pp. 20\u201329. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98938-9_2"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.scico.2016.04.004","volume":"128","author":"A Bonacchi","year":"2016","unstructured":"Bonacchi, A., Fantechi, A., Bacherini, S., Tempestini, M.: Validation process for railway interlocking systems. Sci. Comput. Program. 128, 2\u201321 (2016)","journal-title":"Sci. Comput. Program."},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3528207","volume":"35","author":"M Bouwman","year":"2022","unstructured":"Bouwman, M., van der Wal, D., Luttik, B., Stoelinga, M., Rensink, A.: A case in point: verification and testing of a EULYNX interface. Formal Aspects Comput. 35, 1\u201338 (2022)","journal-title":"Formal Aspects Comput."},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-319-11737-9_25","volume-title":"Formal Methods and Software Engineering","author":"C Braunstein","year":"2014","unstructured":"Braunstein, C., et al.: Complete model-based equivalence class testing for the ETCS ceiling speed monitor. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 380\u2013395. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11737-9_25"},{"doi-asserted-by":"crossref","unstructured":"Bunte, O., et al.: The mCRL2 toolset for analysing concurrent systems - improvements in expressivity and usability. In: International Conference on Tools and Algorithms for Construction and Analysis of Systems (2019)","key":"14_CR6","DOI":"10.1007\/978-3-030-17465-1_2"},{"unstructured":"EULYNX website. http:\/\/eulynx.eu. Accessed 18 Jan 2023","key":"14_CR7"},{"doi-asserted-by":"crossref","unstructured":"Fantechi, A.: Twenty-five years of formal methods and railways: what next? In: SEFM Workshops (2013)","key":"14_CR8","DOI":"10.1007\/978-3-319-05032-4_13"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3520480","volume":"55","author":"A Ferrari","year":"2022","unstructured":"Ferrari, A., ter Beek, M.H.: Formal methods in railways: a systematic mapping study. ACM Comput. Surv. 55, 1\u201337 (2022). https:\/\/doi.org\/10.1145\/3520480","journal-title":"ACM Comput. Surv."},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1109\/TSE.2015.2421011","volume":"41","author":"G Gay","year":"2015","unstructured":"Gay, G., Staats, M., Whalen, M.W., Heimdahl, M.P.E.: The risks of coverage-directed test case generation. IEEE Trans. Software Eng. 41, 803\u2013819 (2015)","journal-title":"IEEE Trans. Software Eng."},{"doi-asserted-by":"crossref","unstructured":"Graf-Brill, A., Hermanns, H.: Model-based testing for asynchronous systems. In: FMICS-AVoCS (2017)","key":"14_CR11","DOI":"10.1007\/978-3-319-67113-0_5"},{"doi-asserted-by":"crossref","unstructured":"Haxthausen, A.E., Peleska, J.: model checking and model-based testing in the railway domain. In: SyDe Summer School (2015)","key":"14_CR12","DOI":"10.1007\/978-3-658-09994-7_4"},{"doi-asserted-by":"crossref","unstructured":"Huo, J., Petrenko, A.: Transition covering tests for systems with queues. Softw. Testing 19, 55\u201383 (2009)","key":"14_CR13","DOI":"10.1002\/stvr.396"},{"unstructured":"International Electrotechnical Commission: International Standard IEC 61131: Programmable Controllers (2017)","key":"14_CR14"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y Jia","year":"2011","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Trans. Software Eng. 37, 649\u2013678 (2011)","journal-title":"IEEE Trans. Software Eng."},{"doi-asserted-by":"crossref","unstructured":"Kadakolmath, L., Ramu, U.D.: Model-checking-based automated test case generation for Z formal specification of an urban railway interlocking system. In: 2022 Fourth International Conference on Emerging Research in Electronics, Computer Science and Technology (ICERECT), pp. 1\u20138 (2022)","key":"14_CR16","DOI":"10.1109\/ICERECT56837.2022.10060801"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"PC Kanellakis","year":"1983","unstructured":"Kanellakis, P.C., Smolka, S.A.: CCS expressions, finite state processes, and three problems of equivalence. Inf. Comput. 86, 43\u201368 (1983)","journal-title":"Inf. Comput."},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"11816","DOI":"10.1109\/ACCESS.2018.2809600","volume":"6","author":"SUR Khan","year":"2018","unstructured":"Khan, S.U.R., Lee, S.P., Javaid, N., Abdul, W.: A systematic review on test suite reduction: approaches, experiment\u2019s quality evaluation, and guidelines. IEEE Access 6, 11816\u201311841 (2018)","journal-title":"IEEE Access"},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"89093","DOI":"10.1109\/ACCESS.2019.2926384","volume":"7","author":"A Kiran","year":"2019","unstructured":"Kiran, A., Butt, W.H., Anwar, M.W., Azam, F., Maqbool, B.: A comprehensive investigation of modern test suite optimization trends, Tools and Techniques. IEEE Access 7, 89093\u201389117 (2019)","journal-title":"IEEE Access"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines-a survey. Proc. IEEE 84, 1090\u20131123 (1996)","journal-title":"Proc. IEEE"},{"key":"14_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-38613-8_23","volume-title":"Integrated Formal Methods","author":"S Liu","year":"2013","unstructured":"Liu, S., et al.: A formal semantics for complete UML state machines with communications. In: Johnsen, E.B., Petre, L. (eds.) IFM 2013. LNCS, vol. 7940, pp. 331\u2013346. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38613-8_23"},{"doi-asserted-by":"crossref","unstructured":"Lv, J., Wang, H., Liu, H., Zhang, L., Tang, T.: A model-based test case generation method for function testing of train control systems. In: 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT), pp. 334\u2013346 (2016)","key":"14_CR22","DOI":"10.1109\/ICIRT.2016.7588752"},{"key":"14_CR23","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1016\/j.ifacol.2018.06.318","volume":"51","author":"C Ma","year":"2018","unstructured":"Ma, C., Jordan, C.V., Provost, J.: SATE: model-based testing with design-to-test and plant features. IFAC-PapersOnLine 51, 310\u2013315 (2018)","journal-title":"IFAC-PapersOnLine"},{"unstructured":"Ma, C., Provost, J.: Design-to-test: an approach to enhance testability of programmable controllers for critical systems-two case studies (2016)","key":"14_CR24"},{"key":"14_CR25","doi-asserted-by":"publisher","first-page":"6499","DOI":"10.1109\/TII.2020.2968480","volume":"16","author":"C Ma","year":"2020","unstructured":"Ma, C., Provost, J.: Design-to-test approach for programmable controllers in safety-critical automation systems. IEEE Trans. Industr. Inf. 16, 6499\u20136508 (2020)","journal-title":"IEEE Trans. Industr. Inf."},{"key":"14_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-642-24690-6_23","volume-title":"Software Engineering and Formal Methods","author":"N Noroozi","year":"2011","unstructured":"Noroozi, N., Khosravi, R., Mousavi, M.R., Willemse, T.A.C.: Synchronizing asynchronous conformance testing. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol. 7041, pp. 334\u2013349. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24690-6_23"},{"doi-asserted-by":"crossref","unstructured":"Object Management Group: OMG Unified Modeling Language, Version 2.5.1 (2017). https:\/\/www.omg.org\/spec\/UML\/","key":"14_CR27","DOI":"10.1016\/B978-1-78548-171-0.50001-3"},{"unstructured":"Object Management Group: OMG Systems Modeling Language, Version 1.6 (2019). https:\/\/www.omg.org\/spec\/SysML\/","key":"14_CR28"},{"unstructured":"Paltor, I.: The Semantics of UML State Machines (1999)","key":"14_CR29"},{"doi-asserted-by":"crossref","unstructured":"Peleska, J.: Industrial-strength model-based testing - state of the art and current challenges. In: MBT (2013)","key":"14_CR30","DOI":"10.4204\/EPTCS.111.1"},{"unstructured":"Polze, A.: EULYNX-Live: a methodology for validating system specifications in hybrid field tests EULYNX-Live: Eine Methodik zum Validieren von Systemspezifikationen in hybriden Feldtests (2021)","key":"14_CR31"},{"doi-asserted-by":"crossref","unstructured":"Provost, J., Roussel, J.M., Faure, J.M.: Testing programmable logic controllers from finite state machines specification. In: 2011 3rd International Workshop on Dependable Control of Discrete Systems, pp. 1\u20136 (2011)","key":"14_CR32","DOI":"10.1109\/DCDS.2011.5970309"},{"key":"14_CR33","doi-asserted-by":"publisher","first-page":"1696","DOI":"10.1109\/TII.2014.2315972","volume":"10","author":"J Provost","year":"2014","unstructured":"Provost, J., Roussel, J.M., Faure, J.M.: Generation of single input change test sequences for conformance test of programmable logic controllers. IEEE Trans. Industr. Inf. 10, 1696\u20131704 (2014)","journal-title":"IEEE Trans. Industr. Inf."},{"doi-asserted-by":"crossref","unstructured":"Salunkhe, S., Berglehner, R., Rasheeq, A.: Automatic transformation of SysML model to event-B model for railway CCS application. In: International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (2021)","key":"14_CR34","DOI":"10.1007\/978-3-030-77543-8_14"},{"unstructured":"S\u00e1nchez, C., Cavalli, A.R., Yevtushenko, N.V., Santos, J., Abreu, R.: On modeling and testing components of the European train control system (2014)","key":"14_CR35"},{"key":"14_CR36","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-319-27869-8_22","volume-title":"Model-Driven Engineering and Software Development","author":"F Scippacercola","year":"2015","unstructured":"Scippacercola, F., Pietrantuono, R., Russo, S., Zentai, A.: Model-in-the-loop testing of a railway interlocking system. In: Desfray, P., Filipe, J., Hammoudi, S., Pires, L.F. (eds.) MODELSWARD 2015. CCIS, vol. 580, pp. 375\u2013389. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-27869-8_22"},{"doi-asserted-by":"crossref","unstructured":"Sehr, M.A., et al.: programmable logic controllers in the context of industry 4.0. IEEE Trans. Industr. Inf. 17, 3523\u20133533 (2021)","key":"14_CR37","DOI":"10.1109\/TII.2020.3007764"},{"doi-asserted-by":"crossref","unstructured":"Su, H., Chai, M., Liu, H., Chai, J., Yue, C.: A model-based testing system for safety of railway interlocking. 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC), pp. 335\u2013340 (2022)","key":"14_CR38","DOI":"10.1109\/ITSC55140.2022.9922557"},{"doi-asserted-by":"crossref","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Formal Methods and Testing (2008)","key":"14_CR39","DOI":"10.1007\/978-3-540-78917-8_1"},{"doi-asserted-by":"crossref","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Testing 22, 297\u2013312 (2012)","key":"14_CR40","DOI":"10.1002\/stvr.456"},{"unstructured":"Verhaard, L., Tretmans, J., Kars, P., Brinksma, E.: On asynchronous testing. In: Protocol Test Systems (1992)","key":"14_CR41"},{"key":"14_CR42","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1023\/A:1012259227622","volume":"17","author":"A Virazel","year":"2000","unstructured":"Virazel, A., David, R., Girard, P., Landrault, C., Pravossoudovitch, S.: Delay fault testing: choosing between random SIC and random MIC test sequences. J. Electron. Test. 17, 233\u2013241 (2000)","journal-title":"J. Electron. Test."},{"key":"14_CR43","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1109\/MITS.2018.2842230","volume":"10","author":"Y Wang","year":"2018","unstructured":"Wang, Y., Chen, L., Kirkwood, D., Fu, P., Lv, J., Roberts, C.: Hybrid online model-based testing for communication-based train control systems. IEEE Intell. Transp. Syst. Mag. 10, 35\u201347 (2018)","journal-title":"IEEE Intell. Transp. Syst. Mag."},{"doi-asserted-by":"crossref","unstructured":"Yi, W., Xing-hua, F., Dai-qiang, W.: An implementation of random single input change technique for low-power test. In: 2008 2nd International Conference on Anti-counterfeiting, Security and Identification, pp. 352\u2013355 (2008)","key":"14_CR44","DOI":"10.1109\/IWASID.2008.4688417"}],"updated-by":[{"updated":{"date-parts":[[2024,3,20]],"date-time":"2024-03-20T00:00:00Z","timestamp":1710892800000},"DOI":"10.1007\/978-3-031-43681-9_15","type":"correction","source":"publisher","label":"Correction"}],"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-43681-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,28]],"date-time":"2024-10-28T05:39:50Z","timestamp":1730093990000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-43681-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031436802","9783031436819"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-43681-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"17 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"20 March 2024","order":2,"name":"change_date","label":"Change Date","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Correction","order":3,"name":"change_type","label":"Change Type","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"A correction has been published.","order":4,"name":"change_details","label":"Change Details","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":"Antwerp","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgium","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.uantwerpen.be\/en\/conferences\/confest-2023\/fmics\/","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":"24","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":"14","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":"58% - 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)"}}]}}