Fast and Precise Application Code Analysis using a Partial Library.

Akshay Utture, Jens Palsberg

Browse the full ICSE paper archive.