<?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-01482412</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-23T09:45:58+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems</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">Fairouz</forename>
                <surname>Fakhfakh</surname>
              </persName>
              <email type="md5">70f822a9626b62b5c17224c5cad7362c</email>
              <email type="domain">redcad.org</email>
              <idno type="idhal" notation="numeric">1003395</idno>
              <idno type="halauthorid" notation="string">1144023-1003395</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"/>
            </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"/>
            </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-03-03 15:17:43</date>
              <date type="whenModified">2025-05-28 15:14:04</date>
              <date type="whenReleased">2017-03-03 15:25:07</date>
              <date type="whenProduced">2012-11-19</date>
              <date type="whenEndEmbargoed">2015-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01482412v1/document">
                <date notBefore="2015-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01482412v1/file/978-3-642-34691-0_7_Chapter.pdf" id="file-1482412-1547794">
                <date notBefore="2015-01-01"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-34691-0_7.pdf"/>
            </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-01482412</idno>
            <idno type="halUri">https://inria.hal.science/hal-01482412</idno>
            <idno type="halBibtex">lahami:hal-01482412</idno>
            <idno type="halRefHtml">&lt;i&gt;24th International Conference on Testing Software and Systems (ICTSS)&lt;/i&gt;, Nov 2012, Aalborg, Denmark. pp.71-86, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-34691-0_7"&gt;&amp;#x27E8;10.1007/978-3-642-34691-0_7&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.71-86, &amp;#x27E8;10.1007/978-3-642-34691-0_7&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1482412-1547794"/></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-7641" corresp="IFIP-LNCS">Testing Software and Systems</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 3: Test Frameworks for Distributed 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">Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems</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">Fairouz</forename>
                    <surname>Fakhfakh</surname>
                  </persName>
                  <email type="md5">70f822a9626b62b5c17224c5cad7362c</email>
                  <email type="domain">redcad.org</email>
                  <idno type="idhal" notation="numeric">1003395</idno>
                  <idno type="halauthorid" notation="string">1144023-1003395</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"/>
                </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"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>24th International Conference on Testing Software and Systems (ICTSS)</title>
                  <date type="start">2012-11-19</date>
                  <date type="end">2012-11-21</date>
                  <settlement>Aalborg</settlement>
                  <country key="DK">Denmark</country>
                </meeting>
                <editor>Brian Nielsen</editor>
                <editor>Carsten Weise</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Testing Software and Systems</biblScope>
                  <biblScope unit="volume">LNCS-7641</biblScope>
                  <biblScope unit="pp">71-86</biblScope>
                  <date type="datePub">2012</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-34691-0_7</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>Today, adaptable and distributed component based systems need to be checked and validated in order to ensure their correctness and trustworthiness when dynamic changes occur. Traditional testing techniques can not be used since they are applied during the development phase. Therefore, runtime testing is emerging as a novel solution for the validation of highly dynamic systems at runtime. In this paper, we illustrate how a platform independent test system based on the TTCN-3 standard can be used to execute runtime tests. The proposed test system is called TT4RT: TTCN-3 test system for Runtime Testing. A case study in the telemedicine field is used as an illustration to show the relevance of the proposed test system.</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>
      </listOrg>
    </back>
  </text>
</TEI>