A Pragmatic Survey of Automated Debugging

@inproceedings{citeulike:1237051, abstract = {This article proposes a structuring view of the area of automated debugging. Nineteen automated debugging systems are analyzed. Thirteen existing automated debugging techniques are briefly evaluated from a pragmatic point of view. The three underlying strategies are identified, namely verification with respect to specification, checking with respect to language knowledge and filtering with respect to symptom. The verification strategy compares the actual program with some formal specification...}, author = {Ducasse, M. }, booktitle = {Proc. 1st Workshop on Automated and Algorithmic Debugging}, citeulike-article-id = {1237051}, keywords = {engineering, software}, posted-at = {2007-04-19 15:14:24}, priority = {2}, series = {LNCS}, title = {A Pragmatic Survey of Automated Debugging}, url = {http://citeseer.ist.psu.edu/367030.html}, volume = {749}, year = {1993} }

TY - CONF ID - citeulike:1237051 L3 - citeulike-article-id:1237051 TI - A Pragmatic Survey of Automated Debugging T2 - Proc. 1st Workshop on Automated and Algorithmic Debugging SE - LNCS VL - 749 N2 - This article proposes a structuring view of the area of automated debugging. Nineteen automated debugging systems are analyzed. Thirteen existing automated debugging techniques are briefly evaluated from a pragmatic point of view. The three underlying strategies are identified, namely verification with respect to specification, checking with respect to language knowledge and filtering with respect to symptom. The verification strategy compares the actual program with some formal specification... KW - engineering KW - software AU - Ducasse, M PY - 1993/// UR - http://citeseer.ist.psu.edu/367030.html ER -