Incremental upgrade checking by means of interpolation-based function summaries.

Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina

Browse the full FMCAD paper archive.