<?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-01262740</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-20T01:54:55+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Heuristics for deriving adaptive homing and distinguishing sequences for nondeterministic finite state machines</title>
            <author role="aut">
              <persName>
                <forename type="first">Natalia</forename>
                <surname>Kushik</surname>
              </persName>
              <email type="md5">2baf81e2eab784189f8610d98e7979c0</email>
              <email type="domain">gamil.com</email>
              <idno type="idhal" notation="string">natalia-kushik</idno>
              <idno type="idhal" notation="numeric">1026232</idno>
              <idno type="halauthorid" notation="string">683354-1026232</idno>
              <affiliation ref="#struct-95599"/>
              <affiliation ref="#struct-638"/>
              <affiliation ref="#struct-308472"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Husnu</forename>
                <surname>Yenigun</surname>
              </persName>
              <idno type="halauthorid">988729-0</idno>
              <affiliation ref="#struct-127727"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Médiathèque</forename>
                <surname>Télécom SudParis &amp; Institut Mines-Télécom Business School</surname>
              </persName>
              <email type="md5">8d9568058c47dcee2bc21ac2481f44c9</email>
              <email type="domain">imtbs-tsp.eu</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-02-17 10:50:38</date>
              <date type="whenModified">2026-01-21 03:30:06</date>
              <date type="whenReleased">2017-02-17 10:51:48</date>
              <date type="whenProduced">2015-11-23</date>
              <date type="whenEndEmbargoed">2018-01-01</date>
              <ref type="file" target="https://hal.science/hal-01262740v1/document">
                <date notBefore="2018-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01262740v1/file/385214_1_En_15_Chapter.pdf" id="file-1470203-1538800">
                <date notBefore="2018-01-01"/>
              </ref>
              <ref type="externalLink" target="https://hal.archives-ouvertes.fr/hal-01262740/file/385214_1_En_15_Chapter.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="142673">
                <persName>
                  <forename>Médiathèque</forename>
                  <surname>Télécom SudParis &amp; Institut Mines-Télécom Business School</surname>
                </persName>
                <email type="md5">8d9568058c47dcee2bc21ac2481f44c9</email>
                <email type="domain">imtbs-tsp.eu</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01262740</idno>
            <idno type="halUri">https://hal.science/hal-01262740</idno>
            <idno type="halBibtex">kushik:hal-01262740</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.243-248, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-25945-1_15"&gt;&amp;#x27E8;10.1007/978-3-319-25945-1_15&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.243-248, &amp;#x27E8;10.1007/978-3-319-25945-1_15&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1470203-1538800"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="TELECOM-SUDPARIS" corresp="INSTITUT-MINES-TELECOM">Télécom SudParis</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="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="IFIP-ICTSS">IFIP-ICTSS</idno>
            <idno type="stamp" n="IFIP-LNCS-9447" corresp="IFIP-LNCS">Testing Software and Systems</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="INSTITUT-MINES-TELECOM">Institut Mines Telecom</idno>
            <idno type="stamp" n="DEPARTEMENT-DE-MATHEMATIQUES">Collection du Département de Mathématiques</idno>
            <idno type="stamp" n="IP-PARIS-DEPARTEMENT-MATHEMATIQUES">Département de Mathèmatiques</idno>
            <idno type="stamp" n="SAMOVAR">Services répartis, Architectures, Modélisation, Validation, Administration des Réseaux</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 6: Short Papers</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">Heuristics for deriving adaptive homing and distinguishing sequences for nondeterministic finite state machines</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Natalia</forename>
                    <surname>Kushik</surname>
                  </persName>
                  <email type="md5">2baf81e2eab784189f8610d98e7979c0</email>
                  <email type="domain">gamil.com</email>
                  <idno type="idhal" notation="string">natalia-kushik</idno>
                  <idno type="idhal" notation="numeric">1026232</idno>
                  <idno type="halauthorid" notation="string">683354-1026232</idno>
                  <affiliation ref="#struct-95599"/>
                  <affiliation ref="#struct-638"/>
                  <affiliation ref="#struct-308472"/>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Husnu</forename>
                    <surname>Yenigun</surname>
                  </persName>
                  <idno type="halauthorid">988729-0</idno>
                  <affiliation ref="#struct-127727"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">16089</idno>
                <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>
                  <publisher>Springer international publishing</publisher>
                  <biblScope unit="serie">Testing Software and Systems</biblScope>
                  <biblScope unit="volume">LNCS-9447</biblScope>
                  <biblScope unit="pp">243-248</biblScope>
                  <date type="datePub">2015</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-25945-1_15</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Novel heuristics</term>
                <term xml:lang="en">Adaptive distinguishing sequence</term>
                <term xml:lang="en">Adaptive homing sequence</term>
                <term xml:lang="en">Nondeterministic finite state machines</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-dm">Computer Science [cs]/Discrete Mathematics [cs.DM]</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>Distinguishing Sequences (DS) and Homing Sequences (HS) are used for state identification purposes in Finite State Machine (FSM) based testing. For deterministic FSMs, DS and HS related problems are well studied, for both preset and adaptive cases. There are also recent algorithms for checking the existence and constructing Adaptive DS and Adaptive HS for nondeterministic FSMs. However, most of the related problems are proven to be PSPACE-complete, while the worst case height of Adaptive DS and HS is known to be exponential. Therefore, novel heuristics and FSM classes where they can be applied need to be provided for effective derivation of such sequences. In this paper, we present a work in progress on the minimization of Adaptive DS and Adaptive HS for nondeterministic FSMs</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="department" xml:id="struct-95599" status="VALID">
          <orgName>Département Réseaux et Services Multimédia Mobiles</orgName>
          <orgName type="acronym">TSP - RS2M</orgName>
          <desc>
            <address>
              <addrLine>Télécom SudParis - 9 rue Charles Fourier - 91011 Évry cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://rs2m.telecom-sudparis.eu/fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-352124" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-638" status="VALID">
          <idno type="IdRef">281286515</idno>
          <idno type="ISNI">0000000403830480</idno>
          <idno type="RNSR">200319330C</idno>
          <orgName>Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux</orgName>
          <orgName type="acronym">SAMOVAR</orgName>
          <desc>
            <address>
              <addrLine>Télécom Sudparis, 9 rue Charles Fourier -91011 Evry cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://samovar.telecom-sudparis.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-352124" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-308472" status="VALID">
          <idno type="IdRef">262680815</idno>
          <idno type="ISNI">0000 0001 1088 3909</idno>
          <idno type="ROR">https://ror.org/02he2nc27</idno>
          <idno type="Wikidata">Q742494</idno>
          <orgName>National Research Tomsk State University [Tomsk]</orgName>
          <orgName type="acronym">TSU</orgName>
          <date type="start">1878-05-28</date>
          <desc>
            <address>
              <addrLine>Lenina Avenue, 36634050, Tomsk</addrLine>
              <country key="RU"/>
            </address>
            <ref type="url">http://en.tsu.ru/</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="laboratory" xml:id="struct-127727" status="VALID">
          <orgName>Faculty of Engineering and Natural Sciences</orgName>
          <orgName type="acronym">Sabanci University</orgName>
          <desc>
            <address>
              <addrLine>Tuzla İstanbul 34956</addrLine>
              <country key="TR"/>
            </address>
            <ref type="url">http://fens.sabanciuniv.edu/eng/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-474045" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-352124" status="VALID">
          <idno type="IdRef">162347510</idno>
          <idno type="ISNI">0000000406406351</idno>
          <idno type="ROR">https://ror.org/05xvk4r52</idno>
          <idno type="Wikidata">Q43305</idno>
          <orgName>Télécom SudParis</orgName>
          <orgName type="acronym">TSP</orgName>
          <desc>
            <address>
              <addrLine>9 rue Charles Fourier -91011 Evry Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.telecom-sudparis.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
            <relation name="563936" active="#struct-563936" 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="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-474045" status="VALID">
          <idno type="ROR">https://ror.org/03a5qrr21</idno>
          <orgName>Sabanci University [Istanbul]</orgName>
          <date type="start">2016-12-01</date>
          <desc>
            <address>
              <addrLine>Sabancı University. Orta Mahalle, Tuzla 34956  İstanbul</addrLine>
              <country key="TR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>