Keshmesh: a tool for detecting and fixing java concurrency bug patterns.

Mohsen Vakilian, Stas Negara, Samira Tasharofi, Ralph E. Johnson

Browse the full OOPSLA paper archive.