We use known concurrency bugs to help identify future bugs in deployed software by turning them into bug patterns. Clone detection pattern matching and rule evaluation are used to find bug pattern matches. These matches can be used during testing to target specific thread interleavings instead of examining all executions.
@misc{JB09-CASCON-poster,
Author = {Kevin Jalbert AND Jeremy S. Bradbury},
Howpublished = {In Technology Showcase at the 19th Annual International Conference on Computer Science and Software Engineering (CASCON 2009). Also presented at the poster session of the 2009 Fall Meeting of the Consortium for Software Engineering Research (CSER)},
Month = {Nov.},
Title = {Using Bug Patterns in the Regression Testing of Concurrent Software},
Year = {2009}}
Exhibit Poster: [PDF] Demo Video: [Coming Soon]