Analyzing concurrency bugs using dual slicing.

Dasarath Weeratunge Xiangyu Zhang William N. Sumner Suresh Jagannathan

Published in: ISSTA (2010)

Keyphrases

test cases
database
web services
real world
information retrieval
database systems
source code
software systems
real time
artificial intelligence
computer vision
open source
distributed systems
concurrency control
data flow