Checking temporal patterns of API usage without code execution
Published in IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE) • May 1, 2021
NobleIDNI6P45W81R30S76
Authors:,,
Erick Raelijohn
Michalis Famelis
Houari A. Sahraoui
Abstract
In theory, Application Programming Interfaces (APIs) allow developers to write client code that reuses library code without needing to know its internals. In practice, correctly using APIs requires respecting explicit and implicit constraints and usage temporal patterns. Ignoring such patterns could...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!