Runtime safety analysis of multithreaded programs (2003)

by K Sen, G Rosu, G Agha
Venue:In Proceedings of 4th joint European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundationsof Software Engineering(ESEC/FSE 03),ACM