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} }