Two controlled experiments concerning the usefulness of assertions as a means for programming

Conference on Software Maintenance

Volumn , Issue , 2002, Pages 84-92

  Müller, Matthias M ^a   Typke, Rainer ^a   Hagner, Oliver ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING; COMPUTER SCIENCE; RELIABILITY;

ASSERTIONS;

SOFTWARE ENGINEERING;

EID: 0036439996     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. K. Beck and E. Gamma. junit. http://www.junit.org/.
2. L.B. Christensen. Experimental Methodology, Allyn and Bacon, 1994.
3. J. Cohen. Statistical Power Analysis for the Behavioral Sciences. Academic Press, 1977.
4. D. Goldschmidt, Design and implementation of a generic graph container in java. Master's thesis, Rensselaer Polytechnic Institute in Tray, New York, Apr. 1998.
5. W. Humphrey. A discipline for software engineering. Addison-Wesley, 1997.
6. J. McKim. Programming by contrac: Designing for correctness. Journal of object oriented programming, 9(2):70-74, May 1996.
7. B. Meyer. Object-oriented software construction. Prentice-Hall, 1988.
8. M. Müller, R. Typke, and O. Hagner. A detailed description of two controlled experiments concerning the usefulness of assertions as a means for programming. Technical Report 2002-2, Computer Science Department, University of Karlsruhe, Feb. 2002.
9. D. Rosenblum. APP. http://www.research.att.com/sw/ tools/reuse/.
10. D. Rosenblum. Towards a method of programming with assertions. In International Conference on Software Engineering, pages 92-104, Melbourne, 1992.
11. J. Störk. Erzeugung effizienter Laufzeitüberprüfungen von Zusicherungen. Master's thesis, Department of Computer Science, University of Karlsruhe, May 1999. http://www-is.informatik.uni-oldenburg.de/̃stoerk/da/ diplomarbeit.html. Only available in German.
12. J. Voas. How assertions can increase test effectiveness. IEEE Software, pages 118-122, Mar./Apr. 1997.