Boosting Path-Sensitive Value Flow Analysis Via Removal of Redundant Summaries.

Yongchao Wang, Yuandao Cai, Charles Zhang

Browse the full ICSE paper archive.