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