Fernandes, Daniel, E Maciel, Rita. " Towards a Test Case Generation Tool Based on Functional Requirements" Anais do SimpĆ³sio Brasileiro de Qualidade de Software (SBQS) [Online], (1 dezembro 2020)