{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T04:34:30Z","timestamp":1781238870053,"version":"3.54.1"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031937057","type":"print"},{"value":"9783031937064","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-93706-4_7","type":"book-chapter","created":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T17:22:52Z","timestamp":1749316972000},"page":"100-115","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Eliminating Flakiness: Deterministic Control for\u00a0Validating Nondeterministic Asmeta Specifications"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4244-9319","authenticated-orcid":false,"given":"Andrea","family":"Bombarda","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9679-4551","authenticated-orcid":false,"given":"Silvia","family":"Bonfanti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4035-0131","authenticated-orcid":false,"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-4944-6845","authenticated-orcid":false,"given":"Nico","family":"Pellegrinelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,6,8]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Amine, M., Delahaye, B., Lanoix, A.: Moving from Event-B to probabilistic Event-B. In: Proceedings of the Symposium on Applied Computing, SAC 2017, pp. 1348\u20131355. ACM (2017)","DOI":"10.1145\/3019612.3019823"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Aouadhi, M.A., Delahaye, B., Lanoix, A.: Introducing probabilistic reasoning within Event-B. Softw. Syst. Model. 18(3), 1953\u20131984 (2017)","DOI":"10.1007\/s10270-017-0626-5"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-030-76020-5_13","volume-title":"Logic, Computation and Rigorous Methods","author":"P Arcaini","year":"2021","unstructured":"Arcaini, P., Bombarda, A., Bonfanti, S., Gargantini, A., Riccobene, E., Scandurra, P.: The ASMETA approach to safety assurance of software systems. In: Raschke, A., Riccobene, E., Schewe, K.-D. (eds.) Logic, Computation and Rigorous Methods. LNCS, vol. 12750, pp. 215\u2013238. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-76020-5_13"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.scico.2017.07.003","volume":"158","author":"P Arcaini","year":"2018","unstructured":"Arcaini, P., Bonfanti, S., Gargantini, A., Mashkoor, A., Riccobene, E.: Integrating formal methods into medical software development: the ASM approach. Sci. Comput. Program. 158, 148\u2013167 (2018)","journal-title":"Sci. Comput. Program."},{"key":"7_CR5","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-319-07512-9_3","volume-title":"ABZ 2014: The Landing Gear Case Study","author":"P Arcaini","year":"2014","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Modeling and analyzing using ASMs: the landing gear system case study. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.-D. (eds.) ABZ 2014. CCIS, vol. 433, pp. 36\u201351. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07512-9_3"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-319-41591-8_17","volume-title":"Software Engineering and Formal Methods","author":"P Arcaini","year":"2016","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: SMT-based automatic proof of ASM model refinement. In: De Nicola, R., K\u00fchn, E. (eds.) SEFM 2016. LNCS, vol. 9763, pp. 253\u2013269. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41591-8_17"},{"key":"7_CR7","unstructured":"Bekaert, P., Steegmans, E., Baclawski, K., Kilov, H.: Non-determinism in conceptual models (2001)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/3-540-60692-0_70","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"A Bianco","year":"1995","unstructured":"Bianco, A., de Alfaro, L.: Model checking of probabilistic and nondeterministic systems. In: Thiagarajan, P.S. (ed.) FSTTCS 1995. LNCS, vol. 1026, pp. 499\u2013513. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-60692-0_70"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Bohme, M.: Assurances in software testing: a roadmap. In: 2019 IEEE\/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), pp. 5\u20138. IEEE (2019)","DOI":"10.1109\/ICSE-NIER.2019.00010"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-030-29852-4_7","volume-title":"Software Technology: Methods and Tools","author":"A Bombarda","year":"2019","unstructured":"Bombarda, A., Bonfanti, S., Gargantini, A.: Developing medical devices from abstract state machines to embedded systems: a smart pill box case study. In: Mazzara, M., Bruel, J.-M., Meyer, B., Petrenko, A. (eds.) TOOLS 2019. LNCS, vol. 11771, pp. 89\u2013103. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29852-4_7"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-031-33163-3_25","volume-title":"Rigorous State-Based Methods","author":"A Bombarda","year":"2023","unstructured":"Bombarda, A., Bonfanti, S., Gargantini, A.: formal MVC: a\u00a0pattern for\u00a0the\u00a0integration of\u00a0ASM specifications in\u00a0UI development. In: Gl\u00e4sser, U., Creissac Campos, J., M\u00e9ry, D., Palanque, P. (eds.) ABZ 2023. LNCS, vol. 14010, pp. 340\u2013357. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-33163-3_25"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Bombarda, A., Bonfanti, S., Gargantini, A., Riccobene, E.: Developing a prototype of a mechanical ventilator controller from requirements to code with asmeta (2021)","DOI":"10.4204\/EPTCS.349.2"},{"key":"7_CR13","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-031-71177-0_28","volume-title":"Formal Methods","author":"A Bombarda","year":"2025","unstructured":"Bombarda, A., Bonfanti, S., Gargantini, A., Riccobene, E., Scandurra, P.: ASMETA tool set for rigorous system design. In: Platzer, A., Rozier, K.Y., Pradella, M., Rossi, M. (eds.) FM 2024. LNCS, vol. 14934, pp. 492\u2013517. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-71177-0_28"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Bonfanti, S., Gargantini, A., Mashkoor, A.: Generation of C++ unit tests from abstract state machines specifications. In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 185\u2013193. IEEE (2018)","DOI":"10.1109\/ICSTW.2018.00049"},{"key":"7_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56641-1","volume-title":"Modeling Companion for Software Practitioners","author":"E B\u00f6rger","year":"2018","unstructured":"B\u00f6rger, E., Raschke, A.: Modeling Companion for Software Practitioners. Springer, Heidelberg (2018)"},{"key":"7_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines. Springer, Heidelberg (2003)"},{"issue":"4","key":"7_CR17","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1049\/sej.1993.0025","volume":"8","author":"J Bowen","year":"1993","unstructured":"Bowen, J., Stavridou, V.: Safety-critical systems, formal methods and standards. Softw. Eng. J. 8(4), 189 (1993)","journal-title":"Softw. Eng. J."},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-87603-8_7","volume-title":"Abstract State Machines, B and Z","author":"A Carioni","year":"2008","unstructured":"Carioni, A., Gargantini, A., Riccobene, E., Scandurra, P.: A scenario-based validation language for ASMs. In: B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 71\u201384. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87603-8_7"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Denney, E., Pai, G.: Evidence arguments for using formal methods in software certification. In: 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 375\u2013380. IEEE (2013)","DOI":"10.1109\/ISSREW.2013.6688924"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Gaspari, P., Riccobene, E., Gargantini, A.: A formal design of the hybrid European rail traffic management system. In: Proceedings of the 13th European Conference on Software Architecture, ECSA, vol. 2, pp. 156\u2013162. ACM (2019)","DOI":"10.1145\/3344948.3344993"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-642-34032-1_21","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies","author":"G Gigante","year":"2012","unstructured":"Gigante, G., Pascarella, D.: Formal methods in avionic software certification: the DO-178C perspective. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012. LNCS, vol. 7610, pp. 205\u2013215. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34032-1_21"},{"issue":"3\u20134","key":"7_CR22","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/s007660050005","volume":"3","author":"P Heymans","year":"1998","unstructured":"Heymans, P., Dubois, E.: Scenario-based techniques for supporting the elaboration and the validation of formal requirements. Requirements Eng. 3(3\u20134), 202\u2013218 (1998)","journal-title":"Requirements Eng."},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/978-3-030-03424-5_30","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems","author":"H Hungar","year":"2018","unstructured":"Hungar, H.: Scenario-based validation of automated driving systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 449\u2013460. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03424-5_30"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Luo, Q., Hariri, F., Eloussi, L., Marinov, D.: An empirical analysis of flaky tests. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT\/FSE 2014. ACM (2014)","DOI":"10.1145\/2635868.2635920"},{"issue":"3","key":"7_CR25","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1007\/s10270-016-0514-4","volume":"16","author":"A Mashkoor","year":"2016","unstructured":"Mashkoor, A., Yang, F., Jacquot, J.-P.: Refinement-based validation of Event-B specifications. Softw. Syst. Model. 16(3), 789\u2013808 (2016)","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"7_CR26","doi-asserted-by":"publisher","first-page":"1294","DOI":"10.1109\/TCST.2015.2501351","volume":"24","author":"P Nilsson","year":"2016","unstructured":"Nilsson, P., et al.: Correct-by-construction adaptive cruise control: two approaches. IEEE Trans. Control Syst. Technol. 24(4), 1294\u20131307 (2016)","journal-title":"IEEE Trans. Control Syst. Technol."},{"issue":"1","key":"7_CR27","doi-asserted-by":"publisher","first-page":"85","DOI":"10.31577\/cai_2019_1_85","volume":"38","author":"M Nosrati","year":"2019","unstructured":"Nosrati, M., Haghighi, H.: A probabilistic extension of UML-B. Comput. Inform. 38(1), 85\u2013114 (2019)","journal-title":"Comput. Inform."},{"issue":"1","key":"7_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3476105","volume":"31","author":"O Parry","year":"2021","unstructured":"Parry, O., Kapfhammer, G.M., Hilton, M., McMinn, P.: A survey of flaky tests. ACM Trans. Softw. Eng. Methodol. 31(1), 1\u201374 (2021)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-030-64881-7_4","volume-title":"Testing Software and Systems","author":"A Pferscher","year":"2020","unstructured":"Pferscher, A., Aichernig, B.K.: Learning abstracted non-deterministic finite state machines. In: Casola, V., De Benedictis, A., Rak, M. (eds.) ICTSS 2020. LNCS, vol. 12543, pp. 52\u201369. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-64881-7_4"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Rahman, Md.T., Rigby, P.C.: The impact of failing, flaky, and high failure tests on the number of crash reports associated with firefox builds. In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2018. ACM (2018)","DOI":"10.1145\/3236024.3275529"},{"key":"7_CR31","unstructured":"Reid, A., Church, L., Flur, S., de\u00a0Haas, S., Johnson, M., Laurie, B.: Towards making formal methods normal: meeting developers where they are (2020)"},{"key":"7_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-031-47115-5_16","volume-title":"Software Engineering and Formal Methods","author":"S Sallinger","year":"2023","unstructured":"Sallinger, S., Weissenbacher, G., Zuleger, F.: A formalization of heisenbugs and their causes. In: Ferreira, C., Willemse, T. (eds.) SEFM 2023. LNCS, vol. 14323, pp. 282\u2013300. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-47115-5_16"},{"key":"7_CR33","doi-asserted-by":"crossref","unstructured":"Vandenbroucke, A., Schrijvers, T., Piessens, F.: Fixing non-determinism. In: Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2015, pp. 1\u201312. ACM (2015)","DOI":"10.1145\/2897336.2897342"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Wong, W.E., Debroy, V., Surampudi, A., Kim, H., Siok, M.F.: Recent catastrophic accidents: investigating how software was responsible. In: 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement, pp. 14\u201322. IEEE (2010)","DOI":"10.1109\/SSIRI.2010.38"},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"Yamada, C., Michael Miller, D.: Using spin to check nondeterministic simulink stateflow models. In: 2015 IEEE International Symposium on Multiple-Valued Logic, pp. 145\u2013151. IEEE (2015)","DOI":"10.1109\/ISMVL.2015.17"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-93706-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T17:22:58Z","timestamp":1749316978000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-93706-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031937057","9783031937064"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-93706-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"8 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hampton Roads, VA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 June 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/shemesh.larc.nasa.gov\/nfm2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}