Automatic Repair of Concurrency Bugs

Created by W.Langdon from gp-bibliography.bib Revision:1.4067

@InProceedings{BradburyJ10,
  author =       "Jeremy S. Bradbury and Kevin Jalbert",
  title =        "Automatic Repair of Concurrency Bugs",
  booktitle =    "Proceedings of the 2nd International Symposium on
                 Search Based Software Engineering (SSBSE '10)",
  year =         "2010",
  editor =       "Massimiliano {Di Penta} and Simon Poulding and 
                 Lionel Briand and John Clark",
  address =      "Benevento, Italy",
  month =        "7-9 " # sep,
  note =         "Fast abstract",
  keywords =     "genetic algorithms, genetic programming, SBSE,
                 concurrency, mutation :poster?",
  URL =          "http://www.ssbse.org/2010/fastabstracts/ssbse2010_fastabstract_04.pdf",
  size =         "2 pages",
  abstract =     "Bugs in concurrent software are difficult to identify
                 and fix since they may only exhibit abnormal behaviour
                 on certain thread interleavings. We propose the use of
                 genetic programming to incrementally create a solution
                 that fixes a concurrency bug automatically. Bugs in a
                 concurrent program are fixed by iteratively mutating
                 the program and evaluating each mutation using a
                 fitness function that compares the mutated program with
                 the previous version. We propose three mutation
                 operators that can fix concurrency bugs: synchronise an
                 unprotected shared resource, expand synchronization
                 regions to include unprotected source code, and
                 interchange nested lock objects.",
  notes =        "GenProg. Focus on deadlock and dead race bugs. Add
                 synchronisation primitives around shared variables.
                 Expand code region protected by existing
                 synchronisation primitives (locks). Swap existing
                 locks. Test based fitness. IBM ConTest. Hill climbing.
                 Mutant chosen according to bug.

                 Fast abstracts not in proceedings?
                 http://www.ssbse.org/2010/program.php
                 http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5633360",
}

Genetic Programming entries for Jeremy S Bradbury Kevin Jalbert

Citations