@inproceedings{DBLP:conf/icse/CadarD25,
author = {Cristian Cadar and
Alastair F. Donaldson},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Analysing the program analyser},
booktitle = {Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
pages = {765-768},
publisher = {{ACM}},
year = {2016},
doi = {10.1145/2889160.2889206},
}