How Parameterized Slices Are Generated for COBOL Programs

The specifications for input and output parameters are: