Runtime Verification of Crypto APIs: An Empirical Study Torres, Adriano Costa, Pedro Amaral, Luis Pastro, Jonata Bonifácio, Rodrigo d'Amorim, Marcelo Legunsen, Owolabi Bodden, Eric Dias Canedo, Edna Software Institute of Electrical and Electronics Engineers (IEEE) 2023 info:eu-repo/semantics/article doc-type:article text http://purl.org/coar/resource_type/c_6501 https://ris.uni-paderborn.de/record/46816 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> eng info:eu-repo/semantics/altIdentifier/doi/10.1109/tse.2023.3301660 info:eu-repo/semantics/altIdentifier/issn/0098-5589 info:eu-repo/semantics/altIdentifier/issn/1939-3520 info:eu-repo/semantics/altIdentifier/issn/2326-3881 info:eu-repo/semantics/closedAccess