Iterative context bounding for systematic testing of multithreaded programs.

Madanlal Musuvathi Shaz Qadeer

Published in: PLDI (2007)

Keyphrases

context sensitive
neural network
contextual information
automatic programming
databases
upper bound
context aware
qualitative and quantitative
data mining
information systems
optimal solution
test cases
context dependent
iterative methods