How Parameterized Slices Are Generated for Cobol Programs

The specifications for input and output parameters are: