<?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-00563308</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-26T00:41:17+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Combining Static Analysis and Test Generation for {C} Program Debugging</title>
            <author role="aut">
              <persName>
                <forename type="first">Omar</forename>
                <surname>Chebaro</surname>
              </persName>
              <idno type="idhal" notation="numeric">763790</idno>
              <idno type="halauthorid" notation="string">532111-763790</idno>
              <idno type="IDREF">https://www.idref.fr/140422080</idno>
              <affiliation ref="#struct-866"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nikolai</forename>
                <surname>Kosmatov</surname>
              </persName>
              <email type="md5">830008b3a69177909dc0d876d6adc36b</email>
              <email type="domain">cea.fr</email>
              <idno type="idhal" notation="numeric">940734</idno>
              <idno type="halauthorid" notation="string">707548-940734</idno>
              <affiliation ref="#struct-866"/>
              <affiliation ref="#struct-40202"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alain</forename>
                <surname>Giorgetti</surname>
              </persName>
              <email type="md5">bc5e32bc61ef7713f2b89a3355722bf8</email>
              <email type="domain">univ-fcomte.fr</email>
              <idno type="idhal" notation="string">alain-giorgetti</idno>
              <idno type="idhal" notation="numeric">1457</idno>
              <idno type="halauthorid" notation="string">5410-1457</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0990-9611</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=md_Mx2kAAAAJ</idno>
              <idno type="IDREF">https://www.idref.fr/117818380</idno>
              <idno type="ARXIV">https://arxiv.org/a/giorgetti_a_1</idno>
              <affiliation ref="#struct-866"/>
              <affiliation ref="#struct-189789"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jacques</forename>
                <surname>Julliand</surname>
              </persName>
              <idno type="halauthorid">130182-0</idno>
              <affiliation ref="#struct-866"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Jean-Michel</forename>
                <surname>Caricand</surname>
              </persName>
              <email type="md5">d73628f5ecab6032709af318c451ac38</email>
              <email type="domain">univ-fcomte.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2011-02-04 15:39:42</date>
              <date type="whenModified">2026-05-13 03:21:36</date>
              <date type="whenReleased">2011-02-04 17:14:16</date>
              <date type="whenProduced">2010</date>
              <date type="whenEndEmbargoed">2011-02-04</date>
              <ref type="file" target="https://hal.science/hal-00563308v1/document">
                <date notBefore="2011-02-04"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00563308v1/file/ckgj10_ip.pdf" id="file-563308-630054">
                <date notBefore="2011-02-04"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="137107">
                <persName>
                  <forename>Jean-Michel</forename>
                  <surname>Caricand</surname>
                </persName>
                <email type="md5">d73628f5ecab6032709af318c451ac38</email>
                <email type="domain">univ-fcomte.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00563308</idno>
            <idno type="halUri">https://hal.science/hal-00563308</idno>
            <idno type="halBibtex">chebaro:hal-00563308</idno>
            <idno type="halRefHtml">&lt;i&gt;TAP'10, 4th Int. Conf. on Tests and Proofs&lt;/i&gt;, 2010, Spain. pp.94--100</idno>
            <idno type="halRef">TAP'10, 4th Int. Conf. on Tests and Proofs, 2010, Spain. pp.94--100</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-563308-630054"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CEA">CEA - Commissariat à l'énergie atomique</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="UNIV-BM">Université de Technologie de Belfort-Montbeliard</idno>
            <idno type="stamp" n="ENSMM">Ecole Nationale Supérieure de Mécanique et des Microtechniques</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="UNIV-BM-THESE">Université de Technologie de Belfort-Montbeliard</idno>
            <idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="DRT" corresp="CEA">Direction de la recherche technologique</idno>
            <idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</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="LORIA">Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
            <idno type="stamp" n="LORIA-FM" corresp="LORIA">Department of Formal methods</idno>
            <idno type="stamp" n="LIST" corresp="CEA">Laboratoire d'Intégration des Systèmes et des Technologies</idno>
            <idno type="stamp" n="GS-SPORT-HUMAN-MOVEMENT">Graduate School Sport, Mouvement, Facteurs Humains</idno>
            <idno type="stamp" n="AM2I-UL">Pôle scientifique Automatique, Mathématiques, Informatique et leurs Intéractions de l'Université de Lorraine</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">Combining Static Analysis and Test Generation for {C} Program Debugging</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Omar</forename>
                    <surname>Chebaro</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">763790</idno>
                  <idno type="halauthorid" notation="string">532111-763790</idno>
                  <idno type="IDREF">https://www.idref.fr/140422080</idno>
                  <affiliation ref="#struct-866"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nikolai</forename>
                    <surname>Kosmatov</surname>
                  </persName>
                  <email type="md5">830008b3a69177909dc0d876d6adc36b</email>
                  <email type="domain">cea.fr</email>
                  <idno type="idhal" notation="numeric">940734</idno>
                  <idno type="halauthorid" notation="string">707548-940734</idno>
                  <affiliation ref="#struct-866"/>
                  <affiliation ref="#struct-40202"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alain</forename>
                    <surname>Giorgetti</surname>
                  </persName>
                  <email type="md5">bc5e32bc61ef7713f2b89a3355722bf8</email>
                  <email type="domain">univ-fcomte.fr</email>
                  <idno type="idhal" notation="string">alain-giorgetti</idno>
                  <idno type="idhal" notation="numeric">1457</idno>
                  <idno type="halauthorid" notation="string">5410-1457</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0990-9611</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=md_Mx2kAAAAJ</idno>
                  <idno type="IDREF">https://www.idref.fr/117818380</idno>
                  <idno type="ARXIV">https://arxiv.org/a/giorgetti_a_1</idno>
                  <affiliation ref="#struct-866"/>
                  <affiliation ref="#struct-189789"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jacques</forename>
                    <surname>Julliand</surname>
                  </persName>
                  <idno type="halauthorid">130182-0</idno>
                  <affiliation ref="#struct-866"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">TAP'10, 4th Int. Conf. on Tests and Proofs</title>
                <meeting>
                  <title>TAP'10, 4th Int. Conf. on Tests and Proofs</title>
                  <date type="start">2010</date>
                  <country key="ES">Spain</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">94--100</biblScope>
                  <date type="datePub">2010</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <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>Software validation remains crucial in software development process. Traditionally viewed as separate domains, static and dynamic analysis have complementary strengths and weaknesses and can be both applied to program validation and verification. This paper presents our ongoing work on a tool prototype called SANTE (Static ANalysis and TEsting), implementing a combination of static analysis and structural program tetsting for detection of run-time errors in C programs. First, a static analysis tool (Frama-C) is called to generate alarms when it cannot ensure the absence of run-time errors. Second, these alarms guide a structural test generation tool (PathCrawler) trying to confirm alarms by activating bugs on some test cases. Our experiments on real-life software show that this combination can outperform the use of each technique independently.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-866" status="VALID">
          <idno type="IdRef">152639071</idno>
          <idno type="RNSR">200412232H</idno>
          <idno type="ROR">https://ror.org/004fmxv66</idno>
          <orgName>Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)</orgName>
          <orgName type="acronym">FEMTO-ST</orgName>
          <date type="start">2004-01-01</date>
          <desc>
            <address>
              <addrLine>32 avenue de l'Observatoire 25044 BESANCON CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.femto-st.fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR 6174" active="#struct-300261" type="direct"/>
            <relation active="#struct-300360" type="direct"/>
            <relation name="UMR6174" active="#struct-441569" type="direct"/>
            <relation active="#struct-458810" type="direct"/>
            <relation active="#struct-426438" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-40202" status="OLD">
          <orgName>Laboratoire Sûreté des Logiciels</orgName>
          <orgName type="acronym">LSL</orgName>
          <desc>
            <address>
              <addrLine>Laboratoire Sûreté des Logiciels / Software Safety and Security Laboratory</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation name="DRT/LIST/DILS" active="#struct-528160" type="direct"/>
            <relation name="DRT/LIST/DILS" active="#struct-40217" type="indirect"/>
            <relation name="DRT/LIST" active="#struct-440043" type="indirect"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
            <relation active="#struct-419361" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-189789" status="OLD">
          <idno type="RNSR">200318302K</idno>
          <orgName>Combination of approaches to the security of infinite states systems</orgName>
          <orgName type="acronym">CASSIS</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/cassis</ref>
          </desc>
          <listRelation>
            <relation active="#struct-866" type="direct"/>
            <relation name="UMR 6174" active="#struct-300261" type="indirect"/>
            <relation active="#struct-300360" type="indirect"/>
            <relation name="UMR6174" active="#struct-441569" type="indirect"/>
            <relation active="#struct-458810" type="indirect"/>
            <relation active="#struct-426438" type="indirect"/>
            <relation active="#struct-129671" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-423084" type="direct"/>
            <relation active="#struct-206040" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300261" status="VALID">
          <orgName>Université de Technologie de Belfort-Montbeliard</orgName>
          <orgName type="acronym">UTBM</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300360" status="VALID">
          <idno type="IdRef">201436736</idno>
          <idno type="ROR">https://ror.org/05813w841</idno>
          <orgName>Ecole Nationale Supérieure de Mécanique et des Microtechniques</orgName>
          <orgName type="acronym">ENSMM</orgName>
          <desc>
            <address>
              <addrLine>École Nationale Supérieure de Mécanique et des Microtechniques26, rue de l'épitapheCS 5181325030 BESANÇON CEDEX - FRANCE</addrLine>
              <country key="FR"/>
            </address>
          </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-458810" status="VALID">
          <idno type="IdRef">026403188</idno>
          <idno type="ISNI">0000000121883779</idno>
          <idno type="ROR">https://ror.org/03pcc9z86</idno>
          <orgName>Université Marie et Louis Pasteur</orgName>
          <orgName type="acronym">UMLP</orgName>
          <desc>
            <address>
              <addrLine>1 rue Goudimel25030 Besançon cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.umlp.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-426438" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-426438" status="VALID">
          <idno type="IdRef">200716271</idno>
          <idno type="ISNI">0000 0004 4910 6615</idno>
          <idno type="ROR">https://ror.org/02dn7x778</idno>
          <orgName>Université Bourgogne Franche-Comté [COMUE]</orgName>
          <orgName type="acronym">UBFC</orgName>
          <date type="start">2015-04-01</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>32, avenue de l’observatoire25000 BESANCON</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ubfc.fr</ref>
          </desc>
        </org>
        <org type="department" xml:id="struct-528160" status="VALID">
          <idno type="RNSR">200822623K</idno>
          <orgName>Département Ingénierie Logiciels et Systèmes</orgName>
          <orgName type="acronym">DILS (CEA, LIST)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation name="DRT/LIST/DILS" active="#struct-40217" type="direct"/>
            <relation name="DRT/LIST" active="#struct-440043" type="indirect"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
            <relation active="#struct-419361" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-40217" status="VALID">
          <idno type="IdRef">156836882</idno>
          <idno type="ISNI">0000 0004 0405 1788</idno>
          <idno type="RNSR">200118591H</idno>
          <idno type="ROR">https://ror.org/000dbcc61</idno>
          <idno type="Wikidata">Q30299467</idno>
          <orgName>Laboratoire d'Intégration des Systèmes et des Technologies</orgName>
          <orgName type="acronym">LIST (CEA)</orgName>
          <desc>
            <address>
              <addrLine>DRT/LISTNano-INNOVAvenue de la Vauve91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-list.cea.fr/</ref>
          </desc>
          <listRelation>
            <relation name="DRT/LIST" active="#struct-440043" type="direct"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-440043" status="VALID">
          <idno type="IdRef">067087930</idno>
          <idno type="ISNI">0000000121157881</idno>
          <idno type="RNSR">199018589D</idno>
          <idno type="ROR">https://ror.org/02ggzyd20</idno>
          <idno type="Wikidata">Q30299418</idno>
          <orgName>Direction de Recherche Technologique (CEA)</orgName>
          <orgName type="acronym">DRT (CEA)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.drt-cea.com/</ref>
          </desc>
          <listRelation>
            <relation name="DRT" active="#struct-300016" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300016" status="VALID">
          <idno type="IdRef">026372061</idno>
          <idno type="ISNI">0000000122998025</idno>
          <idno type="ROR">https://ror.org/00jjx8s55</idno>
          <idno type="Wikidata">Q868550</idno>
          <orgName>Commissariat à l'énergie atomique et aux énergies alternatives</orgName>
          <orgName type="acronym">CEA</orgName>
          <desc>
            <address>
              <addrLine>Centre de SaclayCentre de GrenobleCentre de Cadaracheetc</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cea.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-419361" status="VALID">
          <idno type="IdRef">241345251</idno>
          <idno type="ROR">https://ror.org/03xjwb503</idno>
          <orgName>Université Paris-Saclay</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/fr</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-129671" status="VALID">
          <idno type="RNSR">198618246Y</idno>
          <idno type="ROR">https://ror.org/03fcjvn64</idno>
          <orgName>Centre Inria de l'Université de Lorraine</orgName>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/nancy</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </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="department" xml:id="struct-423084" status="VALID">
          <orgName>Department of Formal Methods</orgName>
          <orgName type="acronym">LORIA - FM</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr/en/research/departments/formal-methods/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-206040" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-206040" status="VALID">
          <idno type="IdRef">067077927</idno>
          <idno type="ISNI">0000000121795429</idno>
          <idno type="RNSR">198912571S</idno>
          <idno type="IdUnivLorraine">[UL]RSI--</idno>
          <idno type="ROR">https://ror.org/02vnf0c38</idno>
          <orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
          <orgName type="acronym">LORIA</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation active="#struct-413289" type="direct"/>
            <relation name="UMR7503" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-413289" status="VALID">
          <idno type="IdRef">157040569</idno>
          <idno type="IdUnivLorraine">[UL]100--</idno>
          <idno type="ROR">https://ror.org/04vfs2w97</idno>
          <orgName>Université de Lorraine</orgName>
          <orgName type="acronym">UL</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lorraine.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>