Certifying software robustness using program slicing

Mohammad Abdallah, Malcolm Munro, Keith Gallagher. Certifying software robustness using program slicing. In 26th IEEE International Conference on Software Maintenance (ICSM 2010), September 12-18, 2010, Timisoara, Romania. pages 1-2, IEEE Computer Society, 2010. [doi]

Authors

Mohammad Abdallah

This author has not been identified. Look up 'Mohammad Abdallah' in Google

Malcolm Munro

This author has not been identified. Look up 'Malcolm Munro' in Google

Keith Gallagher

This author has not been identified. Look up 'Keith Gallagher' in Google