Detecting race conditions in large programs.

Cormac Flanagan Stephen N. Freund

Published in: PASTE (2001)

Keyphrases

sufficient conditions
information systems
bayesian networks
wide range
image processing
web services
expert systems
automatic detection
computer programs
environmental conditions