Memory Leak Analysis by Contradiction.

Maksim Orlovich, Radu Rugina

Browse the full SAS paper archive.