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

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