Conference Proceedings

Using "must" and "may" summaries to detect data races in Java bytecode that does not rely on the synchronized construct

DAW Clarke, T Miller, A Mendoza

Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference | Published : 2015

DOI: 10.1145/2811681.2811694