<?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-01760849</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-21T02:39:49+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">TCE+: An Extension of the TCE Method for Detecting Equivalent Mutants in Java Programs</title>
            <author role="aut">
              <persName>
                <forename type="first">Mahdi</forename>
                <surname>Houshmand</surname>
              </persName>
              <email type="md5">87113700c23d82ddb997482a69a27157</email>
              <email type="domain">mail.um.ac.ir</email>
              <idno type="idhal" notation="numeric">1030381</idno>
              <idno type="halauthorid" notation="string">1344417-1030381</idno>
              <affiliation ref="#struct-563075"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Samad</forename>
                <surname>Paydar</surname>
              </persName>
              <email type="md5">b141d3c4b2b8d46ed4df1da007ddc63b</email>
              <email type="domain">um.ac.ir</email>
              <idno type="idhal" notation="numeric">1030382</idno>
              <idno type="halauthorid" notation="string">1344418-1030382</idno>
              <affiliation ref="#struct-563075"/>
            </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">2018-04-06 17:20:33</date>
              <date type="whenModified">2022-08-25 15:54:07</date>
              <date type="whenReleased">2018-04-06 17:22:24</date>
              <date type="whenProduced">2017-04-26</date>
              <date type="whenEndEmbargoed">2020-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01760849v1/document">
                <date notBefore="2020-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01760849v1/file/459025_1_En_11_Chapter.pdf" id="file-1760849-1793234">
                <date notBefore="2020-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-01760849</idno>
            <idno type="halUri">https://inria.hal.science/hal-01760849</idno>
            <idno type="halBibtex">houshmand:hal-01760849</idno>
            <idno type="halRefHtml">&lt;i&gt;7th International Conference on Fundamentals of Software Engineering (FSEN)&lt;/i&gt;, Apr 2017, Teheran, Iran. pp.164-179, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-68972-2_11"&gt;&amp;#x27E8;10.1007/978-3-319-68972-2_11&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.164-179, &amp;#x27E8;10.1007/978-3-319-68972-2_11&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1760849-1793234"/></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-TC2" corresp="IFIP-TC">IFIP TC 2: Software:Theory and Practice</idno>
            <idno type="stamp" n="IFIP-WG2-2">WG2-2: Formal Description of Programming Concepts</idno>
            <idno type="stamp" n="IFIP-FSEN">IFIP-FSEN</idno>
            <idno type="stamp" n="IFIP-LNCS-10522" corresp="IFIP-LNCS">Fundamentals of Software Engineering</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">TCE+: An Extension of the TCE Method for Detecting Equivalent Mutants in Java Programs</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Mahdi</forename>
                    <surname>Houshmand</surname>
                  </persName>
                  <email type="md5">87113700c23d82ddb997482a69a27157</email>
                  <email type="domain">mail.um.ac.ir</email>
                  <idno type="idhal" notation="numeric">1030381</idno>
                  <idno type="halauthorid" notation="string">1344417-1030381</idno>
                  <affiliation ref="#struct-563075"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Samad</forename>
                    <surname>Paydar</surname>
                  </persName>
                  <email type="md5">b141d3c4b2b8d46ed4df1da007ddc63b</email>
                  <email type="domain">um.ac.ir</email>
                  <idno type="idhal" notation="numeric">1030382</idno>
                  <idno type="halauthorid" notation="string">1344418-1030382</idno>
                  <affiliation ref="#struct-563075"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>7th International Conference on Fundamentals of Software Engineering (FSEN)</title>
                  <date type="start">2017-04-26</date>
                  <date type="end">2017-04-28</date>
                  <settlement>Teheran</settlement>
                  <country key="IR">Iran</country>
                </meeting>
                <editor>Mehdi Dastani</editor>
                <editor>Marjan Sirjani</editor>
                <imprint>
                  <publisher>Springer International Publishing</publisher>
                  <biblScope unit="serie">Fundamentals of Software Engineering</biblScope>
                  <biblScope unit="volume">LNCS-10522</biblScope>
                  <biblScope unit="pp">164-179</biblScope>
                  <date type="datePub">2017</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-68972-2_11</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Java</term>
                <term xml:lang="en">Trivial compiler equivalence</term>
                <term xml:lang="en">Equivalent mutant</term>
                <term xml:lang="en">Mutation testing</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>While mutation testing is considered to be an effective technique in software testing, there are some impediments to its widespread use in industrial projects. One of these challenges is the equivalent mutant problem, and a line of research is dedicated to proposing new methods for addressing this problem. Trivial Compiler Equivalence (TCE) method is recently introduced as a simple technique that actually relies only on the optimizations made by the compiler. It is shown by empirical studies that employing TCE with the gcc compiler results in a fast and effective technique for detecting equivalent mutants in C programs. However, considering the fact that the Java compilers generally do not perform noticeable optimizations, the question is how effectively does TCE perform on Java programs? In this paper, experimental evaluations are discussed which demonstrate that using TCE technique with javac compiler results in very poor performance. As a result, this paper proposes to use the Java obfuscators as the complementary component, because of the optimizations they make. The experimental evaluations confirm that using TCE with the ProGuard obfuscation tool provides an effective and efficient method for detecting equivalent mutants in Java programs.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 2</org>
              <org type="consortium">WG 2.2</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-563075" status="VALID">
          <idno type="ROR">https://ror.org/00g6ka752</idno>
          <orgName>Ferdowsi University of Mashhad</orgName>
          <orgName type="acronym">FUM</orgName>
          <desc>
            <address>
              <addrLine>Mashhad</addrLine>
              <country key="IR"/>
            </address>
            <ref type="url">https://en.um.ac.ir/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>