Koushik Sen, Grigore Rosu, Gul Agha. Runtime safety analysis of multithreaded programs. In Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003. pages 337-346, ACM, 2003. [doi]
Abstract is missing.