Using clone detection to identify bugs in concurrent software

Authors:
Kevin Jalbert;Jeremy S. Bradbury
Affiliations:
Software Quality Research Group, Faculty of Science (Computer Science), University of Ontario Institute of Technology, Oshawa, Canada;Software Quality Research Group, Faculty of Science (Computer Science), University of Ontario Institute of Technology, Oshawa, Canada
Venue:
ICSM '10 Proceedings of the 2010 IEEE International Conference on Software Maintenance
Year:
2010

Citing 0
Cited 1

Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools

Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we propose an active testing approach that uses clone detection and rule evaluation as the foundation for detecting bug patterns in concurrent software. If we can identify a bug pattern as being present then we can localize our testing effort to the exploration of interleavings relevant to the potential bug. Furthermore, if the potential bug is indeed a real bug, then targeting specific thread interleavings instead of examining all possible executions can increase the probability of the bug being detected sooner.