Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev
Verifying atomicity via data independence
ISSTA, 2014.
@inproceedings{ISSTA-2014-ShachamYGABSV,
author = "Ohad Shacham and Eran Yahav and Guy Golan-Gueta and Alex Aiken and Nathan Grasso Bronson and Mooly Sagiv and Martin T. Vechev",
booktitle = "{Proceedings of the 23rd International Symposium on Software Testing and Analysis}",
doi = "10.1145/2610384.2610402",
isbn = "978-1-4503-2645-2",
pages = "26--36",
publisher = "{ACM}",
title = "{Verifying atomicity via data independence}",
year = 2014,
}