Almeida, Rafaela, 		Nogueira, Sidney, E 		Sampaio, Augusto.
" Sound Test Case Generation for Concurrent Mobile Features" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2023)