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

Document Versions

Statically checking api protocol conformance with mined multi-object specifications, companion report –Michael Pradel, Ciera Jaspan, Jonathan Aldrich, Thomas R. Gross — 2012