A. Farooq, P. Jadhav, and S. Joshi, “Model Driven Testing based on Functional Test Case Generation with Redundancy Check”, Int. J. Comp. Sci. Eng., vol. 7, no. 2, pp. 1016–1019, Feb. 2019.