@conference{BHKOWZ2010,
  title = "BOOM: Taking boolean program model checking one step further",
  author = "G. Basler, M. Hague, D. Kroening, L. Ong, T. Wahl, and H. Zhao",
  year = "2010",
  booktitle = "TACAS",
}