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