@inproceedings{kw2006-cav,
  title = "Counterexamples with Loops for Predicate Abstraction",
  author = "Kroening, Daniel and Weissenbacher, Georg",
  year = "2006",
  booktitle = "Proceedings of CAV 2006",
  isbn = "3-540-37406-X",
  pages = "152--165",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/11817963_16",
  volume = "4144",
  doi = "10.1007/11817963_16",
}