Fernandes, D., & Maciel, R. (2020). Towards a Test Case Generation Tool Based on Functional Requirements. In Proceedings of the 19th Brazilian Symposium on Software Quality, (pp. 386-391). Porto Alegre: SBC.