Detecting errors in multithreaded programs by generalized predictive analysis of executions. (2005)

by K Sen, G Rosu, G Agha
Venue:In IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS),