2 papers
cs.PL2015
Property irrelevant predicates
Shrawan Kumar
Although slicing removes code which has no bearing on property checking. However even after that, our study has found that there are predicates in program which have no bearing on…
cs.SE2014
Sliced Slices: Separating Data and Control Influences
Shrawan Kumar, Amitabha Sanyal, Uday Khedker
Backward slicing has been used extensively in program understanding, debugging and scaling up of program analysis. For large programs, the size of the conventional backward slice i…