V. Grover and J. Kumar, “A Review of Model Based Slicing and Test Case Generation”, Int. J. Comp. Sci. Eng., vol. 7, no. 6, pp. 325–329, Jun. 2019.