Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
@inproceedings{DBLP:conf/kbse/DeligiannisDR15,
author = {Pantazis Deligiannis and
Alastair F. Donaldson and
Zvonimir Rakamaric},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {166-177},
publisher = {{IEEE} Computer Society},
year = {2015},
doi = {10.1109/ASE.2015.30},
}