Title :
Certifying software robustness using program slicing
Author :
Abdallah, Mohammad ; Munro, Malcolm ; Gallagher, Keith
Author_Institution :
Dept. of Comput. Sci., Durham Univ., Durham, UK
Abstract :
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.
Keywords :
program slicing; software quality; software reliability; program robustness; program slicing; software robustness; system correctness; Computers; Conferences; Fault tolerance; Fault tolerant systems; Robustness; Software; Testing; component; correctness; program slicing; robustness;
Conference_Titel :
Software Maintenance (ICSM), 2010 IEEE International Conference on
Conference_Location :
Timisoara
Print_ISBN :
978-1-4244-8630-4
Electronic_ISBN :
1063-6773
DOI :
10.1109/ICSM.2010.5609755
