@inproceedings{8101c80590d84e589b364cb9e72dbaa6,
title = "Debugging without Testing",
abstract = "It is so inconceivable to debug a program without testing it that these two words are used nearly interchangeably. Yet we argue that using the concept of relative correctness we can indeed remove a fault from a program and prove that the fault has been removed, by proving that the new program is more correct than the original. This is a departure from the traditional roles of proving and testing methods, whereby static proof methods are applied to a correct program to prove its correctness, and dynamic testing methods are applied to an incorrect program to expose its faults.",
keywords = "correctness, debugging, fault removal, faults, relative correctness, testing",
author = "Wided Ghardallou and Nafi Diallo and Ali Mili and Frias, {Marcelo F.}",
note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 9th IEEE International Conference on Software Testing, Verification and Validation, ICST 2016 ; Conference date: 10-04-2016 Through 15-04-2016",
year = "2016",
month = jul,
day = "18",
doi = "10.1109/ICST.2016.12",
language = "English (US)",
series = "Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "113--123",
booktitle = "Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016",
address = "United States",
}