{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T05:47:42Z","timestamp":1757310462924,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,29]],"date-time":"2022-11-29T00:00:00Z","timestamp":1669680000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["813884"],"award-info":[{"award-number":["813884"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P 30525-N31"],"award-info":[{"award-number":["P 30525-N31"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006012","name":"Christian Doppler Forschungsgesellschaft","doi-asserted-by":"publisher","award":[""],"award-info":[{"award-number":[""]}],"id":[{"id":"10.13039\/501100006012","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Austrian Federal Ministry for Digital and Economic Affairs","award":[""],"award-info":[{"award-number":[""]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,29]]},"DOI":"10.1145\/3567512.3567532","type":"proceedings-article","created":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T21:22:55Z","timestamp":1669929775000},"page":"235-248","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages"],"prefix":"10.1145","author":[{"given":"Faezeh","family":"Khorram","sequence":"first","affiliation":[{"name":"IMT Atlantique, France \/ Nantes Universit\u00e9, France \/ \u00c9cole Centrale Nantes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erwan","family":"Bousse","sequence":"additional","affiliation":[{"name":"IMT Atlantique, France \/ Nantes Universit\u00e9, France \/ \u00c9cole Centrale Nantes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Garmendia","sequence":"additional","affiliation":[{"name":"JKU Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marie","family":"Mottu","sequence":"additional","affiliation":[{"name":"IMT Atlantique, France \/ Nantes Universit\u00e9, France \/ \u00c9cole Centrale Nantes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerson","family":"Suny\u00e9","sequence":"additional","affiliation":[{"name":"IMT Atlantique, France \/ Nantes Universit\u00e9, France \/ \u00c9cole Centrale Nantes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[{"name":"JKU Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,12]]},"reference":[{"volume-title":"Introduction to software testing","author":"Ammann Paul","key":"e_1_3_2_1_1_1","unstructured":"Paul Ammann and Jeff Offutt . 2016. Introduction to software testing . Cambridge University Press . Paul Ammann and Jeff Offutt. 2016. Introduction to software testing. Cambridge University Press."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3472616"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3239372.3239392"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00727-y"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPEC.2007.60"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_4"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCES.2011.6141058"},{"key":"e_1_3_2_1_8_1","first-page":"248","article-title":"Couverture: an innovative open framework for coverage analysis of safety critical applications","volume":"30","author":"Bordin Matteo","year":"2009","unstructured":"Matteo Bordin , Cyrille Comar , Tristan Gingold , J\u00e9r\u00f4me Guitton , Olivier Hainque , Thomas Quinot , Julien Delange , J\u00e9r\u00f4me Hugues , and Laurent Pautet . 2009 . Couverture: an innovative open framework for coverage analysis of safety critical applications . Ada User Journal , 30 , 4 (2009), 248 \u2013 255 . Matteo Bordin, Cyrille Comar, Tristan Gingold, J\u00e9r\u00f4me Guitton, Olivier Hainque, Thomas Quinot, Julien Delange, J\u00e9r\u00f4me Hugues, and Laurent Pautet. 2009. Couverture: an innovative open framework for coverage analysis of safety critical applications. Ada User Journal, 30, 4 (2009), 248\u2013255.","journal-title":"Ada User Journal"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997384"},{"volume-title":"A Generative Approach to Define Rich Domain-Specific Trace Metamodels","author":"Bousse Erwan","key":"e_1_3_2_1_10_1","unstructured":"Erwan Bousse , Tanja Mayerhofer , Benoit Combemale , and Benoit Baudry . 2015. A Generative Approach to Define Rich Domain-Specific Trace Metamodels . In Modelling Foundations and Applications, Gabriele Taentzer and Francis Bordeleau (Eds.). Springer , 45\u201361. isbn:978-3-319-21151-0 Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, and Benoit Baudry. 2015. A Generative Approach to Define Rich Domain-Specific Trace Metamodels. In Modelling Foundations and Applications, Gabriele Taentzer and Francis Bordeleau (Eds.). Springer, 45\u201361. isbn:978-3-319-21151-0"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0598-5"},{"key":"e_1_3_2_1_12_1","volume-title":"Modern Compiler Implementation in Java: the MiniJava Project. https:\/\/www.cambridge.org\/resources\/052182060X [Online","author":"Cangussu Joao","year":"2022","unstructured":"Joao Cangussu , Jens Palsberg , and Vidyut Samanta . 2022. Modern Compiler Implementation in Java: the MiniJava Project. https:\/\/www.cambridge.org\/resources\/052182060X [Online ; accessed 30- September - 2022 ] Joao Cangussu, Jens Palsberg, and Vidyut Samanta. 2022. Modern Compiler Implementation in Java: the MiniJava Project. https:\/\/www.cambridge.org\/resources\/052182060X [Online; accessed 30-September-2022]"},{"key":"e_1_3_2_1_13_1","volume-title":"Sample MiniJava Programs. https:\/\/www.cambridge.org\/resources\/052182060X\/#programsl [Online","author":"Cangussu Joao","year":"2022","unstructured":"Joao Cangussu , Jens Palsberg , and Vidyut Samanta . 2022. Sample MiniJava Programs. https:\/\/www.cambridge.org\/resources\/052182060X\/#programsl [Online ; accessed 30- September - 2022 ] Joao Cangussu, Jens Palsberg, and Vidyut Samanta. 2022. Sample MiniJava Programs. https:\/\/www.cambridge.org\/resources\/052182060X\/#programsl [Online; accessed 30-September-2022]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3486608.3486904"},{"key":"e_1_3_2_1_15_1","unstructured":"Cobertura. 2022. A code coverage utility for Java. http:\/\/cobertura.github.io\/cobertura\/ \t\t\t\t  Cobertura. 2022. A code coverage utility for Java. http:\/\/cobertura.github.io\/cobertura\/"},{"key":"e_1_3_2_1_16_1","volume-title":"https:\/\/www.eclipse.org\/emf\/compare [Online","author":"Compare EMF","year":"2022","unstructured":"EMF Compare . 2022. EMF Compare . https:\/\/www.eclipse.org\/emf\/compare [Online ; accessed 30- September - 2022 ] EMF Compare. 2022. EMF Compare. https:\/\/www.eclipse.org\/emf\/compare [Online; accessed 30-September-2022]"},{"key":"e_1_3_2_1_17_1","unstructured":"Code Cover. 2022. Measurement under Java. http:\/\/codecover.org\/documentation\/references\/javaMeasurement.html [Online; accessed 12-October-2022] \t\t\t\t  Code Cover. 2022. Measurement under Java. http:\/\/codecover.org\/documentation\/references\/javaMeasurement.html [Online; accessed 12-October-2022]"},{"key":"e_1_3_2_1_18_1","unstructured":"Higor A de Souza Marcos L Chaim and Fabio Kon. 2016. Spectrum-based software fault localization: A survey of techniques advances and challenges. arXiv preprint arXiv:1607.04347. \t\t\t\t  Higor A de Souza Marcos L Chaim and Fabio Kon. 2016. Spectrum-based software fault localization: A survey of techniques advances and challenges. arXiv preprint arXiv:1607.04347."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 13th International Conference on Intelligent Systems: Theories and Applications. 1\u20136.","author":"Mounia El","year":"2020","unstructured":"Mounia El qortobi, Amine Rahj , Jamal Bentahar , and Rachida Dssouli . 2020 . Test Generation Tool for Modified Condition\/Decision Coverage: Model Based Testing . In Proceedings of the 13th International Conference on Intelligent Systems: Theories and Applications. 1\u20136. Mounia El qortobi, Amine Rahj, Jamal Bentahar, and Rachida Dssouli. 2020. Test Generation Tool for Modified Condition\/Decision Coverage: Model Based Testing. In Proceedings of the 13th International Conference on Intelligent Systems: Theories and Applications. 1\u20136."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2015.08.007"},{"key":"e_1_3_2_1_21_1","first-page":"1","article-title":"Wodel-Test: a model-based framework for language-independent mutation testing","volume":"20","author":"G\u00f3mez-Abajo Pablo","year":"2020","unstructured":"Pablo G\u00f3mez-Abajo , Esther Guerra , Juan de Lara , and Mercedes G Merayo . 2020 . Wodel-Test: a model-based framework for language-independent mutation testing . Software and Systems Modeling , 20 (2020), 1 \u2013 27 . Pablo G\u00f3mez-Abajo, Esther Guerra, Juan de Lara, and Mercedes G Merayo. 2020. Wodel-Test: a model-based framework for language-independent mutation testing. Software and Systems Modeling, 20 (2020), 1\u201327.","journal-title":"Software and Systems Modeling"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:20041317"},{"volume-title":"Exhaustive Simulation and Test Generation Using fUML Activity Diagrams","author":"Iqbal Junaid","key":"e_1_3_2_1_23_1","unstructured":"Junaid Iqbal , Adnan Ashraf , Dragos Truscan , and Ivan Porres . 2019a. Exhaustive Simulation and Test Generation Using fUML Activity Diagrams . In Advanced Information Systems Engineering, Paolo Giorgini and Barbara Weber (Eds.). Springer , 96\u2013110. Junaid Iqbal, Adnan Ashraf, Dragos Truscan, and Ivan Porres. 2019a. Exhaustive Simulation and Test Generation Using fUML Activity Diagrams. In Advanced Information Systems Engineering, Paolo Giorgini and Barbara Weber (Eds.). Springer, 96\u2013110."},{"key":"e_1_3_2_1_24_1","unstructured":"JaCoCo. 2022. JaCoCo Java Code Coverage Library. https:\/\/github.com\/jacoco\/jacoco \t\t\t\t  JaCoCo. 2022. JaCoCo Java Code Coverage Library. https:\/\/github.com\/jacoco\/jacoco"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2021.20.3.a6"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Faezeh Khorram Erwan Bousse Jean-Marie Mottu and Gerson Suny\u00e9. 2022. Advanced Testing and Debugging Support for Reactive Executable DSLs. Software and Systems Modeling https:\/\/hal.archives-ouvertes.fr\/hal-03723920 \t\t\t\t  Faezeh Khorram Erwan Bousse Jean-Marie Mottu and Gerson Suny\u00e9. 2022. Advanced Testing and Debugging Support for Reactive Executable DSLs. Software and Systems Modeling https:\/\/hal.archives-ouvertes.fr\/hal-03723920","DOI":"10.1007\/s10270-022-01025-w"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.7260980"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.09.002"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-020-00798-2"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2966540"},{"volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"L\u00fcbke Daniel","key":"e_1_3_2_1_32_1","unstructured":"Daniel L\u00fcbke and Tammo van Lessen . 2017. BPMN-Based Model-Driven Testing of Service-Based Processes . In Enterprise, Business-Process and Information Systems Modeling . Springer , 119\u2013133. Daniel L\u00fcbke and Tammo van Lessen. 2017. BPMN-Based Model-Driven Testing of Service-Based Processes. In Enterprise, Business-Process and Information Systems Modeling. Springer, 119\u2013133."},{"volume-title":"Software Technologies: Applications and Foundations","author":"Mayerhofer Tanja","key":"e_1_3_2_1_33_1","unstructured":"Tanja Mayerhofer and Benoit Combemale . 2018. The Tool Generation Challenge for Executable Domain-Specific Modeling Languages . In Software Technologies: Applications and Foundations , Martina Seidl and Steffen Zschaler (Eds.). Springer , 193\u2013199. isbn:978-3-319-74730-9 Tanja Mayerhofer and Benoit Combemale. 2018. The Tool Generation Challenge for Executable Domain-Specific Modeling Languages. In Software Technologies: Applications and Foundations, Martina Seidl and Steffen Zschaler (Eds.). Springer, 193\u2013199. isbn:978-3-319-74730-9"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997367"},{"volume-title":"Testing Functional Requirements in UML Activity Diagrams","author":"Mijatov Stefan","key":"e_1_3_2_1_35_1","unstructured":"Stefan Mijatov , Tanja Mayerhofer , Philip Langer , and Gerti Kappel . 2015. Testing Functional Requirements in UML Activity Diagrams . In Tests and Proofs, Jasmin Christian Blanchette and Nikolai Kosmatov (Eds.). Springer , 173\u2013190. Stefan Mijatov, Tanja Mayerhofer, Philip Langer, and Gerti Kappel. 2015. Testing Functional Requirements in UML Activity Diagrams. In Tests and Proofs, Jasmin Christian Blanchette and Nikolai Kosmatov (Eds.). Springer, 173\u2013190."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062496"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00924-8"},{"key":"e_1_3_2_1_38_1","volume-title":"Hua Jie Lee, and Kotagiri Ramamohanarao","author":"Naish Lee","year":"2011","unstructured":"Lee Naish , Hua Jie Lee, and Kotagiri Ramamohanarao . 2011 . A model for spectra-based software diagnosis. ACM Transactions on software engineering and methodology (TOSEM) , 20, 3 (2011), 1\u201332. Lee Naish, Hua Jie Lee, and Kotagiri Ramamohanarao. 2011. A model for spectra-based software diagnosis. ACM Transactions on software engineering and methodology (TOSEM), 20, 3 (2011), 1\u201332."},{"key":"e_1_3_2_1_39_1","unstructured":"OASIS. 2007. Web Services Business Process Execution Language Version 2.0. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.html \t\t\t\t  OASIS. 2007. Web Services Business Process Execution Language Version 2.0. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.html"},{"key":"e_1_3_2_1_40_1","unstructured":"Object Management Group. 2019. Precise Semantics of UML State Machines. https:\/\/www.omg.org\/spec\/PSSM\/1.0\/ \t\t\t\t  Object Management Group. 2019. Precise Semantics of UML State Machines. https:\/\/www.omg.org\/spec\/PSSM\/1.0\/"},{"key":"e_1_3_2_1_41_1","volume-title":"Semantics of a Foundational Subset for Executable UML Models. https:\/\/www.omg.org\/spec\/FUML\/ (last accessed","author":"Object Management Group (OMG). 2022.","year":"2022","unstructured":"Object Management Group (OMG). 2022. Semantics of a Foundational Subset for Executable UML Models. https:\/\/www.omg.org\/spec\/FUML\/ (last accessed in September 2022 ) Object Management Group (OMG). 2022. Semantics of a Foundational Subset for Executable UML Models. https:\/\/www.omg.org\/spec\/FUML\/ (last accessed in September 2022)"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357766.3359538"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.59"},{"key":"e_1_3_2_1_44_1","volume-title":"Merks, and Marcelo Paternostro","author":"Steinberg Dave","year":"2008","unstructured":"Dave Steinberg , Frank Budinsky , Ed Merks, and Marcelo Paternostro . 2008 . EMF: eclipse modeling framework. Addison-Wesley . Dave Steinberg, Frank Budinsky, Ed Merks, and Marcelo Paternostro. 2008. EMF: eclipse modeling framework. Addison-Wesley."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3241744"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69100-6_6"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE5003.2020.00044"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/2349018"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2521368"},{"volume-title":"Unit Testing for Domain-Specific Languages","author":"Wu Hui","key":"e_1_3_2_1_50_1","unstructured":"Hui Wu , Jeff Gray , and Marjan Mernik . 2009. Unit Testing for Domain-Specific Languages . In Domain-Specific Languages, Walid Mohamed Taha (Ed.). Springer , 125\u2013147. Hui Wu, Jeff Gray, and Marjan Mernik. 2009. Unit Testing for Domain-Specific Languages. In Domain-Specific Languages, Walid Mohamed Taha (Ed.). Springer, 125\u2013147."}],"event":{"name":"SLE '22: 15th ACM SIGPLAN International Conference on Software Language Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Auckland New Zealand","acronym":"SLE '22"},"container-title":["Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3567512.3567532","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3567512.3567532","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:47Z","timestamp":1750286627000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3567512.3567532"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,29]]},"references-count":50,"alternative-id":["10.1145\/3567512.3567532","10.1145\/3567512"],"URL":"https:\/\/doi.org\/10.1145\/3567512.3567532","relation":{},"subject":[],"published":{"date-parts":[[2022,11,29]]},"assertion":[{"value":"2022-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}