eVolCheck: Incremental Upgrade Checker for C.

Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina

Browse the full TACAS paper archive.