@article{kroeningweissenbacher_fac09,
  author = "Daniel Kroening, Georg Weissenbacher",
  doi = "10.1007/s00165-009-0110-2",
  journal = "Formal Aspects of Computing",
  publisher = "Springer",
  title = "Verification and Falsification of Programs with Loops Using Predicate Abstraction",
  url = "http://dx.doi.org/10.1007/s00165-009-0110-2",
  year = "2009",
}