A framework for the static verification of api calls.

Diomidis Spinellis Panagiotis Louridas

Published in: J. Syst. Softw. (2007)

Keyphrases

social networks
cloud computing
lightweight
pattern matching
process model
third party
rapid development