Using Clone Detection to Identify Bugs in Concurrent Software

by Kevin Jalbert, Jeremy S. Bradbury

Abstract

We use clone detection, a technique for finding duplicated source code, and rule evaluation as the foundation for detecting bug patterns in concurrent software. If we can identify a bug pattern as being duplicated then we can localize our regression testing effort to the exploration of interleavings relevant to the potential bug. If the potential bug is indeed an actual bug, then targeting specific thread interleavings instead of examining all possible executions will increase the probability of the bug being detected sooner.

Bibliographic Information [Bibtex format]

@inproceedings{JB10,
Author = {Kevin Jalbert and Jeremy S. Bradbury},
Title = {Using Clone Detection to Identify Bugs in Concurrent Software},
Booktitle = {Proc. of 26th IEEE International Conference on Software Maintenance (ICSM 2010)},
Month = {Sept.},
Year = {2010}}

Paper: [PDF]   Presentation: [PDF]   Poster: [PDF]

Presentation