Arruda, Filipe, 		Barros, Flávia, E 		Sampaio, Augusto.
" Deriving Sound Test Scripts from Requirements Written in a Controlled Natural Language" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (3 dezembro 2025)