Statically checking api protocol conformance with mined multi-object specifications, companion report (2012)

by Michael Pradel , Ciera Jaspan , Jonathan Aldrich , Thomas R. Gross
Citations:12 - 4 self