Certifying software robustness using program slicing.

Mohammad Abdallah Malcolm Munro Keith B. Gallagher

Published in: ICSM (2010)

Keyphrases

program slicing
source code
description languages
formal verification
fault localization
reverse engineering
software maintenance
software systems
artificial intelligence
software design
software testing
software development
open source
case study
feature selection
test cases
software engineers