A controlled experiment to assess the benefits of procedure argument type checking

IEEE Transactions on Software Engineering

Volumn 24, Issue 4, 1998, Pages 302-312

  Prechelt, Lutz ^a   Tichy, Walter F ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Controlled experiment; Defects; Productivity; Quality; Type checking

Indexed keywords

EID: 0000359456     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.677186     Document Type: Article

References (22)

1. V.R. Basili and B.T. Perricone, "Software Errors and Complexity: An Empirical Investigation," Comm. ACM, vol. 27, no. 1, pp. 42-52, Jan. 1984.
2. B. Beizer, Software Testing Techniques. Van Nostrand Reinhold, 1990.
3. K. Bruce. "Typing in Object-Oriented Languages: Achieving Expressibility and Safety," ACM Computing Surveys? 1998, to appear. see http://www.cs.williams.edu∼kim/.
4. L.B. Christensen, Experimental Methodology. Allyn and Bacon, Needham Heights, Mass., sixth edition, 1994.
5. C.R. Cook, J.C. Scholtz, and J.C. Spohrer, eds.. Empirical Studies of Programmers: Fifth Workshop, Palo Alto, Calif., Ablex Publishing Corp., Dec. 1993
6. A. Ebrahimi, "Novice Programmer Errors: Language Constructs and Plan Composition," Intl. J. Human-Computer Studies, vol. 41, pp. 457-480, 1994.
7. M. Eisenstadt, "Tales of Debugging from the Front Lines," [5, pp. 86-112], 1993.
8. P.G. Frankl and S.N. Weiss, "An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing," IEEE Trans. Software Eng., 1993.
9. J.D. Gannon, "An Experimental Evaluation of Data Type Conventions," Comm. ACM, 1977.
10. R.B. Grady, "Practical Results from Measuring Software Quality," Comm. ACM, vol. 36, no. 11, pp. 62-68, Nov. 1993.
11. P. Hudak and M.P. Jones, "Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software Prototyping Productivity," technical report, Dept. of Computer Science, Yale Univ., New Haven, Conn., July 1994.
12. W. Humphrey, A Discipline for Software Engineering. SEI Series in Software Engineering. Reading, Mass.: Addison-Wesley, 1995.
13. M. Nanja and C.R. Cook, "An Analysis of the On-Line Debugging Process," [14, pp. 172-184], 1987.
14. G.M. Olson, S. Sheppard, and E. Soloway, eds., "Empirical Studies of Programmers: Second Workshop," Washington, D.C., Ablex Publishing Corp., Dec. 1987.
15. L. Prechelt and W.F. Tichy, "A Controlled Experiment Measuring the Impact of Procedure Argument Type Checking on Programmer Productivity," Technical Report CMU/SEI-96-TR-014, Software Engineering Inst., Carnegie Mellon Univ., Pittsburgh, Penn., June 1996.
16. B.A. Sheil, "The Psychological Study of Programming," ACM Computing Surveys, 1981.
17. E. Soloway and S. Iyengar, eds., Empirical Studies of Programmers. Norwood, N.J.: Ablex Publishing Corp., June 1986. (The papers of the first Workshop on Empirical Studies of Programmers, Washington D.C.).
18. J.G. Spohrer and E. Soloway, "Analyzing the High Frequency Bugs in Novice Programs," [17, pp. 230-251], 1986.
19. W. Stacy and J. MacMillian, "Cognitive Bias in Software Engineering," Comm. ACM, vol. 38, no. 6, pp. 57-63, June 1995.
20. B. Teasley, L.M. Leventhal, and D.S. Rohlman, "Positive Test Bias in Software Testing by Professionals: What's Right and What's Wrong," Empirical Studies of Programmers: Proc. Fifth Workshop, pp. 206-221. Palo Alto, Calif.: Ablex Publishing Corp., Dec. 1993.
21. N. Wirth, "Gedanken zur Software-Explosion," Informatik Spektrum, vol. 17, no. 1, pp. 5-20, Feb. 1994.
22. C. Wohlin and P. Runeson, "Certification of Software Components," IEEE Trans. Software Eng., vol. 20, no. 6, pp. 494-499, June 1994.