@article{gcks05,
  title = "Error Explanation with Distance Metrics",
  author = "Groce, Alex and Chaki, Sagar and Kroening, Daniel and Strichman, Ofer",
  year = "2006",
  journal = "Software Tools for Technology Transfer (STTT)",
  month = "June",
  pages = "229--247",
  publisher = "Springer",
  volume = "8",
}