“Detecting and Classifying Nonconformances in Code Contracts with ContractOK”, ECOP, vol. 2, no. 5, Mar. 2022, Accessed: Aug. 26, 2025. [Online]. Available: https://revistacaatinga.com.br/index.php/ecop/article/view/11161