Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}