<?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-02019705</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-19T08:56:31+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Model reverse-engineering of Mobile applications with exploration strategies.</title>
            <author role="aut">
              <persName>
                <forename type="first">Sébastien</forename>
                <surname>Salva</surname>
              </persName>
              <email type="md5">3bfd8e84a1d3096112e0c76ff3912d91</email>
              <email type="domain">udamail.fr</email>
              <idno type="idhal" notation="numeric">956471</idno>
              <idno type="halauthorid" notation="string">374341-956471</idno>
              <affiliation ref="#struct-857"/>
              <affiliation ref="#struct-422708"/>
              <affiliation ref="#struct-507927"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Stassia</forename>
                <forename type="middle">R</forename>
                <surname>Zafimiharisoa</surname>
              </persName>
              <email type="md5">ea2f3c16d2918e80bc8231fb9bfa3ff6</email>
              <email type="domain">openium.fr</email>
              <idno type="idhal" notation="numeric">956478</idno>
              <idno type="halauthorid" notation="string">1523500-956478</idno>
              <affiliation ref="#struct-490706"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>sébastien</forename>
                <surname>salva</surname>
              </persName>
              <email type="md5">7da96c8ffe1ef1a7f578b8a85047c7c7</email>
              <email type="domain">uca.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-02-14 16:47:34</date>
              <date type="whenModified">2023-04-22 04:24:11</date>
              <date type="whenReleased">2019-02-19 10:51:37</date>
              <date type="whenProduced">2014-10</date>
              <date type="whenEndEmbargoed">2019-02-14</date>
              <ref type="file" target="https://uca.hal.science/hal-02019705v1/document">
                <date notBefore="2019-02-14"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://uca.hal.science/hal-02019705v1/file/document.pdf" id="file-2019705-2029358">
                <date notBefore="2019-02-14"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="598397">
                <persName>
                  <forename>sébastien</forename>
                  <surname>salva</surname>
                </persName>
                <email type="md5">7da96c8ffe1ef1a7f578b8a85047c7c7</email>
                <email type="domain">uca.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02019705</idno>
            <idno type="halUri">https://uca.hal.science/hal-02019705</idno>
            <idno type="halBibtex">salva:hal-02019705</idno>
            <idno type="halRefHtml">&lt;i&gt;Ninth International Conference on Software Engineering Advances, ICSEA 2014&lt;/i&gt;, Oct 2014, Nice, France</idno>
            <idno type="halRef">Ninth International Conference on Software Engineering Advances, ICSEA 2014, Oct 2014, Nice, France</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2019705-2029358"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="PRES_CLERMONT">Université de Clermont</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-CLERMONT1" corresp="PRES_CLERMONT">Université d'Auvergne - Clermont-Ferrand I</idno>
            <idno type="stamp" n="UNIV-BPCLERMONT" corresp="PRES_CLERMONT">Université Blaise Pascal - Clermont-Ferrand II</idno>
            <idno type="stamp" n="LIMOS" corresp="PRES_CLERMONT">Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes</idno>
            <idno type="stamp" n="CLERMONT-AUVERGNE-INP">Clermont Auvergne INP</idno>
            <idno type="stamp" n="TEST3-HALCNRS">TEST3-HALCNRS</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="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Model reverse-engineering of Mobile applications with exploration strategies.</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Sébastien</forename>
                    <surname>Salva</surname>
                  </persName>
                  <email type="md5">3bfd8e84a1d3096112e0c76ff3912d91</email>
                  <email type="domain">udamail.fr</email>
                  <idno type="idhal" notation="numeric">956471</idno>
                  <idno type="halauthorid" notation="string">374341-956471</idno>
                  <affiliation ref="#struct-857"/>
                  <affiliation ref="#struct-422708"/>
                  <affiliation ref="#struct-507927"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Stassia</forename>
                    <forename type="middle">R</forename>
                    <surname>Zafimiharisoa</surname>
                  </persName>
                  <email type="md5">ea2f3c16d2918e80bc8231fb9bfa3ff6</email>
                  <email type="domain">openium.fr</email>
                  <idno type="idhal" notation="numeric">956478</idno>
                  <idno type="halauthorid" notation="string">1523500-956478</idno>
                  <affiliation ref="#struct-490706"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>Ninth International Conference on Software Engineering Advances, ICSEA 2014</title>
                  <date type="start">2014-10</date>
                  <settlement>Nice</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Android applications</term>
                <term xml:lang="en">STS</term>
                <term xml:lang="en">exploration strategies</term>
                <term xml:lang="en">Automatic testing</term>
                <term xml:lang="en">Model generation</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</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 reverse-engineering approach, combined with automatic testing, for mobile applications that belong to the GUI application category. Our method covers the interfaces of an application to incrementally infer a formal model expressing the navigational paths and states of the application. The main contributions of this paper can be summarised as follows: we propose an original definition of the GUI application model which eases the limitation of the application exploration. Then, we propose an algorithm based upon the Ant Colony Optimisation technique which offers the possibility to parallelise the application exploration and to conceive any application exploration strategy as desired. Finally, our approach is experimented on Android applications and compared to other tools available in the literature.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-857" status="OLD">
          <idno type="IdRef">155645919</idno>
          <idno type="RNSR">200212221E</idno>
          <orgName>Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes</orgName>
          <orgName type="acronym">LIMOS</orgName>
          <date type="start">2000-01-01</date>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>Bât ISIMA Campus des Cézeaux BP 10025 63173 AUBIERE cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.isima.fr/limos/</ref>
          </desc>
          <listRelation>
            <relation name="UMR6158 / FRE2239" active="#struct-205618" type="direct"/>
            <relation active="#struct-300267" type="direct"/>
            <relation active="#struct-322672" type="direct"/>
            <relation name="UMR6158" active="#struct-359750" type="direct"/>
            <relation name="UMR6158" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-422708" status="OLD">
          <idno type="IdRef">196200032</idno>
          <idno type="ROR">https://ror.org/01a8ajp46</idno>
          <orgName>Université Clermont Auvergne [2017-2020]</orgName>
          <orgName type="acronym">UCA  [2017-2020]</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2020-12-31</date>
          <desc>
            <address>
              <addrLine>49, bd François-Mitterrand / CS 60032 / 63001 Clermont-Ferrand Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.uca.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-507927" status="INCOMING">
          <orgName>Institut Universitaire de Technologie d'Aubière</orgName>
          <orgName type="acronym">IUT d'Aubière</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-490706" status="OLD">
          <idno type="IdRef">155645919</idno>
          <idno type="RNSR">200212221E</idno>
          <orgName>Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes</orgName>
          <orgName type="acronym">LIMOS</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2020-12-31</date>
          <desc>
            <address>
              <addrLine>Campus Universitaire des Cézeaux, 1 rue de la Chebarde, TSA 60125 / CS 60026, 63178 Aubière Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://limos.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR6158" active="#struct-359750" type="direct"/>
            <relation name="UMR6158" active="#struct-422708" type="direct"/>
            <relation name="UMR6158" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-205618" status="OLD">
          <orgName>Université Blaise Pascal - Clermont-Ferrand 2</orgName>
          <orgName type="acronym">UBP</orgName>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>34, avenue Carnot - BP 185 / 63006 Clermont-Ferrand cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-bpclermont.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300267" status="OLD">
          <orgName>Université d'Auvergne - Clermont-Ferrand I</orgName>
          <orgName type="acronym">UdA</orgName>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>49, Boulevard François-Mitterrand / CS 60032 / 63001 Clermont-Ferrand Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-clermont1.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-322672" status="OLD">
          <orgName>SIGMA Clermont</orgName>
          <orgName type="acronym">SIGMA Clermont</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2020-12-31</date>
          <desc>
            <address>
              <addrLine>SIGMA Clermont / Campus des Cézeaux  / CS 20265 / 63178 Aubière Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sigma-clermont.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-359750" status="VALID">
          <idno type="IdRef">028028694</idno>
          <orgName>Ecole Nationale Supérieure des Mines de St Etienne</orgName>
          <orgName type="acronym">ENSM ST-ETIENNE</orgName>
          <date type="start">1816-01-01</date>
          <desc>
            <address>
              <addrLine>158 Cour Fauriel, 42100 Saint-Étienne</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.mines-stetienne.fr/</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>
      </listOrg>
    </back>
  </text>
</TEI>