A. F. . Milanez, T. L. Massoni, e R. Gheyi, “Detecting and Classifying Nonconformances in Code Contracts with ContractOK”, ECOP, vol. 2, nº 5, mar. 2022.