@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},
}