Omen+: a precise dynamic deadlock detector for multithreaded Java libraries

Malavika Samak, Murali Krishna Ramanathan. Omen+: a precise dynamic deadlock detector for multithreaded Java libraries. In Shing-Chi Cheung, Alessandro Orso, Margaret-Anne D. Storey, editors, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014. pages 735-738, ACM, 2014. [doi]

Authors

Malavika Samak

This author has not been identified. Look up 'Malavika Samak' in Google

Murali Krishna Ramanathan

This author has not been identified. Look up 'Murali Krishna Ramanathan' in Google