<?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-01470172</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-20T23:13:58+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations</title>
            <author role="aut">
              <persName>
                <forename type="first">Mariam</forename>
                <surname>Lahami</surname>
              </persName>
              <email type="md5">b33cc01f33886cd6cd99c65294476e56</email>
              <email type="domain">redcad.org</email>
              <idno type="idhal" notation="numeric">1001792</idno>
              <idno type="halauthorid" notation="string">806827-1001792</idno>
              <affiliation ref="#struct-303396"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Moez</forename>
                <surname>Krichen</surname>
              </persName>
              <email type="md5">6c186f6a004c7e177ccbfd2ff43b7c3a</email>
              <email type="domain">redcad.org</email>
              <idno type="idhal" notation="string">moez-krichen</idno>
              <idno type="idhal" notation="numeric">177351</idno>
              <idno type="halauthorid" notation="string">8492-177351</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8873-9755</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=yaX8Tu4AAAAJ&amp;hl=en</idno>
              <affiliation ref="#struct-303396"/>
              <affiliation ref="#struct-485640"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Hajer</forename>
                <surname>Barhoumi</surname>
              </persName>
              <email type="md5">2d69135d1ae91a6a1dbd4e602905c3ba</email>
              <email type="domain">redcad.org</email>
              <idno type="idhal" notation="numeric">1001793</idno>
              <idno type="halauthorid" notation="string">1135077-1001793</idno>
              <affiliation ref="#struct-303396"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mohamed</forename>
                <surname>Jmaiel</surname>
              </persName>
              <email type="md5">1894c4cfa4a74aa9e1f61bd01391a8df</email>
              <email type="domain">enis.rnu.tn</email>
              <idno type="idhal" notation="numeric">856429</idno>
              <idno type="halauthorid" notation="string">335567-856429</idno>
              <affiliation ref="#struct-303396"/>
              <affiliation ref="#struct-1001705"/>
            </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:32:10</date>
              <date type="whenModified">2025-05-28 15:14:04</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-01470172v1/document">
                <date notBefore="2018-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01470172v1/file/385214_1_En_14_Chapter.pdf" id="file-1470172-1538784">
                <date notBefore="2018-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-01470172</idno>
            <idno type="halUri">https://inria.hal.science/hal-01470172</idno>
            <idno type="halBibtex">lahami:hal-01470172</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.224-239, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-25945-1_14"&gt;&amp;#x27E8;10.1007/978-3-319-25945-1_14&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.224-239, &amp;#x27E8;10.1007/978-3-319-25945-1_14&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1470172-1538784"/></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-9447" corresp="IFIP-LNCS">Testing Software and Systems</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 5: Real-Time Systems</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">Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Mariam</forename>
                    <surname>Lahami</surname>
                  </persName>
                  <email type="md5">b33cc01f33886cd6cd99c65294476e56</email>
                  <email type="domain">redcad.org</email>
                  <idno type="idhal" notation="numeric">1001792</idno>
                  <idno type="halauthorid" notation="string">806827-1001792</idno>
                  <affiliation ref="#struct-303396"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Moez</forename>
                    <surname>Krichen</surname>
                  </persName>
                  <email type="md5">6c186f6a004c7e177ccbfd2ff43b7c3a</email>
                  <email type="domain">redcad.org</email>
                  <idno type="idhal" notation="string">moez-krichen</idno>
                  <idno type="idhal" notation="numeric">177351</idno>
                  <idno type="halauthorid" notation="string">8492-177351</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8873-9755</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=yaX8Tu4AAAAJ&amp;hl=en</idno>
                  <affiliation ref="#struct-303396"/>
                  <affiliation ref="#struct-485640"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Hajer</forename>
                    <surname>Barhoumi</surname>
                  </persName>
                  <email type="md5">2d69135d1ae91a6a1dbd4e602905c3ba</email>
                  <email type="domain">redcad.org</email>
                  <idno type="idhal" notation="numeric">1001793</idno>
                  <idno type="halauthorid" notation="string">1135077-1001793</idno>
                  <affiliation ref="#struct-303396"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mohamed</forename>
                    <surname>Jmaiel</surname>
                  </persName>
                  <email type="md5">1894c4cfa4a74aa9e1f61bd01391a8df</email>
                  <email type="domain">enis.rnu.tn</email>
                  <idno type="idhal" notation="numeric">856429</idno>
                  <idno type="halauthorid" notation="string">335567-856429</idno>
                  <affiliation ref="#struct-303396"/>
                  <affiliation ref="#struct-1001705"/>
                </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">224-239</biblScope>
                  <date type="datePub">2015</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-25945-1_14</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <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>This paper presents a model-based black-box testing approach for dynamically adaptive systems. Behavioral models of such systems are formally specified using timed automata. With the aim of obtaining the new test suite and avoiding its regeneration in a cost effective manner, we propose a selective test generation approach. The latter comprises essentially three modules: (1) a model differencing module that detects similarities and differences between the initial and the evolved behavioral models, (2) an old test classification module that identifies reusable and retestable tests from the old test suite, and finally (3) a test generation module that generates new tests covering new behaviors and adapts old tests that failed during animation. To show its efficiency, the proposed technique is illustrated through the Toast application and compared to the classical Regenerate All and Retest All approaches.</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="regroupinstitution" xml:id="struct-303396" status="VALID">
          <idno type="IdRef">109165470</idno>
          <idno type="ISNI">0000000123235644</idno>
          <idno type="ROR">https://ror.org/04d4sd432</idno>
          <idno type="Wikidata">Q540341</idno>
          <orgName>جامعة صفاقس - Université de Sfax - University of Sfax</orgName>
          <date type="start">1986-01-01</date>
          <desc>
            <address>
              <addrLine>Route de l'Aéroport Km 0.5 - BP 1169 .3029 Sfax</addrLine>
              <country key="TN"/>
            </address>
            <ref type="url">http://univ-sfax.tn/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-485640" status="VALID">
          <idno type="ROR">https://ror.org/0403jak37</idno>
          <orgName>Al-Baha University</orgName>
          <date type="start">2017-02-17</date>
          <desc>
            <address>
              <addrLine>Al Bahah Kingdom of Saudi Arabia</addrLine>
              <country key="SA"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1001705" status="VALID">
          <idno type="ROR">https://ror.org/02s48dm85</idno>
          <orgName>Centre de Recherche en Numérique de Sfax</orgName>
          <orgName type="acronym">CRNS</orgName>
          <date type="start">2017-02-17</date>
          <desc>
            <address>
              <addrLine>Digital Research Center of Sfax Technopole of Sfax, PO Box 275, Sakiet Ezzit, 3021 Sfax - Tunisia</addrLine>
              <country key="TN"/>
            </address>
            <ref type="url">http://www.crns.rnrt.tn/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>