[{"status":"public","user_id":"15249","volume":49,"page":"4510 - 4525","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","_id":"46816","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>.","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>","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} }","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>","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>.","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>.","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."},"date_updated":"2023-12-04T11:05:26Z","publication_status":"published","intvolume":"        49","title":"Runtime Verification of Crypto APIs: An Empirical Study","year":"2023","author":[{"full_name":"Torres, Adriano","last_name":"Torres","first_name":"Adriano"},{"full_name":"Costa, Pedro","first_name":"Pedro","last_name":"Costa"},{"first_name":"Luis","last_name":"Amaral","full_name":"Amaral, Luis"},{"full_name":"Pastro, Jonata","first_name":"Jonata","last_name":"Pastro"},{"full_name":"Bonifácio, Rodrigo","last_name":"Bonifácio","first_name":"Rodrigo"},{"full_name":"d'Amorim, Marcelo","first_name":"Marcelo","last_name":"d'Amorim"},{"last_name":"Legunsen","first_name":"Owolabi","full_name":"Legunsen, Owolabi"},{"last_name":"Bodden","orcid":"0000-0003-3470-3647","first_name":"Eric","full_name":"Bodden, Eric","id":"59256"},{"last_name":"Dias Canedo","first_name":"Edna","full_name":"Dias Canedo, Edna"}],"publication_identifier":{"issn":["0098-5589","1939-3520","2326-3881"]},"doi":"10.1109/tse.2023.3301660","language":[{"iso":"eng"}],"issue":"10","publication":"IEEE Transactions on Software Engineering","keyword":["Software"],"type":"journal_article","department":[{"_id":"76"}],"date_created":"2023-09-06T07:42:40Z"}]