@inproceedings{ks2006-tacas,
  title = "Approximating Predicate Images for Bit-Vector Logic",
  author = "Kroening, Daniel and Sharygina, Natasha",
  year = "2006",
  booktitle = "Proceedings of TACAS 2006",
  pages = "242--256",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "3920",
}