<?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-00341964</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-01T16:08:10+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Testing from algebraic specifications: test data set selection by unfolding axioms</title>
            <author role="aut">
              <persName>
                <forename type="first">Marc</forename>
                <surname>Aiguier</surname>
              </persName>
              <email type="md5">d3e94459f59500b917356885e15c2625</email>
              <email type="domain">ibisc.univ-evry.fr</email>
              <idno type="idhal" notation="string">marc-aiguier</idno>
              <idno type="idhal" notation="numeric">1033739</idno>
              <idno type="halauthorid" notation="string">366486-1033739</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0154-0909</idno>
              <idno type="IDREF">https://www.idref.fr/068446748</idno>
              <idno type="VIAF">https://viaf.org/viaf/162199892</idno>
              <idno type="ISNI">http://isni.org/isni/0000000111547667</idno>
              <affiliation ref="#struct-82587"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Agnès</forename>
                <surname>Arnould</surname>
              </persName>
              <email type="md5">49cc4894eab6fd54b67848cef2cf17fe</email>
              <email type="domain">univ-poitiers.fr</email>
              <idno type="idhal" notation="string">agnes-arnould</idno>
              <idno type="idhal" notation="numeric">7904</idno>
              <idno type="halauthorid" notation="string">19097-7904</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-2075-1533</idno>
              <idno type="IDREF">https://www.idref.fr/166621226</idno>
              <idno type="VIAF">https://viaf.org/viaf/298456548</idno>
              <idno type="ISNI">http://isni.org/isni/0000000402521790</idno>
              <affiliation ref="#struct-1694"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Clément</forename>
                <surname>Boin</surname>
              </persName>
              <email type="md5">abae3f52166a1c1939e5c6a6fd01b45d</email>
              <email type="domain">ibisc.univ-evry.fr</email>
              <idno type="idhal" notation="numeric">856033</idno>
              <idno type="halauthorid" notation="string">366487-856033</idno>
              <idno type="IDREF">https://www.idref.fr/120779307</idno>
              <idno type="VIAF">https://viaf.org/viaf/191859332</idno>
              <idno type="ISNI">http://isni.org/isni/0000000357046221</idno>
              <affiliation ref="#struct-82587"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pascale</forename>
                <surname>Le Gall</surname>
              </persName>
              <email type="md5">5513f4bca5ec36d322086c1037ab3a3a</email>
              <email type="domain">centralesupelec.fr</email>
              <idno type="idhal" notation="string">pascale-le-gall</idno>
              <idno type="idhal" notation="numeric">170929</idno>
              <idno type="halauthorid" notation="string">40654-170929</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8955-6835</idno>
              <idno type="IDREF">https://www.idref.fr/081059310</idno>
              <idno type="VIAF">https://viaf.org/viaf/208139891</idno>
              <affiliation ref="#struct-82587"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Bruno</forename>
                <surname>Marre</surname>
              </persName>
              <email type="md5">271c5906ec21ba2060e1ccdc1d438e34</email>
              <email type="domain">lri.fr</email>
              <idno type="idhal" notation="numeric">856034</idno>
              <idno type="halauthorid" notation="string">366488-856034</idno>
              <affiliation ref="#struct-2544"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Frédéric</forename>
                <surname>Davesne</surname>
              </persName>
              <email type="md5">fbe1d4bbaa9c5be84347d1c31a63a07a</email>
              <email type="domain">univ-evry.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2009-07-19 22:13:03</date>
              <date type="whenModified">2025-04-17 09:48:14</date>
              <date type="whenReleased">2009-07-20 07:52:40</date>
              <date type="whenProduced">2005</date>
              <date type="whenEndEmbargoed">2009-07-19</date>
              <ref type="file" target="https://hal.science/hal-00341964v1/document">
                <date notBefore="2009-07-19"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00341964v1/file/fates05.pdf" id="file-341964-288166">
                <date notBefore="2009-07-19"/>
              </ref>
              <ref type="externalLink" target="http://hal.archives-ouvertes.fr/docs/00/34/19/64/PDF/fates05.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="127748">
                <persName>
                  <forename>Frédéric</forename>
                  <surname>Davesne</surname>
                </persName>
                <email type="md5">fbe1d4bbaa9c5be84347d1c31a63a07a</email>
                <email type="domain">univ-evry.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00341964</idno>
            <idno type="halUri">https://hal.science/hal-00341964</idno>
            <idno type="halBibtex">aiguier:hal-00341964</idno>
            <idno type="halRefHtml">&lt;i&gt;5th International Workshop on Formal Approaches to Testing of Software (FATES 2005)&lt;/i&gt;, 2005, Edinburgh, United Kingdom. pp.203--217, &lt;a target="_blank" href="https://dx.doi.org/10.1007/11759744_14"&gt;&amp;#x27E8;10.1007/11759744_14&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), 2005, Edinburgh, United Kingdom. pp.203--217, &amp;#x27E8;10.1007/11759744_14&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-341964-288166"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="EC-PARIS">Ecole Centrale Paris</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-EVRY">Université d'Evry-Val d'Essonne</idno>
            <idno type="stamp" n="UNIV-PSUD">Université Paris Sud - Paris XI</idno>
            <idno type="stamp" n="UNIV-POITIERS">Université de Poitiers</idno>
            <idno type="stamp" n="IBISC" corresp="UNIV-EVRY">Informatique, Biologie Intégrative et Systèmes Complexes</idno>
            <idno type="stamp" n="IBISC-RMF" corresp="IBISC">Réseaux et Méthodes Formelles</idno>
            <idno type="stamp" n="MAS">Laboratoire Mathématiques Appliquées aux Systèmes</idno>
            <idno type="stamp" n="UMR8623">Laboratoire de Recherche en Informatique</idno>
            <idno type="stamp" n="MICS">Mathématiques et Informatique pour la Complexité et les Systèmes</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="UNIV-PSUD-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris Sud pour Paris Saclay</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">Testing from algebraic specifications: test data set selection by unfolding axioms</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Marc</forename>
                    <surname>Aiguier</surname>
                  </persName>
                  <email type="md5">d3e94459f59500b917356885e15c2625</email>
                  <email type="domain">ibisc.univ-evry.fr</email>
                  <idno type="idhal" notation="string">marc-aiguier</idno>
                  <idno type="idhal" notation="numeric">1033739</idno>
                  <idno type="halauthorid" notation="string">366486-1033739</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0154-0909</idno>
                  <idno type="IDREF">https://www.idref.fr/068446748</idno>
                  <idno type="VIAF">https://viaf.org/viaf/162199892</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000111547667</idno>
                  <affiliation ref="#struct-82587"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Agnès</forename>
                    <surname>Arnould</surname>
                  </persName>
                  <email type="md5">49cc4894eab6fd54b67848cef2cf17fe</email>
                  <email type="domain">univ-poitiers.fr</email>
                  <idno type="idhal" notation="string">agnes-arnould</idno>
                  <idno type="idhal" notation="numeric">7904</idno>
                  <idno type="halauthorid" notation="string">19097-7904</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-2075-1533</idno>
                  <idno type="IDREF">https://www.idref.fr/166621226</idno>
                  <idno type="VIAF">https://viaf.org/viaf/298456548</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000402521790</idno>
                  <affiliation ref="#struct-1694"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Clément</forename>
                    <surname>Boin</surname>
                  </persName>
                  <email type="md5">abae3f52166a1c1939e5c6a6fd01b45d</email>
                  <email type="domain">ibisc.univ-evry.fr</email>
                  <idno type="idhal" notation="numeric">856033</idno>
                  <idno type="halauthorid" notation="string">366487-856033</idno>
                  <idno type="IDREF">https://www.idref.fr/120779307</idno>
                  <idno type="VIAF">https://viaf.org/viaf/191859332</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000357046221</idno>
                  <affiliation ref="#struct-82587"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pascale</forename>
                    <surname>Le Gall</surname>
                  </persName>
                  <email type="md5">5513f4bca5ec36d322086c1037ab3a3a</email>
                  <email type="domain">centralesupelec.fr</email>
                  <idno type="idhal" notation="string">pascale-le-gall</idno>
                  <idno type="idhal" notation="numeric">170929</idno>
                  <idno type="halauthorid" notation="string">40654-170929</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8955-6835</idno>
                  <idno type="IDREF">https://www.idref.fr/081059310</idno>
                  <idno type="VIAF">https://viaf.org/viaf/208139891</idno>
                  <affiliation ref="#struct-82587"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Bruno</forename>
                    <surname>Marre</surname>
                  </persName>
                  <email type="md5">271c5906ec21ba2060e1ccdc1d438e34</email>
                  <email type="domain">lri.fr</email>
                  <idno type="idhal" notation="numeric">856034</idno>
                  <idno type="halauthorid" notation="string">366488-856034</idno>
                  <affiliation ref="#struct-2544"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Proceedings of the 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005)</title>
                <title level="m">Proceedings of the 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005)</title>
                <meeting>
                  <title>5th International Workshop on Formal Approaches to Testing of Software (FATES 2005)</title>
                  <date type="start">2005</date>
                  <settlement>Edinburgh</settlement>
                  <country key="GB">United Kingdom</country>
                </meeting>
                <imprint>
                  <biblScope unit="serie">Lecture Notes in Computer Science</biblScope>
                  <biblScope unit="volume">3997</biblScope>
                  <biblScope unit="pp">203--217</biblScope>
                  <date type="datePub">2005</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/11759744_14</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</classCode>
              <classCode scheme="halDomain" n="info.info-wb">Computer Science [cs]/Web</classCode>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halDomain" n="info.info-ma">Computer Science [cs]/Multiagent Systems [cs.MA]</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>This paper deals with test data set selection from algebraic specifications. Test data sets are generated from selection criteria which are usually defined to cover specification axioms. The unfolding selection criterion consists in covering the input domain of an operation using case analysis. The unfolding procedure can be iterated in order to split input domains of operations into finer subdomains. In this paper we propose to extend an unfolding procedure previously developed by Bruno Marre that could only be performed on very low level, i.e. executable specifications. On the contrary, our new unfolding procedure can be applied to any positive conditional specification. We show that our unfolding procedure is sound (no test is added) and complete (no test is lost) with respect to the starting reference test data set.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-82587" status="OLD">
          <idno type="IdRef">201055902</idno>
          <idno type="RNSR">201019077X</idno>
          <orgName>Informatique, Biologie Intégrative et Systèmes Complexes</orgName>
          <orgName type="acronym">IBISC</orgName>
          <date type="start">2006-01-01</date>
          <date type="end">2007-12-31</date>
          <desc>
            <address>
              <addrLine>40,rue du pelvoux, Courcouronnes 91020 EVRY CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ibisc.univ-evry.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300306" type="direct"/>
            <relation name="FRE2870" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1694" status="OLD">
          <orgName>SIGNAL-IMAGE-COMMUNICATION</orgName>
          <orgName type="acronym">SIC</orgName>
          <desc>
            <address>
              <addrLine>86962 FUTUROSCOPE CEDEX</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-54493" type="direct"/>
            <relation name="FRE2731" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2544" status="OLD">
          <idno type="RNSR">199812948M</idno>
          <orgName>Laboratoire de Recherche en Informatique</orgName>
          <orgName type="acronym">LRI</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>LRI - Bâtiments 650-660 Université Paris-Sud 91405 Orsay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lri.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-92966" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation name="UMR8623" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300306" status="VALID">
          <idno type="IdRef">030820529</idno>
          <idno type="ISNI">0000000121805818</idno>
          <idno type="ROR">https://ror.org/00e96v939</idno>
          <idno type="Wikidata">Q1531014</idno>
          <orgName>Université d'Évry-Val-d'Essonne</orgName>
          <orgName type="acronym">UEVE</orgName>
          <date type="start">1991-07-22</date>
          <desc>
            <address>
              <addrLine>Boulevard François Mitterrand 91025 Evry Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-evry.fr</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-54493" status="VALID">
          <idno type="IdRef">026403765</idno>
          <idno type="ISNI">0000000121606368</idno>
          <idno type="ROR">https://ror.org/04xhy8q59</idno>
          <idno type="Wikidata">Q661056</idno>
          <orgName>Université de Poitiers =  University of Poitiers</orgName>
          <orgName type="acronym">UP</orgName>
          <desc>
            <address>
              <addrLine>15, rue de l'Hôtel Dieu - 86034 Poitiers Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-poitiers.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-92966" status="OLD">
          <idno type="ROR">https://ror.org/028rypz17</idno>
          <orgName>Université Paris-Sud - Paris 11</orgName>
          <orgName type="acronym">UP11</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Bâtiment 300 - 91405 Orsay cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-psud.fr/</ref>
          </desc>
        </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>
      </listOrg>
    </back>
  </text>
</TEI>