Almeida, Rafaela, Sidney Nogueira, & Augusto Sampaio.
" Sound Test Case Generation for Concurrent Mobile Features." <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (2023): 92-109. Web. 17 mai. 2024