Certifying software robustness using program slicing
Mohammad M. A. Abdallah, Malcolm Munro, Keith Brian Gallagher · 2010
Robustness of a program is the degree of system correctness of all parts. Measuring robustness is a goal for many researchers. In this paper, program slicing is used to build a robustness hierarchy, where this hierarchy will be used to test, and build a robust program.