@inproceedings{Reger2015rvB,
  author    = {Giles Reger},
  title     = {Suggesting Edits to Explain Failing Traces},
  booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
               Austria, September 22-25, 2015. Proceedings},
  pages     = {287--293},
  year      = {2015},
}