<?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-01583918</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:08:02+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Compositional Random Testing Using Extended Symbolic Transition Systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Christian</forename>
                <surname>Schwarzl</surname>
              </persName>
              <email type="md5">009c16138cc74e75d5009d779e2af26c</email>
              <email type="domain">v2c2.at</email>
              <idno type="idhal" notation="numeric">1015955</idno>
              <idno type="halauthorid" notation="string">1220475-1015955</idno>
              <affiliation ref="#struct-469686"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Bernhard</forename>
                <forename type="middle">K.</forename>
                <surname>Aichernig</surname>
              </persName>
              <email type="md5">f59d0d6a492d3b21d9fd6991d772756a</email>
              <email type="domain">ist.tugraz.at</email>
              <idno type="idhal" notation="numeric">869582</idno>
              <idno type="halauthorid" notation="string">1220476-869582</idno>
              <affiliation ref="#struct-65509"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Franz</forename>
                <surname>Wotawa</surname>
              </persName>
              <email type="md5">b64ab0a96f9bac7db681f9973ce61b5d</email>
              <email type="domain">ist.tugraz.at</email>
              <idno type="idhal" notation="numeric">994796</idno>
              <idno type="halauthorid" notation="string">1086257-994796</idno>
              <affiliation ref="#struct-65509"/>
            </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-09-08 10:05:28</date>
              <date type="whenModified">2017-09-08 10:08:39</date>
              <date type="whenReleased">2017-09-08 10:08:39</date>
              <date type="whenProduced">2011-11-07</date>
              <date type="whenEndEmbargoed">2014-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01583918v1/document">
                <date notBefore="2014-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01583918v1/file/978-3-642-24580-0_13_Chapter.pdf" id="file-1583918-1636477">
                <date notBefore="2014-01-01"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-24580-0_13.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-01583918</idno>
            <idno type="halUri">https://inria.hal.science/hal-01583918</idno>
            <idno type="halBibtex">schwarzl:hal-01583918</idno>
            <idno type="halRefHtml">&lt;i&gt;23th International Conference on Testing Software and Systems (ICTSS)&lt;/i&gt;, Nov 2011, Paris, France. pp.179-194, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-24580-0_13"&gt;&amp;#x27E8;10.1007/978-3-642-24580-0_13&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.179-194, &amp;#x27E8;10.1007/978-3-642-24580-0_13&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1583918-1636477"/></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-7019" corresp="IFIP-LNCS">Testing Software and Systems</idno>
          </seriesStmt>
          <notesStmt>
            <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">Compositional Random Testing Using Extended Symbolic Transition Systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Christian</forename>
                    <surname>Schwarzl</surname>
                  </persName>
                  <email type="md5">009c16138cc74e75d5009d779e2af26c</email>
                  <email type="domain">v2c2.at</email>
                  <idno type="idhal" notation="numeric">1015955</idno>
                  <idno type="halauthorid" notation="string">1220475-1015955</idno>
                  <affiliation ref="#struct-469686"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Bernhard</forename>
                    <forename type="middle">K.</forename>
                    <surname>Aichernig</surname>
                  </persName>
                  <email type="md5">f59d0d6a492d3b21d9fd6991d772756a</email>
                  <email type="domain">ist.tugraz.at</email>
                  <idno type="idhal" notation="numeric">869582</idno>
                  <idno type="halauthorid" notation="string">1220476-869582</idno>
                  <affiliation ref="#struct-65509"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Franz</forename>
                    <surname>Wotawa</surname>
                  </persName>
                  <email type="md5">b64ab0a96f9bac7db681f9973ce61b5d</email>
                  <email type="domain">ist.tugraz.at</email>
                  <idno type="idhal" notation="numeric">994796</idno>
                  <idno type="halauthorid" notation="string">1086257-994796</idno>
                  <affiliation ref="#struct-65509"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>23th International Conference on Testing Software and Systems (ICTSS)</title>
                  <date type="start">2011-11-07</date>
                  <date type="end">2011-11-10</date>
                  <settlement>Paris</settlement>
                  <country key="FR">France</country>
                </meeting>
                <editor>Burkhart Wolff</editor>
                <editor>Fatiha Zaïdi</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Testing Software and Systems</biblScope>
                  <biblScope unit="volume">LNCS-7019</biblScope>
                  <biblScope unit="pp">179-194</biblScope>
                  <date type="datePub">2011</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-24580-0_13</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">test case generation</term>
                <term xml:lang="en">concurrent reactive behavior</term>
                <term xml:lang="en">Symbolic transition system</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>The fast growth in complexity of embedded and software enabled systems requires for automated testing strategies to achieve a high system quality. This raise of complexity is often caused by the distribution of functionality over multiple control units and their connection via a network. We define an extended symbolic transition system (ESTS) and their compositional semantics to reflect these new requirements imposed on the test generation methods. The introduced ESTS incorporates timed behavior by transition execution times and delay transitions. Their timeout can be defined either by a constant value or an attribute valuation. Moreover we introduce a communication scheme used to specify the compositional behavior and define a conformance relation based on alternating simulation. Furthermore we use the conformance relation as the basis for a simple random test generation technique to verify the applicability of the presented approach. This formal framework builds the foundation of our UML test case generator.</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-469686" status="VALID">
          <orgName>Virtual Vehicle Research Center</orgName>
          <date type="start">2016-10-27</date>
          <desc>
            <address>
              <addrLine>Inffeldgasse 21/A A-8010 Graz Austria</addrLine>
              <country key="AT"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-65509" status="VALID">
          <idno type="ROR">https://ror.org/00d7xrm67</idno>
          <orgName>Graz University of Technology [Graz]</orgName>
          <orgName type="acronym">TU Graz</orgName>
          <desc>
            <address>
              <addrLine>Rechbauerstr. 12,  8010 Graz</addrLine>
              <country key="AT"/>
            </address>
            <ref type="url">https://www.tugraz.at/en/home/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>