<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-03815772</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-26T08:17:37+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages</title>
            <author role="aut">
              <persName>
                <forename type="first">Faezeh</forename>
                <surname>Khorram</surname>
              </persName>
              <email type="md5">5c80a3b3c7d6101e0ea68585870884cc</email>
              <email type="domain">imt-atlantique.fr</email>
              <idno type="idhal" notation="string">faezeh-khorram</idno>
              <idno type="idhal" notation="numeric">752398</idno>
              <idno type="halauthorid" notation="string">51143-752398</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=iL0MUYoAAAAJ&amp;hl=en</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5375-8064</idno>
              <affiliation ref="#struct-1088565"/>
              <affiliation ref="#struct-489559"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Erwan</forename>
                <surname>Bousse</surname>
              </persName>
              <email type="md5">c7700b08964ffaaaa2988ad45a19f99d</email>
              <email type="domain">ls2n.fr</email>
              <idno type="idhal" notation="string">erwan-bousse</idno>
              <idno type="idhal" notation="numeric">19730</idno>
              <idno type="halauthorid" notation="string">37299-19730</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0000-9219</idno>
              <idno type="IDREF">https://www.idref.fr/192180851</idno>
              <affiliation ref="#struct-1083366"/>
              <affiliation ref="#struct-1088565"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Antonio</forename>
                <surname>Garmendia</surname>
              </persName>
              <email type="md5">f37f509d208a6eeac8ff9de82ac79c73</email>
              <email type="domain">jku.at</email>
              <idno type="idhal" notation="numeric">1174988</idno>
              <idno type="halauthorid" notation="string">2612845-1174988</idno>
              <affiliation ref="#struct-1099890"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Marie</forename>
                <surname>Mottu</surname>
              </persName>
              <email type="md5">d109245805b2e3fc11995e510f84bb0c</email>
              <email type="domain">univ-nantes.fr</email>
              <idno type="idhal" notation="string">mottu-jm</idno>
              <idno type="idhal" notation="numeric">20958</idno>
              <idno type="halauthorid" notation="string">15007-20958</idno>
              <affiliation ref="#struct-1083366"/>
              <affiliation ref="#struct-1088565"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Gerson</forename>
                <surname>Sunyé</surname>
              </persName>
              <email type="md5">599e163e003930298be4b1ea0443c42f</email>
              <email type="domain">univ-nantes.fr</email>
              <idno type="idhal" notation="string">sunye</idno>
              <idno type="idhal" notation="numeric">2953</idno>
              <idno type="halauthorid" notation="string">9852-2953</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6407-8075</idno>
              <idno type="IDREF">https://www.idref.fr/151750467</idno>
              <affiliation ref="#struct-1083366"/>
              <affiliation ref="#struct-1088565"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Manuel</forename>
                <surname>Wimmer</surname>
              </persName>
              <email type="md5">69a46e8be506a10b440a67ca39b2c5ae</email>
              <email type="domain">jku.at</email>
              <idno type="idhal" notation="numeric">1077807</idno>
              <idno type="halauthorid" notation="string">419353-1077807</idno>
              <affiliation ref="#struct-1099890"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Faezeh</forename>
                <surname>Khorram</surname>
              </persName>
              <email type="md5">5c80a3b3c7d6101e0ea68585870884cc</email>
              <email type="domain">imt-atlantique.fr</email>
            </editor>
            <funder ref="#projeurop-713120"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2022-10-17 11:23:05</date>
              <date type="whenModified">2026-01-19 16:46:20</date>
              <date type="whenReleased">2022-10-19 07:36:47</date>
              <date type="whenProduced">2022-12-06</date>
              <date type="whenEndEmbargoed">2022-10-17</date>
              <ref type="file" target="https://hal.science/hal-03815772v1/document">
                <date notBefore="2022-10-17"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-03815772v1/file/main-CR-authorVersion.pdf" id="file-3815772-3336766">
                <date notBefore="2022-10-17"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="903137">
                <persName>
                  <forename>Faezeh</forename>
                  <surname>Khorram</surname>
                </persName>
                <email type="md5">5c80a3b3c7d6101e0ea68585870884cc</email>
                <email type="domain">imt-atlantique.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03815772</idno>
            <idno type="halUri">https://hal.science/hal-03815772</idno>
            <idno type="halBibtex">khorram:hal-03815772</idno>
            <idno type="halRefHtml">&lt;i&gt;SLE 2022: 15th ACM SIGPLAN International Conference on Software Language Engineering&lt;/i&gt;, Dec 2022, Auckland, New Zealand. pp.235-248, &lt;a target="_blank" href="https://dx.doi.org/10.1145/3567512.3567532"&gt;&amp;#x27E8;10.1145/3567512.3567532&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">SLE 2022: 15th ACM SIGPLAN International Conference on Software Language Engineering, Dec 2022, Auckland, New Zealand. pp.235-248, &amp;#x27E8;10.1145/3567512.3567532&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3815772-3336766"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="EC-NANTES">Ecole Centrale de Nantes</idno>
            <idno type="stamp" n="OPENAIRE">OpenAIRE</idno>
            <idno type="stamp" n="UNAM">l'unam - université nantes angers le mans</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="LS2N">Laboratoire des Sciences du Numérique de Nantes</idno>
            <idno type="stamp" n="LS2N-NAOMOD" corresp="LS2N">LS2N - équipe NaoMod ( Nantes Software Modeling Group)</idno>
            <idno type="stamp" n="LS2N-NAOMOD-IMTA">Equipe Naomod</idno>
            <idno type="stamp" n="IMTA_DAPI">IMT Atlantique - Département automatique, productique et informatique</idno>
            <idno type="stamp" n="LS2N-IMTA">LS2N - IMT Atlantique</idno>
            <idno type="stamp" n="IMT-ATLANTIQUE" corresp="INSTITUT-MINES-TELECOM">IMT-ATLANTIQUE</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="NANTES-UNIVERSITE">Nantes Université</idno>
            <idno type="stamp" n="NANTES-UNIV">Nantes Université</idno>
            <idno type="stamp" n="INSTITUT-MINES-TELECOM">Institut Mines Telecom</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Faezeh</forename>
                    <surname>Khorram</surname>
                  </persName>
                  <email type="md5">5c80a3b3c7d6101e0ea68585870884cc</email>
                  <email type="domain">imt-atlantique.fr</email>
                  <idno type="idhal" notation="string">faezeh-khorram</idno>
                  <idno type="idhal" notation="numeric">752398</idno>
                  <idno type="halauthorid" notation="string">51143-752398</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=iL0MUYoAAAAJ&amp;hl=en</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5375-8064</idno>
                  <affiliation ref="#struct-1088565"/>
                  <affiliation ref="#struct-489559"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Erwan</forename>
                    <surname>Bousse</surname>
                  </persName>
                  <email type="md5">c7700b08964ffaaaa2988ad45a19f99d</email>
                  <email type="domain">ls2n.fr</email>
                  <idno type="idhal" notation="string">erwan-bousse</idno>
                  <idno type="idhal" notation="numeric">19730</idno>
                  <idno type="halauthorid" notation="string">37299-19730</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0000-9219</idno>
                  <idno type="IDREF">https://www.idref.fr/192180851</idno>
                  <affiliation ref="#struct-1083366"/>
                  <affiliation ref="#struct-1088565"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Antonio</forename>
                    <surname>Garmendia</surname>
                  </persName>
                  <email type="md5">f37f509d208a6eeac8ff9de82ac79c73</email>
                  <email type="domain">jku.at</email>
                  <idno type="idhal" notation="numeric">1174988</idno>
                  <idno type="halauthorid" notation="string">2612845-1174988</idno>
                  <affiliation ref="#struct-1099890"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Marie</forename>
                    <surname>Mottu</surname>
                  </persName>
                  <email type="md5">d109245805b2e3fc11995e510f84bb0c</email>
                  <email type="domain">univ-nantes.fr</email>
                  <idno type="idhal" notation="string">mottu-jm</idno>
                  <idno type="idhal" notation="numeric">20958</idno>
                  <idno type="halauthorid" notation="string">15007-20958</idno>
                  <affiliation ref="#struct-1083366"/>
                  <affiliation ref="#struct-1088565"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Gerson</forename>
                    <surname>Sunyé</surname>
                  </persName>
                  <email type="md5">599e163e003930298be4b1ea0443c42f</email>
                  <email type="domain">univ-nantes.fr</email>
                  <idno type="idhal" notation="string">sunye</idno>
                  <idno type="idhal" notation="numeric">2953</idno>
                  <idno type="halauthorid" notation="string">9852-2953</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6407-8075</idno>
                  <idno type="IDREF">https://www.idref.fr/151750467</idno>
                  <affiliation ref="#struct-1083366"/>
                  <affiliation ref="#struct-1088565"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Manuel</forename>
                    <surname>Wimmer</surname>
                  </persName>
                  <email type="md5">69a46e8be506a10b440a67ca39b2c5ae</email>
                  <email type="domain">jku.at</email>
                  <idno type="idhal" notation="numeric">1077807</idno>
                  <idno type="halauthorid" notation="string">419353-1077807</idno>
                  <affiliation ref="#struct-1099890"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering</title>
                <meeting>
                  <title>SLE 2022: 15th ACM SIGPLAN International Conference on Software Language Engineering</title>
                  <date type="start">2022-12-06</date>
                  <date type="end">2022-12-07</date>
                  <settlement>Auckland</settlement>
                  <country key="NZ">New Zealand</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">235–248</biblScope>
                  <date type="datePub">2022-12-01</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1145/3567512.3567532</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-mo">Computer Science [cs]/Modeling and Simulation</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>To test a system efficiently, we need to know how good are the defined test cases and to localize detected faults in the system. Measuring test coverage can address both concerns as it is a popular metric for test quality evaluation and, at the same time, is the foundation of advanced fault localization techniques. However, for Domain-Specific Languages (DSLs), coverage metrics and associated tools are usually manually defined for each DSL representing costly, error-prone, and non-reusable work. To address this problem, we propose a generic coverage computation and fault localization framework for DSLs. Considering a test suite executed on a model conforming to a DSL, we compute a coverage matrix based on three ingredients: the DSL specification, the coverage rules, and the model's execution trace. Using the test execution result and the computed coverage matrix, the framework calculates the suspiciousness-based ranking of the model's elements based on existing spectrum-based techniques to help the user in localizing the model's faults. We provide a tool atop the Eclipse GEMOC Studio and evaluate our approach using four different DSLs, with 297 test cases for 21 models in total.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-1088565" status="VALID">
          <orgName>NaoMod - Nantes Software Modeling Group</orgName>
          <orgName type="acronym">LS2N - équipe NaoMod</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-1088564" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR6004" active="#struct-441569" type="indirect"/>
            <relation active="#struct-481355" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation active="#struct-1086798" type="indirect"/>
            <relation active="#struct-1083366" type="indirect"/>
            <relation active="#struct-1088543" type="indirect"/>
            <relation active="#struct-1083400" type="indirect"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-489559" status="VALID">
          <orgName>Département Automatique, Productique et Informatique</orgName>
          <orgName type="acronym">IMT Atlantique - DAPI</orgName>
          <date type="start">2017-03-21</date>
          <desc>
            <address>
              <addrLine>IMT Atlantique - Campus de Nantes - La Chantrerie - 4, rue Alfred Kastler - CS 20722 - 44307 NANTES Cedex 3</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-1083366" status="VALID">
          <idno type="IdRef">258086599</idno>
          <idno type="ROR">https://ror.org/03gnr7b55</idno>
          <orgName>Nantes Université</orgName>
          <orgName type="acronym">Nantes Univ</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-1099890" status="VALID">
          <idno type="IdRef">080677193</idno>
          <idno type="ISNI">0000000119415140</idno>
          <orgName>University of Linz - Johannes Kepler Universität Linz</orgName>
          <orgName type="acronym">JKU</orgName>
          <date type="start">1966-01-01</date>
          <desc>
            <address>
              <addrLine>Altenberger Straße 694040 Linz, Austria</addrLine>
              <country key="AT"/>
            </address>
            <ref type="url">https://www.jku.at/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-1088564" status="VALID">
          <idno type="IdRef">203637585</idno>
          <idno type="RNSR">201722241F</idno>
          <idno type="ROR">https://ror.org/02snf8m58</idno>
          <orgName>Laboratoire des Sciences du Numérique de Nantes</orgName>
          <orgName type="acronym">LS2N</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <addrLine>Nantes Université – faculté des Sciences et Techniques (FST)2 Chemin de la HoussinièreBP 92208, 44322 Nantes Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ls2n.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR6004" active="#struct-441569" type="direct"/>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation active="#struct-1086798" type="direct"/>
            <relation active="#struct-1083366" type="indirect"/>
            <relation active="#struct-1088543" type="direct"/>
            <relation active="#struct-1083400" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-481355" status="VALID">
          <idno type="IdRef">202743233</idno>
          <idno type="ROR">https://ror.org/030hj3061</idno>
          <orgName>IMT Atlantique</orgName>
          <orgName type="acronym">IMT Atlantique</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -Campus Rennes :  2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt-atlantique.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1086798" status="VALID">
          <idno type="IdRef">03063525X</idno>
          <idno type="ISNI">0000000122039289</idno>
          <idno type="ROR">https://ror.org/03nh7d505</idno>
          <orgName>NANTES UNIVERSITÉ - École Centrale de Nantes</orgName>
          <orgName type="acronym">Nantes Univ - ECN</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <addrLine>1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-nantes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1083366" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1088543" status="VALID">
          <orgName>Nantes université - UFR des Sciences et des Techniques</orgName>
          <orgName type="acronym">Nantes univ -  UFR ST</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <addrLine>2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sciences-techniques.univ-nantes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1083400" type="direct"/>
            <relation active="#struct-1083366" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1083400" status="VALID">
          <orgName>Nantes Université - pôle Sciences et technologie</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://nouvelleuniversite.univ-nantes.fr/les-poles</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1083366" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="europeanProject" xml:id="projeurop-713120" status="VALID">
          <idno type="number">813884</idno>
          <idno type="program">H2020-MSCA-ITN-2018</idno>
          <idno type="call">H2020-MSCA-ITN-2018</idno>
          <orgName>Lowcomote</orgName>
          <desc>Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms</desc>
          <date type="start">2019-01-01</date>
          <date type="end">2023-06-30</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>