Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden: VISUFLOW: a debugging environment for static analyses. ICSE (Companion Volume) 2018: 89-92