Filipe Arruda, Flávia Barros, and Augusto Sampaio. 2025.
 Deriving Sound Test Scripts from Requirements Written in a Controlled Natural Language. In <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, dezembro 03, 2025, Recife/PE, Brasil. SBC, Porto Alegre, Brasil, 101-118.