%0 Conference Paper %1 conf/aswec/ClarkeMM15 %A Clarke, David A. W. %A Miller, Tim %A Mendoza, Antonette %B ASWEC (2) %D 2015 %E Kuo, Fei-Ching Diana %E Marshall, Stuart %E Shen, Haifeng %E Stumptner, Markus %E Babar, Muhammad Ali %I ACM %K dblp %P 64-68 %T Using "must" and "may" summaries to detect data races in Java bytecode that does not rely on the synchronized construct. %U http://dblp.uni-trier.de/db/conf/aswec/aswec2015-2.html#ClarkeMM15 %@ 978-1-4503-3796-0

@inproceedings{conf/aswec/ClarkeMM15, added-at = {2019-04-25T00:00:00.000+0200}, author = {Clarke, David A. W. and Miller, Tim and Mendoza, Antonette}, biburl = {https://www.bibsonomy.org/bibtex/2d11e562b00629a1570a521fdad1ebe35/dblp}, booktitle = {ASWEC (2)}, crossref = {conf/aswec/2015-2}, editor = {Kuo, Fei-Ching Diana and Marshall, Stuart and Shen, Haifeng and Stumptner, Markus and Babar, Muhammad Ali}, ee = {https://doi.org/10.1145/2811681.2811694}, interhash = {c9a597cd27bb322d1c8342abd407be5b}, intrahash = {d11e562b00629a1570a521fdad1ebe35}, isbn = {978-1-4503-3796-0}, keywords = {dblp}, pages = {64-68}, publisher = {ACM}, timestamp = {2024-04-09T09:40:57.000+0200}, title = {Using "must" and "may" summaries to detect data races in Java bytecode that does not rely on the synchronized construct.}, url = {http://dblp.uni-trier.de/db/conf/aswec/aswec2015-2.html#ClarkeMM15}, year = 2015 }