Martins, A., & 		Melo, A.
(2016).
 Can you certify your software to MC/DC? A static analysis approach to account for the number test cases.
In <em>Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing</em>, (pp. 21-27). Porto Alegre: SBC.