التفاصيل البيبلوغرافية
| العنوان: |
Checking temporal patterns of API usage without code execution |
| المؤلفون: |
Raelijohn, Erick, Famelis, Michalis, Sahraoui, Houari |
| المصدر: |
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) |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
Full Text Finder