Checking temporal patterns of API usage without code execution

Erick Raelijohn, Michalis Famelis, Houari A. Sahraoui. Checking temporal patterns of API usage without code execution. In 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021. pages 86-96, IEEE, 2021. [doi]

Authors

Erick Raelijohn

This author has not been identified. Look up 'Erick Raelijohn' in Google

Michalis Famelis

This author has not been identified. Look up 'Michalis Famelis' in Google

Houari A. Sahraoui

This author has not been identified. Look up 'Houari A. Sahraoui' in Google