Souza, Diego, Ayla Dantas, and Ewerton Lopes.
" Testing Asynchronous Information Systems with ThreadControl: a Case Study." <em>Proceedings of the 9th Brazilian Symposium on Information Systems,
João Pessoa, 2013</em>. SBC, 2013,  
pp.194-205.