<?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-00844735</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-19T02:44:13+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Two Flavors in Automated Software Repair: Rigid Repair and Plastic Repair</title>
            <author role="aut">
              <persName>
                <forename type="first">Martin</forename>
                <surname>Monperrus</surname>
              </persName>
              <email type="md5">fdfe88e7b712b161166429a82ca8a133</email>
              <email type="domain">csc.kth.se</email>
              <idno type="idhal" notation="string">martin-monperrus</idno>
              <idno type="idhal" notation="numeric">537</idno>
              <idno type="halauthorid" notation="string">23400-537</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-3505-3383</idno>
              <idno type="IDREF">https://www.idref.fr/129846759</idno>
              <affiliation ref="#struct-56009"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Benoit</forename>
                <surname>Baudry</surname>
              </persName>
              <email type="md5">a3888c0fbc979705e8acd778f34666e9</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="numeric">838700</idno>
              <idno type="halauthorid" notation="string">197041-838700</idno>
              <affiliation ref="#struct-2539"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Martin</forename>
                <surname>Monperrus</surname>
              </persName>
              <email type="md5">60bef1947e13c02e85eb58ac9f9c570f</email>
              <email type="domain">kth.se</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2013-07-15 17:52:27</date>
              <date type="whenModified">2025-03-28 03:12:30</date>
              <date type="whenReleased">2013-07-15 17:52:27</date>
              <date type="whenProduced">2013</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="159508">
                <persName>
                  <forename>Martin</forename>
                  <surname>Monperrus</surname>
                </persName>
                <email type="md5">60bef1947e13c02e85eb58ac9f9c570f</email>
                <email type="domain">kth.se</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00844735</idno>
            <idno type="halUri">https://hal.science/hal-00844735</idno>
            <idno type="halBibtex">monperrus:hal-00844735</idno>
            <idno type="halRefHtml">[Research Report] Dagstuhl Seminar 13061 "Fault Prediction, Localization, and Repair", Schloss Dagstuhl - Leibniz Center for Informatics. 2013, pp.5</idno>
            <idno type="halRef">[Research Report] Dagstuhl Seminar 13061 "Fault Prediction, Localization, and Repair", Schloss Dagstuhl - Leibniz Center for Informatics. 2013, pp.5</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="EC-PARIS">Ecole Centrale Paris</idno>
            <idno type="stamp" n="UNIV-RENNES1">Université de Rennes 1</idno>
            <idno type="stamp" n="UNIV-LILLE3">Université de Lille Sciences humaines et sociales</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INSA-RENNES">Institut National des Sciences Appliquées de Rennes</idno>
            <idno type="stamp" n="INRIA-RENNES">INRIA Rennes - Bretagne Atlantique</idno>
            <idno type="stamp" n="IRISA">Irisa</idno>
            <idno type="stamp" n="INRIA-LILLE">INRIA Lille - Nord Europe</idno>
            <idno type="stamp" n="IRISA_SET">IRISA_SET</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="IRISA-D4">LANGAGE ET GÉNIE LOGICIEL </idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UR1-HAL">Publications labos UR1 dans HAL-Rennes 1</idno>
            <idno type="stamp" n="LARA">LARA</idno>
            <idno type="stamp" n="UR1-MATH-STIC">UR1 - publications Maths-STIC</idno>
            <idno type="stamp" n="UR1-UFR-ISTIC">UFR ISTIC Informatique et électronique</idno>
            <idno type="stamp" n="TEST-UNIV-RENNES">TEST Université de Rennes</idno>
            <idno type="stamp" n="TEST-UR-CSS">TEST Université de Rennes CSS</idno>
            <idno type="stamp" n="UNIV-RENNES">Université de Rennes</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="UR1-MATH-NUM">Pôle UnivRennes - Mathématiques - Numérique </idno>
          </seriesStmt>
          <notesStmt>
            <note type="report" n="6">Research Report</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Two Flavors in Automated Software Repair: Rigid Repair and Plastic Repair</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Martin</forename>
                    <surname>Monperrus</surname>
                  </persName>
                  <email type="md5">fdfe88e7b712b161166429a82ca8a133</email>
                  <email type="domain">csc.kth.se</email>
                  <idno type="idhal" notation="string">martin-monperrus</idno>
                  <idno type="idhal" notation="numeric">537</idno>
                  <idno type="halauthorid" notation="string">23400-537</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-3505-3383</idno>
                  <idno type="IDREF">https://www.idref.fr/129846759</idno>
                  <affiliation ref="#struct-56009"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Benoit</forename>
                    <surname>Baudry</surname>
                  </persName>
                  <email type="md5">a3888c0fbc979705e8acd778f34666e9</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="numeric">838700</idno>
                  <idno type="halauthorid" notation="string">197041-838700</idno>
                  <affiliation ref="#struct-2539"/>
                </author>
              </analytic>
              <monogr>
                <idno type="reportNumber">Dagstuhl Seminar 13061 "Fault Prediction, Localization, and Repair"</idno>
                <imprint>
                  <biblScope unit="pp">5</biblScope>
                  <date type="datePub">2013</date>
                </imprint>
                <authority type="institution">Schloss Dagstuhl - Leibniz Center for Informatics</authority>
              </monogr>
              <ref target="http://www.dagstuhl.de/mat/Files/13/13061/13061.MonperrusMartin.Paper.pdf" type="seeAlso"/>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halOldTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halTreeTypology" n="REPORT.RESREPORT">Reports - Research report</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>In this paper, we discuss two families of automated software repair approaches that we call ''rigid repair'' and ''plastic repair''. We shape the notions of rigid repair and plastic repair around the perception of software correctness. Rigid repair relies on a binary notion of ''bug'' and ''repair''. Plastic repair refers to the plasticity of software, both in terms of correctness and in terms of intrinsic characteristics.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-56009" status="OLD">
          <idno type="RNSR">200818283T</idno>
          <orgName>Adaptive Distributed Applications and Middleware</orgName>
          <orgName type="acronym">ADAM</orgName>
          <date type="end">2015-07-24</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/adam</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2546" type="direct"/>
            <relation active="#struct-92973" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-301700" type="indirect"/>
            <relation name="UMR8022" active="#struct-441569" type="indirect"/>
            <relation active="#struct-104752" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-2539" status="OLD">
          <idno type="RNSR">200118350W</idno>
          <orgName>Reliable and efficient component based software engineering</orgName>
          <orgName type="acronym">TRISKELL</orgName>
          <date type="start">2001-11-01</date>
          <date type="end">2013-12-31</date>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, 35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/triskell</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2494" type="direct"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="ESA6074 / URA227" active="#struct-441569" type="indirect"/>
            <relation active="#struct-419153" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2546" status="OLD">
          <orgName>Laboratoire d'Informatique Fondamentale de Lille</orgName>
          <orgName type="acronym">LIFL</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment M3 59655 Villeneuve d'Ascq Cédex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lifl.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-92973" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-301700" type="direct"/>
            <relation name="UMR8022" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-92973" status="OLD">
          <idno type="IdRef">026404184</idno>
          <idno type="ROR">https://ror.org/0546v5182</idno>
          <orgName>Université de Lille, Sciences et Technologies</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>Cité Scientifique - 59655 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lille1.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301700" status="OLD">
          <idno type="IdRef">026404524</idno>
          <idno type="ISNI">0000000121517701</idno>
          <idno type="ROR">https://ror.org/025b4c754</idno>
          <orgName>Université de Lille, Sciences Humaines et Sociales</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>Domaine universitaire du "Pont de Bois"Rue du Barreau BP 60149 59653 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lille3.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>
        <org type="laboratory" xml:id="struct-104752" status="VALID">
          <idno type="RNSR">200818245B</idno>
          <idno type="ROR">https://ror.org/04eej9726</idno>
          <orgName>Centre Inria de l'Université de Lille</orgName>
          <desc>
            <address>
              <addrLine>Parc Scientifique de la Haute Borne 40, avenue Halley Bât.A, Park Plaza 59650 Villeneuve d'Ascq</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/lille/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2494" status="OLD">
          <orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
          <orgName type="acronym">IRISA</orgName>
          <date type="start">1980-01-01</date>
          <date type="end">1999-12-31</date>
          <desc>
            <address>
              <addrLine>Campus universitaire de Beaulieu - 35042 Rennes</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irisa.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105160" type="direct"/>
            <relation active="#struct-117606" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="ESA6074 / URA227" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-105160" status="VALID">
          <idno type="IdRef">26693823X</idno>
          <idno type="ROR">https://ror.org/015m7wh34</idno>
          <orgName>Université de Rennes</orgName>
          <orgName type="acronym">UR</orgName>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-rennes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-117606" status="VALID">
          <idno type="ROR">https://ror.org/04xaa4j22</idno>
          <orgName>Institut National des Sciences Appliquées - Rennes</orgName>
          <orgName type="acronym">INSA Rennes</orgName>
          <desc>
            <address>
              <addrLine>20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-rennes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-419153" status="VALID">
          <idno type="RNSR">198018249C</idno>
          <idno type="ROR">https://ror.org/04040yw90</idno>
          <orgName>Centre Inria de l'Université de Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/rennes</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>