bib: Debugging Static Analysis

@techreport{2018arXiv180104894N,
   author = {{Nguyen Quang Do}, L. and {Kr{\"u}ger}, S. and {Hill}, P. and {Ali}, K. and {Bodden}, E.},
   title = "{Debugging Static Analysis}",
   journal = {ArXiv e-prints},
   archivePrefix = "arXiv",
   eprint = {1801.04894},
   primaryClass = "cs.SE",
   keywords = {Computer Science - Software Engineering},
   year = 2018,
   month = jan,
   adsurl = {http://adsabs.harvard.edu/abs/2018arXiv180104894N},
   adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}
Advertisements