VISUFLOW: a debugging environment for static analyses.

Lisa Nguyen Quang Do, Stefan Krger, Patrick Hill, Karim Ali, Eric Bodden

Browse the full ICSE paper archive.