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

Michael Pradel Ciera Jaspan Jonathan Aldrich Thomas R. Gross

Published in: ICSE (2012)

Keyphrases

multi object
protocol specification
formal specification
human perception
multiple objects
high level
statistical shape model
source code
reinforcement learning
video sequences
viewpoint
three dimensional