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