Grover, V.; Kumar, J. A Review of Model Based Slicing and Test Case Generation. Int. J. Comp. Sci. Eng. 2019, 7, 325-329.