• Checking temporal patterns of...

Treffer: Checking temporal patterns of API usage without code execution

Title:
Checking temporal patterns of API usage without code execution
Authors:
Raelijohn, Erick, Famelis, Michalis, Sahraoui, Houari
Source:
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2021 IEEE/ACM 9th International Conference on. :86-96 May, 2021
Relation:
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)
Database:
IEEE Xplore Digital Library