@inproceedings{icse2018visuflow,
author = {Lisa Nguyen Quang Do and Stefan Kr\"uger and Patrick Hill and Karim Ali and Eric Bodden},
title = {{VISUFLOW, a Debugging Environment for Static Analyses}},
year = 2018,
booktitle = {International Conference for Software Engineering (ICSE), Tool Demonstrations Track},
keywords = {ATTRACT,ITSECWEBSITE},
url= {https://www.bodden.de/pubs/dkh+18visuflow.pdf}
}