Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay
An effective dynamic analysis for detecting generalized deadlocks
FSE, 2010.
@inproceedings{FSE-2010-JoshiNSG, author = "Pallavi Joshi and Mayur Naik and Koushik Sen and David Gay", booktitle = "{Proceedings of the 18th International Symposium on Foundations of Software Engineering}", doi = "10.1145/1882291.1882339", editor = "Gruia-Catalin Roman and Kevin J. Sullivan", isbn = "978-1-60558-791-2", pages = "327--336", publisher = "{ACM}", title = "{An effective dynamic analysis for detecting generalized deadlocks}", year = 2010, }