Current challenges in automatic software repair View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2013-06-07

AUTHORS

Claire Le Goues, Stephanie Forrest, Westley Weimer

ABSTRACT

The abundance of defects in existing software systems is unsustainable. Addressing them is a dominant cost of software maintenance, which in turn dominates the life cycle cost of a system. Recent research has made significant progress on the problem of automatic program repair, using techniques such as evolutionary computation, instrumentation and run-time monitoring, and sound synthesis with respect to a specification. This article serves three purposes. First, we review current work on evolutionary computation approaches, focusing on GenProg, which uses genetic programming to evolve a patch to a particular bug. We summarize algorithmic improvements and recent experimental results. Second, we review related work in the rapidly growing subfield of automatic program repair. Finally, we outline important open research challenges that we believe should guide future research in the area. More... »

PAGES

421-443

References to SciGraph publications

  • 2005. A Dynamic Mechanism for Recovering from Buffer Overflow Attacks in INFORMATION SECURITY
  • 2004. Automated Debugging Using Path-Based Weakest Preconditions in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2013-07-28. Software mutational robustness in GENETIC PROGRAMMING AND EVOLVABLE MACHINES
  • 2011. Specification-Based Program Repair Using SAT in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2005. Mining Temporal Specifications for Error Detection in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2011. Detecting and Escaping Infinite Loops with Jolt in ECOOP 2011 – OBJECT-ORIENTED PROGRAMMING
  • 2004. How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution in GENETIC AND EVOLUTIONARY COMPUTATION – GECCO 2004
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s11219-013-9208-0

    DOI

    http://dx.doi.org/10.1007/s11219-013-9208-0

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1015718423


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Virginia, 22904, Charlottesville, VA, USA", 
              "id": "http://www.grid.ac/institutes/grid.27755.32", 
              "name": [
                "University of Virginia, 22904, Charlottesville, VA, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Le Goues", 
            "givenName": "Claire", 
            "id": "sg:person.010362407065.05", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010362407065.05"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of New Mexico, 87131, Albuquerque, NM, USA", 
              "id": "http://www.grid.ac/institutes/grid.266832.b", 
              "name": [
                "University of New Mexico, 87131, Albuquerque, NM, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Forrest", 
            "givenName": "Stephanie", 
            "id": "sg:person.0712103012.64", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0712103012.64"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Virginia, 22904, Charlottesville, VA, USA", 
              "id": "http://www.grid.ac/institutes/grid.27755.32", 
              "name": [
                "University of Virginia, 22904, Charlottesville, VA, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Weimer", 
            "givenName": "Westley", 
            "id": "sg:person.014010553007.40", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014010553007.40"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-19835-9_15", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031651558", 
              "https://doi.org/10.1007/978-3-642-19835-9_15"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-22655-7_28", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009882114", 
              "https://doi.org/10.1007/978-3-642-22655-7_28"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-24721-0_20", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006578554", 
              "https://doi.org/10.1007/978-3-540-24721-0_20"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-31980-1_30", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029933663", 
              "https://doi.org/10.1007/978-3-540-31980-1_30"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11556992_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024002070", 
              "https://doi.org/10.1007/11556992_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-24855-2_155", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008098814", 
              "https://doi.org/10.1007/978-3-540-24855-2_155"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10710-013-9195-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048788048", 
              "https://doi.org/10.1007/s10710-013-9195-8"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2013-06-07", 
        "datePublishedReg": "2013-06-07", 
        "description": "The abundance of defects in existing software systems is unsustainable. Addressing them is a dominant cost of software maintenance, which in turn dominates the life cycle cost of a system. Recent research has made significant progress on the problem of automatic program repair, using techniques such as evolutionary computation, instrumentation and run-time monitoring, and sound synthesis with respect to a specification. This article serves three purposes. First, we review current work on evolutionary computation approaches, focusing on GenProg, which uses genetic programming to evolve a patch to a particular bug. We summarize algorithmic improvements and recent experimental results. Second, we review related work in the rapidly growing subfield of automatic program repair. Finally, we outline important open research challenges that we believe should guide future research in the area.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/s11219-013-9208-0", 
        "inLanguage": "en", 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1136623", 
            "issn": [
              "0963-9314", 
              "1573-1367"
            ], 
            "name": "Software Quality Journal", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "3", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "21"
          }
        ], 
        "keywords": [
          "automatic program repair", 
          "program repair", 
          "run-time monitoring", 
          "important open research challenges", 
          "open research challenges", 
          "automatic software repair", 
          "evolutionary computation approach", 
          "software systems", 
          "particular bug", 
          "software maintenance", 
          "software repair", 
          "evolutionary computation", 
          "algorithmic improvements", 
          "related work", 
          "research challenges", 
          "genetic programming", 
          "dominant cost", 
          "computation approach", 
          "sound synthesis", 
          "experimental results", 
          "abundance of defects", 
          "GenProg", 
          "programming", 
          "bugs", 
          "cost", 
          "computation", 
          "specification", 
          "system", 
          "challenges", 
          "current work", 
          "life cycle cost", 
          "current challenges", 
          "work", 
          "recent research", 
          "cycle cost", 
          "significant progress", 
          "technique", 
          "research", 
          "monitoring", 
          "improvement", 
          "subfields", 
          "instrumentation", 
          "maintenance", 
          "future research", 
          "patches", 
          "results", 
          "purpose", 
          "progress", 
          "respect", 
          "area", 
          "article", 
          "turn", 
          "defects", 
          "synthesis", 
          "repair", 
          "recent experimental results", 
          "abundance", 
          "problem", 
          "approach"
        ], 
        "name": "Current challenges in automatic software repair", 
        "pagination": "421-443", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1015718423"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s11219-013-9208-0"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s11219-013-9208-0", 
          "https://app.dimensions.ai/details/publication/pub.1015718423"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2021-12-01T19:29", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/article/article_611.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/s11219-013-9208-0"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s11219-013-9208-0'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s11219-013-9208-0'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s11219-013-9208-0'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s11219-013-9208-0'


     

    This table displays all metadata directly associated to this object as RDF triples.

    162 TRIPLES      22 PREDICATES      90 URIs      75 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s11219-013-9208-0 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author Ne473deb99fe24040864747dec131ded6
    4 schema:citation sg:pub.10.1007/11556992_1
    5 sg:pub.10.1007/978-3-540-24721-0_20
    6 sg:pub.10.1007/978-3-540-24855-2_155
    7 sg:pub.10.1007/978-3-540-31980-1_30
    8 sg:pub.10.1007/978-3-642-19835-9_15
    9 sg:pub.10.1007/978-3-642-22655-7_28
    10 sg:pub.10.1007/s10710-013-9195-8
    11 schema:datePublished 2013-06-07
    12 schema:datePublishedReg 2013-06-07
    13 schema:description The abundance of defects in existing software systems is unsustainable. Addressing them is a dominant cost of software maintenance, which in turn dominates the life cycle cost of a system. Recent research has made significant progress on the problem of automatic program repair, using techniques such as evolutionary computation, instrumentation and run-time monitoring, and sound synthesis with respect to a specification. This article serves three purposes. First, we review current work on evolutionary computation approaches, focusing on GenProg, which uses genetic programming to evolve a patch to a particular bug. We summarize algorithmic improvements and recent experimental results. Second, we review related work in the rapidly growing subfield of automatic program repair. Finally, we outline important open research challenges that we believe should guide future research in the area.
    14 schema:genre article
    15 schema:inLanguage en
    16 schema:isAccessibleForFree false
    17 schema:isPartOf N3e1ef2d9a6f947b296cc49c58b863f0e
    18 N4880c5aff9714ae3a0aee6a644557f66
    19 sg:journal.1136623
    20 schema:keywords GenProg
    21 abundance
    22 abundance of defects
    23 algorithmic improvements
    24 approach
    25 area
    26 article
    27 automatic program repair
    28 automatic software repair
    29 bugs
    30 challenges
    31 computation
    32 computation approach
    33 cost
    34 current challenges
    35 current work
    36 cycle cost
    37 defects
    38 dominant cost
    39 evolutionary computation
    40 evolutionary computation approach
    41 experimental results
    42 future research
    43 genetic programming
    44 important open research challenges
    45 improvement
    46 instrumentation
    47 life cycle cost
    48 maintenance
    49 monitoring
    50 open research challenges
    51 particular bug
    52 patches
    53 problem
    54 program repair
    55 programming
    56 progress
    57 purpose
    58 recent experimental results
    59 recent research
    60 related work
    61 repair
    62 research
    63 research challenges
    64 respect
    65 results
    66 run-time monitoring
    67 significant progress
    68 software maintenance
    69 software repair
    70 software systems
    71 sound synthesis
    72 specification
    73 subfields
    74 synthesis
    75 system
    76 technique
    77 turn
    78 work
    79 schema:name Current challenges in automatic software repair
    80 schema:pagination 421-443
    81 schema:productId N5db5813185ae43ea884ef041e146b069
    82 N9980285fd7ae433d9a766249d138f810
    83 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015718423
    84 https://doi.org/10.1007/s11219-013-9208-0
    85 schema:sdDatePublished 2021-12-01T19:29
    86 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    87 schema:sdPublisher N96530de27c6545719a1f18080b999787
    88 schema:url https://doi.org/10.1007/s11219-013-9208-0
    89 sgo:license sg:explorer/license/
    90 sgo:sdDataset articles
    91 rdf:type schema:ScholarlyArticle
    92 N3e1ef2d9a6f947b296cc49c58b863f0e schema:issueNumber 3
    93 rdf:type schema:PublicationIssue
    94 N4880c5aff9714ae3a0aee6a644557f66 schema:volumeNumber 21
    95 rdf:type schema:PublicationVolume
    96 N5db5813185ae43ea884ef041e146b069 schema:name dimensions_id
    97 schema:value pub.1015718423
    98 rdf:type schema:PropertyValue
    99 N80433059f42b42d3a028d1a3117d6df2 rdf:first sg:person.0712103012.64
    100 rdf:rest Nd87ed5653ae64df5ab8e8031367238d5
    101 N96530de27c6545719a1f18080b999787 schema:name Springer Nature - SN SciGraph project
    102 rdf:type schema:Organization
    103 N9980285fd7ae433d9a766249d138f810 schema:name doi
    104 schema:value 10.1007/s11219-013-9208-0
    105 rdf:type schema:PropertyValue
    106 Nd87ed5653ae64df5ab8e8031367238d5 rdf:first sg:person.014010553007.40
    107 rdf:rest rdf:nil
    108 Ne473deb99fe24040864747dec131ded6 rdf:first sg:person.010362407065.05
    109 rdf:rest N80433059f42b42d3a028d1a3117d6df2
    110 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    111 schema:name Information and Computing Sciences
    112 rdf:type schema:DefinedTerm
    113 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    114 schema:name Computer Software
    115 rdf:type schema:DefinedTerm
    116 sg:journal.1136623 schema:issn 0963-9314
    117 1573-1367
    118 schema:name Software Quality Journal
    119 schema:publisher Springer Nature
    120 rdf:type schema:Periodical
    121 sg:person.010362407065.05 schema:affiliation grid-institutes:grid.27755.32
    122 schema:familyName Le Goues
    123 schema:givenName Claire
    124 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010362407065.05
    125 rdf:type schema:Person
    126 sg:person.014010553007.40 schema:affiliation grid-institutes:grid.27755.32
    127 schema:familyName Weimer
    128 schema:givenName Westley
    129 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014010553007.40
    130 rdf:type schema:Person
    131 sg:person.0712103012.64 schema:affiliation grid-institutes:grid.266832.b
    132 schema:familyName Forrest
    133 schema:givenName Stephanie
    134 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0712103012.64
    135 rdf:type schema:Person
    136 sg:pub.10.1007/11556992_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024002070
    137 https://doi.org/10.1007/11556992_1
    138 rdf:type schema:CreativeWork
    139 sg:pub.10.1007/978-3-540-24721-0_20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006578554
    140 https://doi.org/10.1007/978-3-540-24721-0_20
    141 rdf:type schema:CreativeWork
    142 sg:pub.10.1007/978-3-540-24855-2_155 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008098814
    143 https://doi.org/10.1007/978-3-540-24855-2_155
    144 rdf:type schema:CreativeWork
    145 sg:pub.10.1007/978-3-540-31980-1_30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029933663
    146 https://doi.org/10.1007/978-3-540-31980-1_30
    147 rdf:type schema:CreativeWork
    148 sg:pub.10.1007/978-3-642-19835-9_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031651558
    149 https://doi.org/10.1007/978-3-642-19835-9_15
    150 rdf:type schema:CreativeWork
    151 sg:pub.10.1007/978-3-642-22655-7_28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009882114
    152 https://doi.org/10.1007/978-3-642-22655-7_28
    153 rdf:type schema:CreativeWork
    154 sg:pub.10.1007/s10710-013-9195-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048788048
    155 https://doi.org/10.1007/s10710-013-9195-8
    156 rdf:type schema:CreativeWork
    157 grid-institutes:grid.266832.b schema:alternateName University of New Mexico, 87131, Albuquerque, NM, USA
    158 schema:name University of New Mexico, 87131, Albuquerque, NM, USA
    159 rdf:type schema:Organization
    160 grid-institutes:grid.27755.32 schema:alternateName University of Virginia, 22904, Charlottesville, VA, USA
    161 schema:name University of Virginia, 22904, Charlottesville, VA, USA
    162 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...