Cognitive processes in software fault detection: A review and synthesis

References

• Adelson , B. 1981 . Problem solving and the development of abstract categories in programming languages . Memory and Cognition , 9 (4) : 422 – 433 .
   PubMed Web of Science ®Google Scholar
• Adelson , B. 1984 . When novices surpass experts: The difficulty of a task may increase with expertise . Journal of Experimental Psychology: Learning, Memory, and Cognition , 10 (3) : 483 – 495 .
   Web of Science ®Google Scholar
• Anderson , J. R. , Greeno , J. G. and Kline , P. J. 1981 . “ Acquisition of problem‐solving skill ” . In Cognitive skills and their acquisition , Edited by: Anderson , J. R. Hillsdale, NJ : Erlbaum .
   Google Scholar
• Anderson , J. R. and Jeffries , R. 1985 . Novice LISP errors: Undetected losses of information from working memory . Human‐Computer Interaction , 1 : 107 – 131 .
   Google Scholar
• Bisant , D. B. and Lyle , J. R. 1989 . A two‐person inspection method to improve programmer productivity . IEEE Transactions on Software Engineering , 15 (10) : 1294 – 1304 .
   Web of Science ®Google Scholar
• Bower , G. H. , Black , J. B. and Turner , T. J. 1979 . Scripts in memory for text . Cognitive Psychology , 11 : 177 – 220 .
   Web of Science ®Google Scholar
• Buck , F. O. 1981 . Indicators of quality inspections , (Report No. TR 21.802) Kingston, NY 12401 : IBM System Communications Division .
   Google Scholar
• Chase , W. G. and Ericsson , K. A. 1981 . “ Skilled memory ” . In Cognitive skills and their acquisition , Edited by: Anderson , J. R. Hillsdale, NJ : Erlbaum .
   Google Scholar
• Corritore , C. L. and Wiedenbeck , S. 1991 . What do novices learn during program comprehension? . International Journal of Human‐Computer Interaction , 3 (2) : 199 – 222 .
   Google Scholar
• Fagan , M. E. 1976 . Design and code inspections to reduce errors in program development . IBM Systems Journal , 15 (3) : 182 – 211 .
   Google Scholar
• Gallagher , K. B. 1989 . Using program slicing in software maintenance , University of Maryland . Unpublished doctoral dissertation. Available from: University of Maryland Baltimore County, Department of Computer Science, Catonsville, MD 21228
   Google Scholar
• Gilmore , D. J. and Green , T. R. G. 1984 . Comprehension and recall of miniature programs . International Journal of Man‐Machine Studies , 21 : 31 – 48 .
   Google Scholar
• Gould , J. D. 1975 . Some psychological evidence on how people debug computer programs . International Journal of Man‐Machine Studies , 7 : 151 – 182 .
   Google Scholar
• Gould , J. D. and Drongowski , P. 1974 . An exploratory study of computer program debugging . Human Factors , 16 (3) : 258 – 277 .
   Web of Science ®Google Scholar
• Gugerty , L. and Olson , G. M. 1986 . “ Comprehension differences in debugging by skilled and novice programmers ” . In Empirical studies of programmers , Edited by: Soloway , E. and Iyengar , S. Norwood, NJ : Ablex .
   Google Scholar
• Johnson , W. L. and Soloway , E. . PROUST: Knowledge‐based program understanding . Proceedings of the 7th International Conference on Software Engineering . Piscataway, NJ. IEEE .
   Google Scholar
• Katz , I. R. and Anderson , J. R. 1988 . Debugging: An analysis of bug‐location strategies . Human‐Computer Interaction , 3 : 351 – 399 .
   Google Scholar
• Kessler , C. M. and Anderson , J. R. 1986 . “ A model of novice debugging in LISP ” . In Empirical studies of programmers , Edited by: Soloway , E. and Iyengar , S. Norwood, NJ : Ablex .
   Google Scholar
• Kieras , D. E. and Bovair , S. 1984 . The role of a mental model in learning to operate a device . Cognitive Science , 8 : 255 – 273 .
   Web of Science ®Google Scholar
• Klahr , D. and Carver , S. M. 1988 . Cognitive objectives in a LOGO debugging curriculum: Instruction, learning, and transfer . Cognitive Psychology , 3 (20) : 362 – 404 .
   Google Scholar
• Lemos , R. S. 1980 . An implementation of structured walk‐throughs in teaching COBOL programming . The Computer Journal , 23 (3) : 377 – 380 .
   Google Scholar
• Letovsky , S. , Pinto , J. , Lampert , R. and Soloway , E. 1986 . “ Cognitive processes in program comprehension ” . In Empirical studies of programmers , Edited by: Soloway , E. and Iyengar , S. Norwood, NJ : Ablex .
   Google Scholar
• Letovsky , S. , Pinto , J. , Lampert , R. and Soloway , E. 1987 . “ A cognitive analysis of a code inspection ” . In Empirical studies of programmers , Edited by: Olson , G. , Sheppard , S. and Soloway , E. Norwood, NJ : Ablex .
   Google Scholar
• Littman , D. C. , Pinto , J. , Letovsky , S. and Soloway , E. 1986 . “ Mental models and software maintenance ” . In Empirical studies of programmers , Edited by: Soloway , E. and Iyengar , S. Norwood, NJ : Ablex .
   Google Scholar
• McKeithen , K. B. , Reitman , J. S. , Rueter , H. H. and Hirtle , S. C. 1981 . Knowledge organization and skill differences in computer programmers . Cognitive Psychology , 13 : 307 – 325 .
   Web of Science ®Google Scholar
• Nanja , M. and Cook , C. R. 1987 . “ An analysis of the on‐line debugging process ” . In Empirical studies of programmers , Edited by: Olson , G. , Sheppard , S. and Soloway , E. Norwood, NJ : Ablex .
   Google Scholar
• Osterwell , L. J. and Fosdick , L. D. 1976 . DAVE‐A validation error detection and documentation system for Fortran programs . Software Practice and Experience , 6 : 473 – 486 .
   Google Scholar
• Pennington , N. 1987a . “ Comprehension strategies in programming ” . In Empirical studies of programmers , Edited by: Olson , G. , Sheppard , S. and Soloway , E. Norwood, NJ : Ablex .
   Google Scholar
• Pennington , N. 1987b . Stimulus structures and mental representations in expert comprehension of computer programs . Cognitive Psychology , 19 : 295 – 341 .
   Web of Science ®Google Scholar
• Rich , C. 1981 . Inspection methods in programming , (Report No. AI‐TR‐604) Cambridge, MA : MIT AI Lab .
   Google Scholar
• Sheppard , S. B. , Curtis , B. , Milliman , P. and Love , T. 1979 . Modern coding practices and programmer performance . Computer , 12 (12) : 41 – 49 .
   Web of Science ®Google Scholar
• Shneiderman , B. 1976 . Exploratory experiments in programmer behavior . International Journal of Computer and Information Sciences , 5 (2) : 123 – 143 .
   Google Scholar
• Shneiderman , B. and Mayer , R. 1979 . Syntactic/semantic interactions in programmer behavior: A model and experimental results . International Journal of Computer and Information Sciences , 8 (3) : 219 – 238 .
   Google Scholar
• Shneiderman , B. , Shafer , P. , Simon , R. and Weldon , L. 1986 . Display strategies for program browsing: Concepts and experiment . IEEE Software , 3 (3) : 7 – 15 .
   Web of Science ®Google Scholar
• Soloway , E. and Ehrlich , K. 1984 . Empirical studies of programming knowledge . IEEE Transactions on Software Engineering , SE‐10 (5) : 595 – 609 .
   Google Scholar
• Soloway , E. , Pinto , J. , Letovsky , S. , Liftman , D. and Lampert , R. 1988 . Designing documentation to compensate for delocalized plans . Communications of the ACM , 31 (11) : 1259 – 1267 .
   Web of Science ®Google Scholar
• Spohrer , J. C. , Soloway , E. and Pope , E. 1985 . A goal/ plan analysis of buggy pascal programs . Human‐Computer Interaction , 1 (2) : 163 – 207 .
   Google Scholar
• Spohrer , J. G. and Soloway , E. 1986 . “ Analyzing the high frequency bugs in novice programs ” . In Empirical studies of programmers , Edited by: Soloway , E. and Iyengar , S. Norwood, NJ : Ablex .
   Google Scholar
• Tillman , T. R. and Shneiderman , B. 1983 . The effect of scope delimiters on program comprehension . Software practice and experience , 13 : 817 – 824 .
   Google Scholar
• Vessey , I. 1985 . Expertise in debugging computer programs: A process analysis . International Journal of Man‐Machine Studies , 23 : 459 – 494 .
   Google Scholar
• Weiser , M. 1982 . Programmers use slices when debugging . Communications of the ACM , 25 (7) : 446 – 452 .
   Web of Science ®Google Scholar
• Weiser , M. and Lyle , J. 1986 . “ Experiments on slicing‐based debugging aids ” . In Empirical studies of programmers , Edited by: Soloway , E. and Iyengar , S. Norwood, NJ : Ablex .
   Google Scholar