Automatic Repair of Concurrency Bugs
Created by W.Langdon from
gp-bibliography.bib Revision:1.8028
- @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, genetic
improvement, APR, 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? broken
http://www.ssbse.info/2010/program.php
http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5633360",
- }
Genetic Programming entries for
Jeremy S Bradbury
Kevin Jalbert
Citations