{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T19:51:22Z","timestamp":1777578682740,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T00:00:00Z","timestamp":1713052800000},"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":[[2024,4,14]]},"DOI":"10.1145\/3644033.3644378","type":"proceedings-article","created":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T16:56:27Z","timestamp":1717692987000},"page":"44-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Time for Networks: Mutation Testing for Timed Automata Networks"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-5771-8817","authenticated-orcid":false,"given":"David","family":"Cort\u00e9s","sequence":"first","affiliation":[{"name":"Universidad del Valle, Cali, Colombia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5407-963X","authenticated-orcid":false,"given":"James","family":"Ortiz","sequence":"additional","affiliation":[{"name":"LTCI, Institut Polytechnique de Paris, T\u00e9l\u00e9com Paris, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7196-6609","authenticated-orcid":false,"given":"Davide","family":"Basile","sequence":"additional","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3391-5966","authenticated-orcid":false,"given":"Jesus","family":"Aranda","sequence":"additional","affiliation":[{"name":"Universidad del Valle, Cali, Colombia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8431-0377","authenticated-orcid":false,"given":"Gilles","family":"Perrouin","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Namur, Namur, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8677-4485","authenticated-orcid":false,"given":"Pierre Yves","family":"Schobbens","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Namur, Namur, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,6,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2012.93"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-008-0083-6"},{"key":"e_1_3_2_1_3_1","volume-title":"Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16--20, 2013. Proceedings 7. Springer, 20--38","author":"Aichernig Bernhard K","year":"2013","unstructured":"Bernhard K Aichernig, Florian Lorber, and Dejan Ni\u010dkovi\u0107. 2013. Time for mutants---model-based mutation testing with timed automata. In Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16--20, 2013. Proceedings 7. Springer, 20--38."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","unstructured":"Alex Donizeti Betez Alberto. [n. d.]. Formal mutation testing in Circus process algebra. Doutorado em Ci\u011bncias de Computa\u00e7\u00e3o e Matem\u00e1tica Computacional. 10.11606\/T.55.2019.tde-04012019-112931","DOI":"10.11606\/T.55.2019.tde-04012019-112931"},{"key":"e_1_3_2_1_5_1","volume-title":"A theory of timed automata. Theoretical computer science 126, 2","author":"Alur Rajeev","year":"1994","unstructured":"Rajeev Alur and David L Dill. 1994. A theory of timed automata. Theoretical computer science 126, 2 (1994), 183--235."},{"key":"e_1_3_2_1_6_1","volume-title":"Vardi","author":"Alur Rajeev","year":"1993","unstructured":"Rajeev Alur, Thomas A. Henzinger, and Moshe Y. Vardi. 1993. Parametric realtime reasoning. In STOC. ACM, 592--601."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10149-y"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382025.3414966"},{"key":"e_1_3_2_1_9_1","volume-title":"Aalborg university","author":"Behrmann Gerd","year":"2006","unstructured":"Gerd Behrmann, Alexandre David, and Kim G Larsen. 2006. A tutorial on Uppaal 4.0. Department of computer science, Aalborg university (2006)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"e_1_3_2_1_11_1","volume-title":"Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28-July 2, 1998 Proceedings 10","author":"Bozga Marius","year":"1998","unstructured":"Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, and Sergio Yovine. 1998. Kronos: A model-checking tool for real-time systems. In Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28-July 2, 1998 Proceedings 10. Springer, 546--550."},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 4th International Workshop on Computer Aided Verification (CAV'92)","volume":"315","author":"Cer\u0101ns K\u0101rlis","year":"1993","unstructured":"K\u0101rlis Cer\u0101ns. 1993. Decidability of Bisimulation Equivalences for Parallel Timer Processes. In Proceedings of the 4th International Workshop on Computer Aided Verification (CAV'92) (Lecture Notes in Computer Science, Vol. 663), Gregor von Bochmann and David K. Probst (Eds.). Springer-Verlag, 302--315."},{"key":"e_1_3_2_1_13_1","unstructured":"David Cortes. 2023. Mechanical Ventilator Case Study. https:\/\/github.com\/ventynet\/ventynet."},{"key":"e_1_3_2_1_14_1","unstructured":"Jaime Cuartas. 2022. Model-Based Mutation Testing Prototype for Timed Automata. Bachelor's Thesis."},{"key":"e_1_3_2_1_15_1","volume-title":"MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. In 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 52--61","author":"Cuartas Jaime","year":"2023","unstructured":"Jaime Cuartas, Jes\u00fas Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, and Pierre-Yves Schobbens. 2023. MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. In 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 52--61."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3623503.3623536"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 13th ACM international conference on Hybrid systems: computation and control. 91--100","author":"David Alexandre","year":"2010","unstructured":"Alexandre David, Kim G Larsen, Axel Legay, Ulrik Nyman, and Andrzej Wasowski. 2010. Timed I\/O automata: a complete specification theory for real-time systems. In Proceedings of the 13th ACM international conference on Hybrid systems: computation and control. 91--100."},{"key":"e_1_3_2_1_18_1","unstructured":"Rebeka Farkas. 2023. Case Studies. https:\/\/github.com\/farkasrebus\/XtaBenchmarkSuite."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(96)00154-9"},{"key":"e_1_3_2_1_20_1","unstructured":"Pierre Ganty Nicolas Manini and Francesco Ranzato. 2023. Computing Reachable Simulations. arXiv:2204.11804 [cs.LO]"},{"key":"e_1_3_2_1_21_1","volume-title":"Duration Calculus: A Logical Approach to Real-Time Systems. DFKI Saarbr\u00fccken","author":"Hansen M. R.","year":"1998","unstructured":"M. R. Hansen. 1998. Duration Calculus: A Logical Approach to Real-Time Systems. DFKI Saarbr\u00fccken. http:\/\/www2.compute.dtu.dk\/pubdb\/pubs\/1902-full.html"},{"key":"e_1_3_2_1_22_1","volume-title":"Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22--25, 1997 Proceedings 9. Springer, 460--463","author":"Henzinger Thomas A","year":"1997","unstructured":"Thomas A Henzinger, Pei-Hsin Ho, and Howard Wong-Toi. 1997. HyTech: A model checker for hybrid systems. In Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22--25, 1997 Proceedings 9. Springer, 460--463."},{"key":"e_1_3_2_1_23_1","volume-title":"Ullman","author":"Hopcroft John E.","year":"2006","unstructured":"John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. 2006. Introduction to Automata Theory, Languages, and Computation (3rd Edition). Addison-Wesley Longman Publishing Co., Inc., USA."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.7146\/brics.v3i24.20005"},{"key":"e_1_3_2_1_25_1","volume-title":"An analysis and survey of the development of mutation testing","author":"Jia Yue","year":"2010","unstructured":"Yue Jia and Mark Harman. 2010. An analysis and survey of the development of mutation testing. IEEE transactions on software engineering 37, 5 (2010), 649--678."},{"key":"e_1_3_2_1_26_1","volume-title":"The theory of timed I\/O automata","author":"Kaynar Dilsun","unstructured":"Dilsun Kaynar, Nancy Lynch, Roberto Segala, and Frits Vaandrager. 2010. The theory of timed I\/O automata. Morgan & Claypool Publishers."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/S10703-009-0065-1"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 13th International Conference on Concurrency Theory (CONCUR'02)","volume":"609","author":"Ku\u010dera Antonin","year":"2002","unstructured":"Antonin Ku\u010dera and Richard Mayr. 2002. Why is Simulation Harder than Bisimulation?. In Proceedings of the 13th International Conference on Concurrency Theory (CONCUR'02) (Lecture Notes in Computer Science, Vol. 2421), Lubo\u015b Brim, Petr Jan\u010dar, Mojm\u00edr K\u0159et\u00ednsk\u00fd, and Anton\u00edn Ku\u010dera (Eds.). Springer-Verlag, 594--609."},{"key":"e_1_3_2_1_29_1","volume-title":"2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 319--328","author":"Larsen Kim G","year":"2017","unstructured":"Kim G Larsen, Florian Lorber, Brian Nielsen, and Ulrik M Nyman. 2017. Mutation-based test-case generation with ecdar. In 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 319--328."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100048"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102615"},{"key":"e_1_3_2_1_32_1","volume-title":"2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 59--68","author":"Lorber Florian","year":"2018","unstructured":"Florian Lorber, Kim G Larsen, and Brian Nielsen. 2018. Model-based mutation testing of real-time systems via model checking. In 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 59--68."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/TSE.2013.44","article-title":"Overcoming the equivalent mutant problem: A systematic literature review and a comparative experiment of second order mutation","volume":"40","author":"Madeyski Lech","year":"2013","unstructured":"Lech Madeyski, Wojciech Orzeszyna, Richard Torkar, and Mariusz Jozala. 2013. Overcoming the equivalent mutant problem: A systematic literature review and a comparative experiment of second order mutation. IEEE Transactions on Software Engineering 40, 1 (2013), 23--42.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1006\/INCO.1994.1083"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. IEEE, 306--311","author":"Nilsson Robert","year":"2004","unstructured":"Robert Nilsson, Jeff Offutt, and Sten F Andler. 2004. Mutation-based testing criteria for timeliness. In Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. IEEE, 306--311."},{"key":"e_1_3_2_1_36_1","volume-title":"NFM 2017, Moffett Field, CA, USA, May 16--18, 2017, Proceedings. 52--67","author":"Ortiz James Jerson","year":"2017","unstructured":"James Jerson Ortiz, Moussa Amrani, and Pierre-Yves Schobbens. 2017. Multi-timed Bisimulation for Distributed Timed Automata. In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16--18, 2017, Proceedings. 52--67."},{"key":"e_1_3_2_1_37_1","volume-title":"Yves Le Traon, and Mark Harman","author":"Papadakis Mike","year":"2019","unstructured":"Mike Papadakis, Marinos Kintis, Jie Zhang, Yue Jia, Yves Le Traon, and Mark Harman. 2019. Mutation testing advances: an analysis and survey. In Advances in Computers. Vol. 112. Elsevier, 275--378."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.07.100"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2018.00043"},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC'03)","author":"Srivatanakul Thitima","year":"2003","unstructured":"Thitima Srivatanakul, John A. Clark, Susan Stepney, and Fiona Polack. 2003. Challenging Formal Specifications by Mutation: a CSP Security Example. In Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC'03). Chiang Mai, Thailand, 340--350."},{"key":"e_1_3_2_1_41_1","unstructured":"UppalTeam. [n. d.]. Uppaal Case Studies. https:\/\/uppaal.org\/casestudies\/."},{"key":"e_1_3_2_1_42_1","volume-title":"2018 IEEE International Conference on Software Quality, Reliability and Security (QRS). IEEE, 325--332","author":"Ortiz Vega James Jerson","year":"2018","unstructured":"James Jerson Ortiz Vega, Gilles Perrouin, Moussa Amrani, and Pierre-Yves Schobbens. 2018. Model-based mutation operators for timed systems: a taxonomy and research agenda. In 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS). IEEE, 325--332."},{"key":"e_1_3_2_1_43_1","volume-title":"Automata","author":"Wang Yi.","unstructured":"Wang Yi. 1991. CCS + time = an interleaving model for real time systems. In Automata, Languages and Programming, Javier Leach Albert, Burkhard Monien, and Mario Rodriguez Artalejo (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 217--228."}],"event":{"name":"FormaliSE '24: 2024 IEEE\/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)","location":"Lisbon Portugal","acronym":"FormaliSE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 2024 IEEE\/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3644033.3644378","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3644033.3644378","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:56:58Z","timestamp":1750291018000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3644033.3644378"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,14]]},"references-count":43,"alternative-id":["10.1145\/3644033.3644378","10.1145\/3644033"],"URL":"https:\/\/doi.org\/10.1145\/3644033.3644378","relation":{},"subject":[],"published":{"date-parts":[[2024,4,14]]},"assertion":[{"value":"2024-06-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}