<?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-01470168</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-20T04:57:07+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Inferring Finite State Machines Without Reset Using State Identification Sequences</title>
            <author role="aut">
              <persName>
                <forename type="first">Roland</forename>
                <surname>Groz</surname>
              </persName>
              <email type="md5">1f61196631ceecda4514b47f2f2f4f8f</email>
              <email type="domain">imag.fr</email>
              <idno type="idhal" notation="numeric">944687</idno>
              <idno type="halauthorid" notation="string">143538-944687</idno>
              <affiliation ref="#struct-445543"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Adenilso</forename>
                <surname>Simao</surname>
              </persName>
              <email type="md5">f24b4e87b2afb47c292b0b314727a678</email>
              <email type="domain">icmc.usp.br</email>
              <idno type="idhal" notation="numeric">924273</idno>
              <idno type="halauthorid" notation="string">631006-924273</idno>
              <affiliation ref="#struct-7119"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alexandre</forename>
                <surname>Petrenko</surname>
              </persName>
              <email type="md5">e18890b446a6c52344953c7091c22638</email>
              <email type="domain">crim.ca</email>
              <idno type="idhal" notation="numeric">945096</idno>
              <idno type="halauthorid" notation="string">631005-945096</idno>
              <affiliation ref="#struct-190254"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Catherine</forename>
                <surname>Oriat</surname>
              </persName>
              <email type="md5">139cd2a330ecc18a23121001eca635b2</email>
              <email type="domain">imag.fr</email>
              <idno type="idhal" notation="string">catherine-oriat</idno>
              <idno type="idhal" notation="numeric">829673</idno>
              <idno type="halauthorid" notation="string">102123-829673</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5674-0855</idno>
              <affiliation ref="#struct-445543"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-02-17 10:29:38</date>
              <date type="whenModified">2025-10-16 09:22:09</date>
              <date type="whenReleased">2017-02-17 10:37:06</date>
              <date type="whenProduced">2015-11-23</date>
              <date type="whenEndEmbargoed">2018-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01470168v1/document">
                <date notBefore="2018-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01470168v1/file/385214_1_En_10_Chapter.pdf" id="file-1470168-1538780">
                <date notBefore="2018-01-01"/>
              </ref>
              <ref type="externalLink" target="https://hal.inria.fr/hal-01470168/document"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01470168</idno>
            <idno type="halUri">https://inria.hal.science/hal-01470168</idno>
            <idno type="halBibtex">groz:hal-01470168</idno>
            <idno type="halRefHtml">&lt;i&gt;27th IFIP International Conference on Testing Software and Systems (ICTSS)&lt;/i&gt;, Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.161-177, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-25945-1_10"&gt;&amp;#x27E8;10.1007/978-3-319-25945-1_10&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.161-177, &amp;#x27E8;10.1007/978-3-319-25945-1_10&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1470168-1538780"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="LIG">Laboratoire d'Informatique de Grenoble</idno>
            <idno type="stamp" n="LIG_GLSI_VASCO" corresp="LIG_GLSI">VASCO</idno>
            <idno type="stamp" n="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-WG" corresp="IFIP">Working Groups</idno>
            <idno type="stamp" n="IFIP-TC6" corresp="IFIP-TC">TC 6: Communication Systems</idno>
            <idno type="stamp" n="IFIP-WG6-1" corresp="IFIP-WG">Architectures and Protocols for Distributed Systems</idno>
            <idno type="stamp" n="IFIP-ICTSS">IFIP-ICTSS</idno>
            <idno type="stamp" n="IFIP-LNCS-9447" corresp="IFIP-LNCS">Testing Software and Systems</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 4: Model and System Testing</note>
            <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">Inferring Finite State Machines Without Reset Using State Identification Sequences</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Roland</forename>
                    <surname>Groz</surname>
                  </persName>
                  <email type="md5">1f61196631ceecda4514b47f2f2f4f8f</email>
                  <email type="domain">imag.fr</email>
                  <idno type="idhal" notation="numeric">944687</idno>
                  <idno type="halauthorid" notation="string">143538-944687</idno>
                  <affiliation ref="#struct-445543"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Adenilso</forename>
                    <surname>Simao</surname>
                  </persName>
                  <email type="md5">f24b4e87b2afb47c292b0b314727a678</email>
                  <email type="domain">icmc.usp.br</email>
                  <idno type="idhal" notation="numeric">924273</idno>
                  <idno type="halauthorid" notation="string">631006-924273</idno>
                  <affiliation ref="#struct-7119"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexandre</forename>
                    <surname>Petrenko</surname>
                  </persName>
                  <email type="md5">e18890b446a6c52344953c7091c22638</email>
                  <email type="domain">crim.ca</email>
                  <idno type="idhal" notation="numeric">945096</idno>
                  <idno type="halauthorid" notation="string">631005-945096</idno>
                  <affiliation ref="#struct-190254"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Catherine</forename>
                    <surname>Oriat</surname>
                  </persName>
                  <email type="md5">139cd2a330ecc18a23121001eca635b2</email>
                  <email type="domain">imag.fr</email>
                  <idno type="idhal" notation="string">catherine-oriat</idno>
                  <idno type="idhal" notation="numeric">829673</idno>
                  <idno type="halauthorid" notation="string">102123-829673</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5674-0855</idno>
                  <affiliation ref="#struct-445543"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>27th IFIP International Conference on Testing Software and Systems (ICTSS)</title>
                  <date type="start">2015-11-23</date>
                  <date type="end">2015-11-25</date>
                  <settlement>Sharjah and Dubai</settlement>
                  <country key="AE">United Arab Emirates</country>
                </meeting>
                <editor>Khaled El-Fakih</editor>
                <editor>Gerassimos Barlas</editor>
                <editor>Nina Yevtushenko</editor>
                <imprint>
                  <biblScope unit="serie">Testing Software and Systems</biblScope>
                  <biblScope unit="volume">LNCS-9447</biblScope>
                  <biblScope unit="pp">161-177</biblScope>
                  <date type="datePub">2015</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-25945-1_10</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Testing</term>
                <term xml:lang="en">Model inference</term>
                <term xml:lang="en">Finite state machines</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-ni">Computer Science [cs]/Networking and Internet Architecture [cs.NI]</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>Identifying the (finite state) control structure of a black box system from the traces observed in finite interaction is of great interest for many model-based activities, such as model-based testing or model-driven engineering. There are several inference methods, but all those methods assume that the system can be reset whenever necessary. In this paper, we address the issue of inferring a finite state machine (FSM) that cannot be reset; we propose a method, inspired by FSM-based testing generation methods. We assume classical testing hypotheses, namely that we are given a bound n on the number of states and a set W of characterizing sequences to distinguish states. To the best of our knowledge, this is the first model inference method that does not require resetting the system, and does not require an external oracle to decide on equivalence. The length of the test sequence is polynomial in n and the exponent depends on the cardinal |W| of the characterization set.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 6</org>
              <org type="consortium">WG 6.1</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-445543" status="OLD">
          <idno type="IdRef">188399275</idno>
          <idno type="ROR">https://ror.org/02rx3b187</idno>
          <orgName>Université Grenoble Alpes [2016-2019]</orgName>
          <orgName type="acronym">UGA [2016-2019]</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>38058 Grenoble cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-7119" status="VALID">
          <idno type="ROR">https://ror.org/036rp1748</idno>
          <orgName>Universidade de São Paulo = University of São Paulo</orgName>
          <orgName type="acronym">USP</orgName>
          <date type="start">1934-01-25</date>
          <desc>
            <address>
              <addrLine>Cidade Universitaria - 05508-090 São Paulo</addrLine>
              <country key="BR"/>
            </address>
            <ref type="url">http://www5.usp.br/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-190254" status="VALID">
          <orgName>Centre de Recherche Informatique de Montréal = Computer Research Institute of Montréal</orgName>
          <orgName type="acronym">CRIM</orgName>
          <desc>
            <address>
              <addrLine>405, avenue Ogilvy, bureau 101 Montréal (Québec) H3N 1M3</addrLine>
              <country key="CA"/>
            </address>
            <ref type="url">http://www.crim.ca/fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>