Using Clause Slicing as Program Robustness Measurement Technique | IEEE Conference Publication | IEEE Xplore