SOUZA, Diego; 						DANTAS, Ayla; 						LOPES, Ewerton.
 Testing Asynchronous Information Systems with ThreadControl: a Case Study. <em>In</em>: BRAZILIAN SYMPOSIUM ON INFORMATION SYSTEMS (SBSI), 9.	, 2013, João Pessoa.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2013
.
 p. 194-205. 
		DOI: <a href="https://doi.org/10.5753/sbsi.2013.5687">https://doi.org/10.5753/sbsi.2013.5687</a>.