Towards a Test Case Generation Tool Based on Functional Requirements. - Daniel David Fernandes; Rita Suzana Pitangueira Maciel (SBQS, 2020)