Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis.

Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry

Browse the full ISSRE paper archive.