{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T23:35:20Z","timestamp":1783553720545,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003032","name":"Association Nationale de la Recherche et de la Technologie","doi-asserted-by":"publisher","award":["CIFRE n\u00b02020\/0756"],"award-info":[{"award-number":["CIFRE n\u00b02020\/0756"]}],"id":[{"id":"10.13039\/501100003032","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,23]]},"DOI":"10.1145\/3550355.3552447","type":"proceedings-article","created":{"date-parts":[[2022,10,24]],"date-time":"2022-10-24T22:44:57Z","timestamp":1666651497000},"page":"87-97","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Practical multiverse debugging through user-defined reductions"],"prefix":"10.1145","author":[{"given":"Matthias","family":"Pasquier","sequence":"first","affiliation":[{"name":"ERTOSGENER, Angers, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ciprian","family":"Teodorov","sequence":"additional","affiliation":[{"name":"ENSTA Bretagne, Brest, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Jouault","sequence":"additional","affiliation":[{"name":"ESEO, Angers, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias","family":"Brun","sequence":"additional","affiliation":[{"name":"ESEO, Angers, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luka Le","family":"Roux","sequence":"additional","affiliation":[{"name":"ENSTA Bretagne, Brest, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lo\u00efc","family":"Lagadec","sequence":"additional","affiliation":[{"name":"ENSTA Bretagne, Brest, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90224-P"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501654.2501667"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183473"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C.2019.00115"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"e_1_3_2_1_6_1","unstructured":"Valentin Besnard. 2020. EMI: An approach to unify analysis and embedded execution with a controllable model interpreter. Ph.D. Dissertation. ENSTA Bretagne.  Valentin Besnard. 2020. EMI: An approach to unify analysis and embedded execution with a controllable model interpreter. Ph.D. Dissertation. ENSTA Bretagne."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00923-9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349339"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.11.025"},{"key":"e_1_3_2_1_10_1","volume-title":"Handbook of Model Checking","author":"Clarke Edmund M.","unstructured":"Edmund M. Clarke , Thomas A. Henzinger , Helmut Veith , and Roderick Bloem . 2018. Handbook of Model Checking ( 1 st ed.). Springer Publishing Company, Inc orporated. Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem. 2018. Handbook of Model Checking (1st ed.). Springer Publishing Company, Incorporated.","edition":"1"},{"key":"e_1_3_2_1_11_1","volume-title":"Uribe","author":"Col\u00f3n Michael A.","year":"1998","unstructured":"Michael A. Col\u00f3n and Tom\u00e1s E . Uribe . 1998 . Generating finite-state abstractions of reactive systems using decision procedures. In Computer Aided Verification, Alan J. Hu and Moshe Y. Vardi (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 293--304. Michael A. Col\u00f3n and Tom\u00e1s E. Uribe. 1998. Generating finite-state abstractions of reactive systems using decision procedures. In Computer Aided Verification, Alan J. Hu and Moshe Y. Vardi (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 293--304."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110256"},{"key":"e_1_3_2_1_13_1","volume-title":"Automated Deduction - CADE-25, Amy P","author":"de Moura Leonardo","unstructured":"Leonardo de Moura , Soonho Kong , Jeremy Avigad , Floris van Doorn , and Jakob von Raumer . 2015. The Lean Theorem Prover (System Description) . In Automated Deduction - CADE-25, Amy P . Felty and Aart Middeldorp (Eds.). Springer International Publishing , Cham , 378--388. Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, and Jakob von Raumer. 2015. The Lean Theorem Prover (System Description). In Automated Deduction - CADE-25, Amy P. Felty and Aart Middeldorp (Eds.). Springer International Publishing, Cham, 378--388."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.579"},{"key":"e_1_3_2_1_15_1","volume-title":"Construction of abstract state graphs with PVS","author":"Graf Susanne","unstructured":"Susanne Graf and Hassen Saidi . 1997. Construction of abstract state graphs with PVS . In Computer Aided Verification, Orna Grumberg (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 72--83. Susanne Graf and Hassen Saidi. 1997. Construction of abstract state graphs with PVS. In Computer Aided Verification, Orna Grumberg (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 72--83."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-34892-6_19"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365438.3410967"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993525"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993525"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/361082.361093"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480569"},{"key":"e_1_3_2_1_22_1","volume-title":"Debugging Backwards in Time. Computing Research Repository cs.SE\/0310016 (10","author":"Lewis Bil","year":"2003","unstructured":"Bil Lewis . 2003. Debugging Backwards in Time. Computing Research Repository cs.SE\/0310016 (10 2003 ). Bil Lewis. 2003. Debugging Backwards in Time. Computing Research Repository cs.SE\/0310016 (10 2003)."},{"key":"e_1_3_2_1_23_1","volume-title":"Stefan Marr, Elisa Gonzalez Boix, and Christophe Scholliers.","author":"Lopez Carmen Torres","year":"2019","unstructured":"Carmen Torres Lopez , Robbert Gurdeep Singh , Stefan Marr, Elisa Gonzalez Boix, and Christophe Scholliers. 2019 . Multiverse Debugging : Non-deterministic Debugging for Non-deterministic Programs. In 33rd European Conference on Object-Oriented Programming. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik . https:\/\/kar.kent.ac.uk\/74328\/ Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, and Christophe Scholliers. 2019. Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs. In 33rd European Conference on Object-Oriented Programming. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. https:\/\/kar.kent.ac.uk\/74328\/"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1177\/0037549716658360"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1177\/109434209701100207"},{"key":"e_1_3_2_1_26_1","unstructured":"OMG. 2017. Unified Modeling Language. https:\/\/www.omg.org\/spec\/UML\/2.5.1\/PDF  OMG. 2017. Unified Modeling Language. https:\/\/www.omg.org\/spec\/UML\/2.5.1\/PDF"},{"key":"e_1_3_2_1_27_1","volume-title":"Concrete Model Checking with Abstract Matching and Refinement","author":"P\u0103s\u0103reanu Corina S.","unstructured":"Corina S. P\u0103s\u0103reanu , Radek Pel\u00e1nek , and Willem Visser . 2005. Concrete Model Checking with Abstract Matching and Refinement . In Computer Aided Verification, Kousha Etessami and Sriram K. Rajamani (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 52--66. Corina S. P\u0103s\u0103reanu, Radek Pel\u00e1nek, and Willem Visser. 2005. Concrete Model Checking with Abstract Matching and Refinement. In Computer Aided Verification, Kousha Etessami and Sriram K. Rajamani (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 52--66."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(81)90106-X"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297105.1297067"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542509"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"e_1_3_2_1_32_1","volume-title":"A Language Independent Debugger Semantics Based Debugging in K. Master's thesis","author":"Saxena M.","unstructured":"M. Saxena . 2018. A Language Independent Debugger Semantics Based Debugging in K. Master's thesis . University of Illinois at Urbana-Champaign. https :\/\/www.ideals.illinois.edu\/handle\/2142\/101590 M. Saxena. 2018. A Language Independent Debugger Semantics Based Debugging in K. Master's thesis. University of Illinois at Urbana-Champaign. https:\/\/www.ideals.illinois.edu\/handle\/2142\/101590"},{"key":"e_1_3_2_1_33_1","volume-title":"Dill","author":"Stern Ulrich","year":"1995","unstructured":"Ulrich Stern and David L . Dill . 1995 . Improved probabilistic verification by hash compaction. In Correct Hardware Design and Verification Methods, Paolo E. Camurati and Hans Eveking (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 206--224. Ulrich Stern and David L. Dill. 1995. Improved probabilistic verification by hash compaction. In Correct Hardware Design and Verification Methods, Paolo E. Camurati and Hans Eveking (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 206--224."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/349360.351125"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"}],"event":{"name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","location":"Montreal Quebec Canada","acronym":"MODELS '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"]},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550355.3552447","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550355.3552447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:08Z","timestamp":1750183688000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550355.3552447"}},"subtitle":["application to UML models"],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":35,"alternative-id":["10.1145\/3550355.3552447","10.1145\/3550355"],"URL":"https:\/\/doi.org\/10.1145\/3550355.3552447","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}