David A. W. Clarke, Tim Miller, Antonette Mendoza. Using "must" and "may" summaries to detect data races in Java bytecode that does not rely on the synchronized construct. In Fei-Ching Diana Kuo, Stuart Marshall, Haifeng Shen, Markus Stumptner, M. Ali Babar, editors, Proceedings of the 24th Australasian Software Engineering Conference, ASWEC 2015, Volume II, Adelaide, SA, Australia, September 28 - October 1, 2015. pages 64-68, ACM, 2015. [doi]
Abstract is missing.