Souza, Diego, 		Dantas, Ayla, AND 		Lopes, Ewerton.
" Testing Asynchronous Information Systems with ThreadControl: a Case Study" <em>Proceedings of the Brazilian Symposium on Information Systems (SBSI)</em> [Online], (22 May 2013)