Farooq, Aadil, et al. “Model Driven Testing Based on Functional Test Case Generation With Redundancy Check”. International Journal of Computer Sciences and Engineering, vol. 7, no. 2, Feb. 2019, pp. 1016-9, doi:10.26438/ijcse/v7i2.10161019.