Runtime Verification of Crypto APIs: An Empirical Study. - Adriano Torres; Pedro Henrique Teixeira Costa; Luis Henrique Vieira Amaral; Jonata Pastro; Rodrigo Bonifácio; Marcelo d'Amorim; Owolabi Legunsen; Eric Bodden; Edna Dias Canedo (IEEE Trans. Software Eng., 2023)