D. Fernandes and R. Maciel. "Towards a Test Case Generation Tool Based on Functional Requirements", in Anais do XIX Simpósio Brasileiro de Qualidade de Software, São Luiz do Maranhão, 2020, pp. 386-391.