Martins, A., & 		Melo, A.
2016 Sep 19.  Can you certify your software to MC/DC? A static analysis approach to account for the number test cases. Proceedings of the Brazilian Symposium on Systematic and Automated Software Testing (SAST). [Online] :