Automated Inference of Library Specifications for Source-Sink Property Verification.

Haiyan Zhu, Thomas Dillig, Isil Dillig

Browse the full APLAS paper archive.