Statically checking API protocol conformance with mined multi-object specifications.

Michael Pradel, Ciera Jaspan, Jonathan Aldrich, Thomas R. Gross

Browse the full ICSE paper archive.