bib: Explainable Static Analysis

@InProceedings{esa18,
  Title = {Explainable Static Analysis},
  Author = {Eric Bodden and Lisa Nguyen Quang Do},
  Booktitle = {Software Engineering 2018 - Explainable Software},
  Year = {2018}
}