2ndStrike: toward manifesting hidden concurrency typestate bugs.

Qi Gao Wenbin Zhang Zhezhe Chen Mai Zheng Feng Qin

Published in: ASPLOS (2011)

Keyphrases

software systems
database systems
source code
real world
concurrency control
software projects
data flow
hidden information
learning algorithm
computer vision
website
software development
data management
test cases
static analysis
dynamic allocation