<?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-01643713</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-15T15:08:57+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications</title>
            <author role="aut">
              <persName>
                <forename type="first">Nina</forename>
                <surname>Yevtushenko</surname>
              </persName>
              <email type="md5">6685b986aef0d50f7d819b307d1464dc</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">1023367</idno>
              <idno type="halauthorid" notation="string">236899-1023367</idno>
              <affiliation ref="#struct-308472"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Khaled</forename>
                <surname>El-Fakih</surname>
              </persName>
              <email type="md5">d873fbcaa6622360e26eb16d35eb7a8a</email>
              <email type="domain">aus.edu</email>
              <idno type="idhal" notation="numeric">994816</idno>
              <idno type="halauthorid" notation="string">806825-994816</idno>
              <affiliation ref="#struct-350478"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Anton</forename>
                <surname>Ermakov</surname>
              </persName>
              <email type="md5">38d15aa2d3b7ab7d2e130eb5a41cbc33</email>
              <email type="domain">inbox.ru</email>
              <idno type="idhal" notation="numeric">1023368</idno>
              <idno type="halauthorid" notation="string">1265078-1023368</idno>
              <affiliation ref="#struct-308472"/>
            </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-11-21 15:52:50</date>
              <date type="whenModified">2026-01-09 21:46:02</date>
              <date type="whenReleased">2017-11-21 15:56:01</date>
              <date type="whenProduced">2016-10-17</date>
              <date type="whenEndEmbargoed">2019-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01643713v1/document">
                <date notBefore="2019-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01643713v1/file/419911_1_En_9_Chapter.pdf" id="file-1643713-1686315">
                <date notBefore="2019-01-01"/>
              </ref>
            </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-01643713</idno>
            <idno type="halUri">https://inria.hal.science/hal-01643713</idno>
            <idno type="halBibtex">yevtushenko:hal-01643713</idno>
            <idno type="halRefHtml">&lt;i&gt;28th IFIP International Conference on Testing Software and Systems (ICTSS)&lt;/i&gt;, Oct 2016, Graz, Austria. pp.139-152, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-47443-4_9"&gt;&amp;#x27E8;10.1007/978-3-319-47443-4_9&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.139-152, &amp;#x27E8;10.1007/978-3-319-47443-4_9&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1643713-1686315"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <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-9976" corresp="IFIP-LNCS">Testing Software and Systems (ICTSS 2016)</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 2: Heuristics and Non-determinism in 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">On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Nina</forename>
                    <surname>Yevtushenko</surname>
                  </persName>
                  <email type="md5">6685b986aef0d50f7d819b307d1464dc</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">1023367</idno>
                  <idno type="halauthorid" notation="string">236899-1023367</idno>
                  <affiliation ref="#struct-308472"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Khaled</forename>
                    <surname>El-Fakih</surname>
                  </persName>
                  <email type="md5">d873fbcaa6622360e26eb16d35eb7a8a</email>
                  <email type="domain">aus.edu</email>
                  <idno type="idhal" notation="numeric">994816</idno>
                  <idno type="halauthorid" notation="string">806825-994816</idno>
                  <affiliation ref="#struct-350478"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Anton</forename>
                    <surname>Ermakov</surname>
                  </persName>
                  <email type="md5">38d15aa2d3b7ab7d2e130eb5a41cbc33</email>
                  <email type="domain">inbox.ru</email>
                  <idno type="idhal" notation="numeric">1023368</idno>
                  <idno type="halauthorid" notation="string">1265078-1023368</idno>
                  <affiliation ref="#struct-308472"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>28th IFIP International Conference on Testing Software and Systems (ICTSS)</title>
                  <date type="start">2016-10-17</date>
                  <date type="end">2016-10-19</date>
                  <settlement>Graz</settlement>
                  <country key="AT">Austria</country>
                </meeting>
                <editor>Franz Wotawa</editor>
                <editor>Mihai Nica</editor>
                <editor>Natalia Kushik</editor>
                <imprint>
                  <publisher>Springer International Publishing</publisher>
                  <biblScope unit="serie">Testing Software and Systems</biblScope>
                  <biblScope unit="volume">LNCS-9976</biblScope>
                  <biblScope unit="pp">139-152</biblScope>
                  <date type="datePub">2016</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-47443-4_9</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Adaptive sequence</term>
                <term xml:lang="en">Definitely reachable states</term>
                <term xml:lang="en">Distinguishing test case</term>
                <term xml:lang="en">Test derivation</term>
                <term xml:lang="en">Fault model</term>
                <term xml:lang="en">Reduction relation</term>
                <term xml:lang="en">Nondeterministic 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>A method is proposed for deriving an adaptive checking sequence for a given deterministic implementation of a nondeterministic Finite State Machine (FSM) specification with respect to the reduction relation. The implementation is non-initialized, i.e., there is no reliable reset input. In order to obtain a sequence of reasonable length, in the proposed technique, we consider specifications with adaptive distinguishing test cases and adaptive transfer sequences. In fact, we show how under these considerations we can on-the-fly derive a checking sequence where the head part establishes the one-to-one correspondence between states of the implementation and the specification and if established the second part of the sequence is constructed for checking the one-to-one correspondence between transitions of the implementation and a submachine of the specification FSM. The latter construction appropriately utilizes information from the first part to reach and check intended transitions.</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-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="institution" xml:id="struct-350478" status="VALID">
          <orgName>American University of Sharjah</orgName>
          <desc>
            <address>
              <addrLine>University City, 26666 , Sharjah, UAE</addrLine>
              <country key="AE"/>
            </address>
            <ref type="url">https://www.aus.edu</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>