Almeida, Rafaela, Sidney Nogueira, and Augusto Sampaio.
" Sound Test Case Generation for Concurrent Mobile Features." <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais,
Manaus/AM, 2023</em>. SBC, 2023,  
pp.92-109.