Almeida, R., 		Nogueira, S., & 		Sampaio, A.
(2023).
 Sound Test Case Generation for Concurrent Mobile Features.
<em>Proceedings Of The Brazilian Symposium On Formal Methods (SBMF), </em>, 92-109.
Retrieved from <a href="https://sol.sbc.org.br/index.php/sbmf/article/view/28038" target="_new">https://sol.sbc.org.br/index.php/sbmf/article/view/28038</a>