2022. Detecting and Classifying Nonconformances in Code Contracts with ContractOK. Anais do Encontro de Computação do Oeste Potiguar ECOP/UFERSA (ISSN 2526-7574). 2, 5 (Mar. 2022).