Farooq, A.; Jadhav, P.; Joshi, S. Model Driven Testing Based on Functional Test Case Generation With Redundancy Check. Int. J. Comp. Sci. Eng. 2019, 7, 1016-1019.