MARTINS, Alexandre L.; 						MELO, Ana C. V. de.
 Can you certify your software to MC/DC? A static analysis approach to account for the number test cases. <em>In</em>: BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING (SAST), 1.	, 2016, Maringá/PR.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2016
.
 p. 21-27.