BibTex format
@inproceedings{Deligiannis:2015:10.1109/ASE.2015.30,
author = {Deligiannis, P and Donaldson, AF and Rakamaric, Z},
doi = {10.1109/ASE.2015.30},
pages = {166--177},
publisher = {IEEE},
title = {Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers},
url = {http://dx.doi.org/10.1109/ASE.2015.30},
year = {2015}
}