@inproceedings{gk2004-icfem,
  title = "Counterexample Guided Abstraction Refinement via Program Execution",
  author = "Groce, Alex and Kroening, Daniel",
  year = "2004",
  booktitle = "Proceedings of ICFEM 2004",
  month = "November",
  number = "3308",
  pages = "224--238",
  publisher = "Springer",
  series = "LNCS",
}