Debugging by Thinking: A Multidisciplinary Approach

Debugging by Thinking: A Multidisciplinary Approach

Volumn , Issue , 2003, Pages 1-567

  Metzger, Robert Charles ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 36448944067     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1016/B978-1-55558-307-1.X5000-9     Document Type: Book

References (98)

1. Rich, C., and Waters, R. C. "The Disciplined Use of Simplifying Assumptions," ACM SIGSOFT Software Engineering Notes 7(5) ACM, 1982.
2. Weiser, M. "Scale Models and Rapid Prototyping," ACM SIGSOFT Software Engineering Notes 7(5) ACM, 1982.
3. Bischofberger, W., and Pomberger, G. Prototyping-Oriented Software Development. Springer-Verlag, 1991.
4. Yourdon, E. Structured Walkthroughs, 2nd ed. Prentice Hall, 1979.
5. Freedman, D. P., and Weinberg, G. M. Handbook of Walkthroughs, Inspections, and Technical Reviews, 3rd ed. Little, Brown and Co., 1990.
6. Gilb, T., and Graham, D. Software Inspection. Addison-Wesley, 1993.
7. Nassi, I., and Schneiderman, B. "Flowchart Techniques for Structured Programming," ACM SIGPLAN Notices 8(8) (1973).
8. Orr, K. T. Structured Systems Development. Yourdon Press, 1977.
9. Martin, J. Recommended Diagramming Standards far Analysts and Programmers. Prentice Hall, 1987.
10. Myers, G. J. The Art of Software Testing. John Wiley and Sons, 1979.
11. Beizer, B. Black Box Testing. John Wiley and Sons, 1995.
12. Marick, B. The Craft of Software Testing. Prentice Hall, 1995.
13. Weiser, M. "Programmers Use Slices When Debugging." Communications ofthe ACM 25(7) (July 1982): 446-452.
14. Guttag, J. V., and Horning, J. J. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993.
15. Loeliger, J. D.; Metzger, R. C.; Seligman, M.; and Stroud, S. "Pointer Target Tracking: An Empirical Study." In Proceedings of Supercomputing 1991, IEEE Computer Society Press, 14-23.
16. Loeliger, J. D., and Metzger, R. C. "Engineering an Interprocedural Optimizing Compiler." SIGPLANNotices 29(4) (April 1994): 41-48.
17. Metzger, ~. C., and Stroud, S. "Interprocedural Constant Propagation: An Empirical Study." ACM Letters on Programming Languages and Systems 2(1) (March, 1993): 213-232.
18. Metzger, R., and Wen, Z. Automatic Algorithm Recognition and Replacement: A New Approach to Program Optimization. MIT Press, 2000.
19. Wolfe, M. High Performance Compilers for Parallel Computing. Addison-Wesley, 1996.
20. Mien, R., and Kennedy, K. Optimizing Compilers for Modern Architectures: A Dependence-Based Approach. Morgan-Kauffman, 2001.
21. Aho, A. V.; Hopcroft, J.; and Ullman, J. D. The Design and Analysis of Computer Algorithms. McGraw-Hill, 1974.
22. Sedgewick, R. Algorithms in C. Addison-Wesley, 1990.
23. Horowitz, E.; Sahni, S.; and Rajasekaran, S. Computer Algorithms/C++. Computer Science Press, 1997.
24. Sedgewick, R. Algorithms in C++, 3rd ed. Addison-Wesley, 1998.
25. Li, C. C.; Chen, P. P.; and Fuchs, W. K. "Local Concurrent Error Detection and Correction in Data Structures Using Virtual Backpointers," Proceedings of COMPSAC 1988, IEEE, 245-251.
26. Taylor, D. J., and Black, J. P. "A Locally Correctable B-Tree Implementation. "The Computer Journal, 29(3) (1986): 269-276.
27. Taylor, D. J.; Morgan, D. E.; and Black, J. P. "Redundancy in Data Structures" Improving Fault Tolerance." IEEE Transactions on Software Engineering6(6) (November 1980): 585-594.
28. Snyder, L. "Recognition and Selection of Idioms for Code Optimization," Acta Infarmatica 17(3) (1982): 327-348.
29. IEEE Standard Classification far Software Anomalies. IEEE Computer Society, 1994.
30. Beck, K. Extreme Programming Explained. Addison-Wesley, 1999.
31. Berliner, B. "CVS II: Parellelizing Software Development." In Proceedings of the Winter 1990 USENIX Technical Conference, USENIX, 1990.
32. Tichy, W. E "RCS~A System for Version Control," Sofiware~Pracrice and Experience 15(7) (July 1985): 637-654.
33. Doyle, A. C. A Study in Scarlet. Ward, Lock, and Co., 1888.
34. Doyle, A. C. The Sign of the Four. Spencer Blackett, 1890.
35. Doyle, A. C. The Adventures of Sherlock Holmes. George Newnes, 1892.
36. Doyle, A. C. The Memoirs of Sherlock Holmes. George Newnes, 1893.
37. Doyle, A. C. The Hound of the Baskervilles. George Newnes, 1902.
38. Doyle, A. C. The Return of Sherlock Holmes. George Newnes, 1905
39. Doyle, A. C. The Valley of Fear. Smith, Elder, and Co., 1915.
40. Doyle, A. C. His Last Bow. John Murray, 1917.
41. Doyle, A. C. The Case-Book of Sherlock Holmes. John Murray, 1927
42. Sayers, D. L. Whose Body? Harper and Row, 1923
43. Sayers, D. L. Clouds of Witness. The Dial Press, 1927.
44. Sayers, D. L. Unnatural Death. Harper and Row, 1927.
45. Sayers, D. L. The Unpleasantness at the Bellona Club. Harper and Row, 1928.
46. Sayers, D. L. Lord Peter .89 the Body. Harper and Row, 1928.
47. Sayers, D. L. Strong Poison. Harper and Row, 1930.
48. Sayers, D. L. The Five Red Herrings. Harper and Row, 1931.
49. Sayers, D. L. Have His Carcase. Harper and Row, 1932.
50. Sayers, D. L. Murder Must Advertise. Harper and Row, 1933.
51. Sayers, D. L. Hangman's Holiday. Harcount, Brace, Jovanovich, 1933.
52. Sayers, D. L. The Nine Tailors. Harcount, Brace, Jovanovich, 1934.
53. Sayers, D. L. Gaudy Night. Harper and Row, 1935.
54. Sayers, D. L. Busman's Honeymoon. Harper and Row, 1937.
55. Sayers, D. L. In the Teeth oft he Evidence. Harcount, Brace, Jovanovich, 1939.
56. Sayers, D. L with Walsh, J. P. Thrones, Dominations. St. Martiffs Press, 1998.
57. Walsh, J. P., and Sayers. D. L. A Presumption of Death. St. Martin's Press, 2003.
58. Polya, G. How to Solve It. Princeton University Press, 1945.
59. Mason, J.; Burton, L.; and Stacey, K. Thinking Mathematically, rev. ed. Addison-Wesley, 1985.
60. Schoenfeld, A. H. Mathematical Problem Solving. Academic Press, 1985.
61. Devlin, K. Mathematics: The Science of Patterns. Scientific American Library, 1997.
62. Cupillari, A. The Nuts and Bolts ofProofi, 2nd ed. Academic Press, 2001.
63. Solow, D. How to Read and Do Proofi, 3rd ed. John Wiley and Sons, 2002.
64. Adams, J. L. Flying Buttresses, Entropy, and O-Rings: The World of an Engineer. Harvard University Press, 1991.
65. Petroski, H. 7b Engineer Is Human. Vantage Books, 1992.
66. Petroski, H. Invention by Design. Harvard University Press, 1996.
67. Wilson, P. F.; Dell, L. D.; and Anderson, G. F. Root Cause Analysis: A Tool for Total Quality Management. ASQ Quality Press, 1993.
68. Ammerman, M. The Root Cause Analysis Handbook. Productivity, Inc., 1998.
69. Shannon, C. E., and Weaver, W. The Mathematical Theory of Communication. University of Illinois Press, 1949.
70. Uznadze, D. N. The Psychology of&t, trans. Basil Haigh. Consultants Bureau, 1966.
71. Weinberg, G. M. The Psychology of Computer Programming. Van Nostrand Reinhold, 1971.
72. Rasmussen, J. Information Processing and Human-Machine Interaction. North-Holland, 1986.
73. Norman, D. The Design of Everyday Things. Doubleday, 1990.
74. Reason, J. Human Error. Cambridge University Press, 1990.
75. Senders, J., and Moray, N. Human Error: Cause, Prediction, and Reduction. Lawrence Erlbaum Associates, 1991.
76. Gilovich, T. How We Know What Isn't So. The Free Press, 1991.
77. Silverman, B. Critiquing Human Error. Academic Press, 1992.
78. Piatelli-Palmarini, M. Inevitable Illusions. John Wiley, 1994.
79. Dauer, F. W. Critical Thinking: An Introduction to Reasoning. Oxford University Press, 1989.
80. Neblett, W. Sherlock's Logic. University Press of America, 1985.
81. Youngs, E. A. "Human Errors in Programming," Int. J. of Man-Machine Studies 6 (1974): 361-376.
82. Gould, J. D. "Some Psychological Evidence on How People Debug Computer Programs," Int. J. of Man-Machine Studies 7 (1975)" 151-182.
83. Brooke, J. B., and Duncan, K. D. "Experimental Studies of Flowchart Use at Different Stages of Program Debugging," Ergonomics 23(11) (1980): 1057-1091.
84. Gilmore, D. J., and Smith, H. T. "An Investigation of the Utility of Flowcharts During Computer Program Debugging," Int. J. Man-Machine Studies 20 (1984): 357-372.
85. Anderson, J. R., and Jeffries, R. "Novice LISP Errors: Undetected Losses of Information from Working Memory," Human-Computer Interaction 1 (1985): 107-131.
86. Vessey, I., "Expertise in Debugging Computer Programs: A Process Analysis," Int. J. Man-Machine Studies 23 (1985): 459-494.
87. Spohrer, J. C.; Soloway, E.; and Pope, E. "A Goal/Plan Analysis of Buggy Pascal Programs," Human-Computer Interaction 1 (2) (1985): 163-207.
88. Spohrer, J. C.; Soloway, E.; and Pope, E. "Where The Bugs Are," Proceedings Computer-Human Interaction "85, ACM, 1985, 47-53.
89. Vessey, I. "Expertise in Debugging Computer Programs: An Analysis of the Content of Verbal Protocol," Transactions an Systems, Man, and Cybernetics 16(5) (1986): 621-637.
90. Gugerty, L., and Olson, G. A. "Comprehension Differences in Debugging by Skilled and Novice Programmers," Empirical Studies af Programmers, Ablex Publishing Corp., 1987, 13-27.
91. Kessler, C. M., and Anderson, J. R. "A Model of Novice Debugging in LISP," Empirical Studies of Programmers, Ablex Publishing Corp, 1987, 198-212.
92. Spohrer, J. G., and Soloway, E.,"Analyzing the High Frequency Bugs in Novice Programs," Empirical Studies of Programmers, Ablex Publishing Corp, 1987, 230-251.
93. Katz, I. R., and Anderson, J. R. "Debugging: An Analysis of Bug-Location Strategies," Human-Computer Interaction (3) (1987-1988): 351-399.
94. Vessey, I. "Toward a Theory of Computer Program Bugs: An Empirical Test," Int. J. Man-Machine Studies 30 (1989): 23-46.
95. Carver, D. L, "Programmer Variations in Software Debugging Approaches," Int. J. Man-Machine Studies 31 (1989): 315-322.
96. Stone, D. N.; Jordan, E. W.; and Wright, M. K. "The Impact of Pascal Education on Debugging Skill," Int. J. Man-Machine Studies 33 (1990): 81-95.
97. Allwood, C. M., and Bjhorhag C-G. "Novices' Debugging When Programming in Pascal," Int. J. Man-Machine Studies 33 (1991): 707-724.
98. Ebrahimi, A. "Novice Programmer Errors: Language Constructs and Plan Composition," Int. J. Human-Camputer Studies 41 (1994): 457-480.