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