Almeida, R., 		Nogueira, S., & 		Sampaio, A.
2023 dez  4.  Sound Test Case Generation for Concurrent Mobile Features. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :