Runtime safety analysis of multithreaded programs. (2003)

by K Sen, G Rosu, G Agha
Venue:In ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE),