Incremental False Path Elimination for Static Software Analysis.

Ansgar Fehnker, Ralf Huuck, Sean Seefried

Browse the full ATVA paper archive.