“Detecting and Classifying Nonconformances in Code Contracts with ContractOK”, ECOP, vol. 2, nº 5, mar. 2022, Acesso em: out. 02, 2026. Disponível em: https://periodicos.ufersa.edu.br/index.php/ecop/article/view/11161