Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes.

Steven Arzt, Eric Bodden

Browse the full ICSE paper archive.