<?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-02472608</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-13T10:09:15+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">MBeeTle - un outil pour la génération de tests à-la-volée à l'aide de modèles</title>
            <author role="aut">
              <persName>
                <forename type="first">Julien</forename>
                <surname>Lorrain</surname>
              </persName>
              <idno type="halauthorid">1789308-0</idno>
              <affiliation ref="#struct-866"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Elizabeta</forename>
                <surname>Fourneret</surname>
              </persName>
              <idno type="halauthorid">596003-0</idno>
              <affiliation ref="#struct-239873"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Frédéric</forename>
                <surname>Dadeau</surname>
              </persName>
              <idno type="halauthorid">16574-0</idno>
              <affiliation ref="#struct-866"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Bruno</forename>
                <surname>Legeard</surname>
              </persName>
              <idno type="halauthorid">358664-0</idno>
              <affiliation ref="#struct-866"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>DISC</forename>
                <surname>Femto-st</surname>
              </persName>
              <email type="md5">f4cc9830d6189b2853fa1627b71c8af0</email>
              <email type="domain">femto-st.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2020-04-04 09:39:49</date>
              <date type="whenModified">2026-05-13 03:23:00</date>
              <date type="whenReleased">2020-04-04 09:39:49</date>
              <date type="whenProduced">2016-06-08</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="564294">
                <persName>
                  <forename>DISC</forename>
                  <surname>Femto-st</surname>
                </persName>
                <email type="md5">f4cc9830d6189b2853fa1627b71c8af0</email>
                <email type="domain">femto-st.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02472608</idno>
            <idno type="halUri">https://hal.science/hal-02472608</idno>
            <idno type="halBibtex">lorrain:hal-02472608</idno>
            <idno type="halRefHtml">&lt;i&gt;Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel&lt;/i&gt;, Jun 2016, Besançon, France</idno>
            <idno type="halRef">Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Jun 2016, Besançon, France</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</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="UNIV-BM-THESE">Université de Technologie de Belfort-Montbeliard</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>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="3">National</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="1">Yes</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">MBeeTle - un outil pour la génération de tests à-la-volée à l'aide de modèles</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Julien</forename>
                    <surname>Lorrain</surname>
                  </persName>
                  <idno type="halauthorid">1789308-0</idno>
                  <affiliation ref="#struct-866"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Elizabeta</forename>
                    <surname>Fourneret</surname>
                  </persName>
                  <idno type="halauthorid">596003-0</idno>
                  <affiliation ref="#struct-239873"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Frédéric</forename>
                    <surname>Dadeau</surname>
                  </persName>
                  <idno type="halauthorid">16574-0</idno>
                  <affiliation ref="#struct-866"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Bruno</forename>
                    <surname>Legeard</surname>
                  </persName>
                  <idno type="halauthorid">358664-0</idno>
                  <affiliation ref="#struct-866"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel</title>
                  <date type="start">2016-06-08</date>
                  <date type="end">2016-06-10</date>
                  <settlement>Besançon</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-et">Computer Science [cs]/Emerging Technologies [cs.ET]</classCode>
              <classCode scheme="halDomain" n="info.info-dc">Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]</classCode>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halDomain" n="info.info-iu">Computer Science [cs]/Ubiquitous Computing</classCode>
              <classCode scheme="halDomain" n="info.info-cr">Computer Science [cs]/Cryptography and Security [cs.CR]</classCode>
              <classCode scheme="halDomain" n="info.info-ma">Computer Science [cs]/Multiagent Systems [cs.MA]</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="fr">
              <p>Le Model-Based Testing est une activité permettant, à partir de la modélisation du système sous test (SUT), de générer des tests pour la validation du SUT par rapport aux spécifications de ce système. Cet article présente MBeeTle, un outil de génération de test à-la-volée pour le MBT, ainsi que ses principes et ces stratégies de génération. Il permet la recherche des anomalies profondes et la validation du modèle de test en générant et exécutant des pas de test sur la base d'une approche aléatoire. MBeeTle est présenté avec une expérimentation sur la une norme d'interfaces utilisateurs et logicielles pour les systèmes d'exploitation (POSIX).</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="laboratory" xml:id="struct-239873" status="VALID">
          <orgName>Smartesting</orgName>
          <orgName type="acronym">Smartesting</orgName>
          <desc>
            <address>
              <addrLine>Besançon</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-458810" type="direct"/>
            <relation active="#struct-426438" 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>
      </listOrg>
    </back>
  </text>
</TEI>