- 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",
