{"_id":"46816","status":"public","year":"2023","user_id":"15249","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","type":"journal_article","keyword":["Software"],"citation":{"mla":"Torres, Adriano, et al. “Runtime Verification of Crypto APIs: An Empirical Study.” <i>IEEE Transactions on Software Engineering</i>, vol. 49, no. 10, Institute of Electrical and Electronics Engineers (IEEE), 2023, pp. 4510–25, doi:<a href=\"https://doi.org/10.1109/tse.2023.3301660\">10.1109/tse.2023.3301660</a>.","chicago":"Torres, Adriano, Pedro Costa, Luis Amaral, Jonata Pastro, Rodrigo Bonifácio, Marcelo d’Amorim, Owolabi Legunsen, Eric Bodden, and Edna Dias Canedo. “Runtime Verification of Crypto APIs: An Empirical Study.” <i>IEEE Transactions on Software Engineering</i> 49, no. 10 (2023): 4510–25. <a href=\"https://doi.org/10.1109/tse.2023.3301660\">https://doi.org/10.1109/tse.2023.3301660</a>.","apa":"Torres, A., Costa, P., Amaral, L., Pastro, J., Bonifácio, R., d’Amorim, M., Legunsen, O., Bodden, E., &#38; Dias Canedo, E. (2023). Runtime Verification of Crypto APIs: An Empirical Study. <i>IEEE Transactions on Software Engineering</i>, <i>49</i>(10), 4510–4525. <a href=\"https://doi.org/10.1109/tse.2023.3301660\">https://doi.org/10.1109/tse.2023.3301660</a>","short":"A. Torres, P. Costa, L. Amaral, J. Pastro, R. Bonifácio, M. d’Amorim, O. Legunsen, E. Bodden, E. Dias Canedo, IEEE Transactions on Software Engineering 49 (2023) 4510–4525.","bibtex":"@article{Torres_Costa_Amaral_Pastro_Bonifácio_d’Amorim_Legunsen_Bodden_Dias Canedo_2023, title={Runtime Verification of Crypto APIs: An Empirical Study}, volume={49}, DOI={<a href=\"https://doi.org/10.1109/tse.2023.3301660\">10.1109/tse.2023.3301660</a>}, number={10}, journal={IEEE Transactions on Software Engineering}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Torres, Adriano and Costa, Pedro and Amaral, Luis and Pastro, Jonata and Bonifácio, Rodrigo and d’Amorim, Marcelo and Legunsen, Owolabi and Bodden, Eric and Dias Canedo, Edna}, year={2023}, pages={4510–4525} }","ieee":"A. Torres <i>et al.</i>, “Runtime Verification of Crypto APIs: An Empirical Study,” <i>IEEE Transactions on Software Engineering</i>, vol. 49, no. 10, pp. 4510–4525, 2023, doi: <a href=\"https://doi.org/10.1109/tse.2023.3301660\">10.1109/tse.2023.3301660</a>.","ama":"Torres A, Costa P, Amaral L, et al. Runtime Verification of Crypto APIs: An Empirical Study. <i>IEEE Transactions on Software Engineering</i>. 2023;49(10):4510-4525. doi:<a href=\"https://doi.org/10.1109/tse.2023.3301660\">10.1109/tse.2023.3301660</a>"},"language":[{"iso":"eng"}],"page":"4510 - 4525","publication":"IEEE Transactions on Software Engineering","date_created":"2023-09-06T07:42:40Z","doi":"10.1109/tse.2023.3301660","publication_status":"published","author":[{"first_name":"Adriano","full_name":"Torres, Adriano","last_name":"Torres"},{"last_name":"Costa","full_name":"Costa, Pedro","first_name":"Pedro"},{"first_name":"Luis","last_name":"Amaral","full_name":"Amaral, Luis"},{"first_name":"Jonata","last_name":"Pastro","full_name":"Pastro, Jonata"},{"full_name":"Bonifácio, Rodrigo","last_name":"Bonifácio","first_name":"Rodrigo"},{"first_name":"Marcelo","full_name":"d'Amorim, Marcelo","last_name":"d'Amorim"},{"full_name":"Legunsen, Owolabi","last_name":"Legunsen","first_name":"Owolabi"},{"orcid":"0000-0003-3470-3647","id":"59256","first_name":"Eric","last_name":"Bodden","full_name":"Bodden, Eric"},{"first_name":"Edna","full_name":"Dias Canedo, Edna","last_name":"Dias Canedo"}],"publication_identifier":{"issn":["0098-5589","1939-3520","2326-3881"]},"volume":49,"department":[{"_id":"76"}],"intvolume":"        49","issue":"10","date_updated":"2023-12-04T11:05:26Z","title":"Runtime Verification of Crypto APIs: An Empirical Study"}