Automatic testing of object-oriented software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4362 LNCS, Issue , 2007, Pages 114-129

  Meyer, Bertrand ^a   Ciupa, Ilinca ^a   Leitner, Andreas ^a   Liu, Lisa Ling ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; HUMAN COMPUTER INTERACTION; REGRESSION ANALYSIS;

AUTOTEST UNIT TESTING; REGRESSION TESTING;

SOFTWARE ENGINEERING;

EID: 38049078638     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69507-3_9     Document Type: Conference Paper

References (25)

1. AutoTest page at se.ethz.ch/research/autotest/
2. Bezault, E. et al.: Gobo Library and Tools, at www.gobosoft.com
3. Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns and Tools. Addison-Wesley (1999)
4. Boyapati, C., Khurshid, S., and Marinov, D.: Korat: Automated Testing Based on Java Predicates. In 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), Rome, Italy (2002)
5. Chalin, P.: Are Practitioners Writing Contracts? In Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Technical Report CS-TR-915, Michael Butler, Cliff Jones, Alexander Romanovsky, and Elena Troubitsyna, (eds), University of Newcastle upon Tyne (2005)
6. Chen, T.Y., Leung, H., and Mak, I.: Adaptive Random Testing. In M.J. Maher (ed.), Advances in Computer Science - ASIAN 2004: Higher-Level Decision Making, 9th Asian Computing Science Conference, Springer-Verlag (2004)
7. Cheon, Y. and Leavens, G.T.: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. In ECOOP 2002 (Proceedings of European Conference on Object-Oriented Programming, Malaga, 2002), Boris Magnusson (ed.), Springer Verlag, Lecture Notes in Computer Science 2374 (2002) 231-255
8. Cheon, Y. and Leavens, G.T.: The JML and JUnit Way of Unit Testing and Its Implementation. Technical Report 04-02, Computer Science Department, Iowa State University, at archives.cs.iastate.edu/documents/disk0/00/00/03/27/ 00000327-OO/TR.pdf
9. Ciupa, I., Leitner, A., Oriol, M., and Meyer, B.: Object Distance and Its Application to Adaptive Random Testing of Object-Oriented Programs. In Proc. of First International Workshop on Random Testing (RT 2006), Portland, Maine, USA (July 2006)
10. Ciupa, I. and Leitner, A.: Automatic testing based on Design by Contract. In Proceedings of Net.ObjectDays 2005, 6th Annual International Conference on Object-Oriented and Internet-based Technologies, Concepts and Applications for a Networked World (2005) 545-557
11. Detlefs, D., Nelson, G., and Saxe, J.B.: Simplify: A Theorem Prover for Program Checking. Technical Report HPL-2003-148, HP Labs, 2003, available at research.compaq.com/SRC/esc/Simplify.html
12. EiffelStudio open-source development site at eiffelsoftware.origo.ethz.ch
13. JUnit pages at www.junit.org/index.htm
14. Leitner, A., Howard, M., Meyer, B., and Ciupa, I.: Reconciling Manual and Automated Testing: the TestApp Experience. To appear in HICSS 2007, Hawaii International Conference on System Sciences, Hawaii (January 2007)
15. Liu, L., Leitner, A., and Offutt, J.: Using Contracts to Automate Forward Class Testing. Submitted for publication.
16. Liu, L., Meyer, B., and Schoeller, B.: Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. To appear in Proceedings of TAP (Tests and Proofs), Zurich, February 2007, Lecture Notes in Computer Science, Springer Verlag (2007)
17. Meyer, B.: Applying "Design by Contract". In Computer (IEEE) 25 10 (October 1992) 40-51
18. Meyer, B.: Eiffel: The Language. Revised Printing, Prentice Hall (1991)
19. Meyer, B.: Reusable Software: The Base Object-Oriented Libraries. Prentice Hall (1994)
20. Meyer, B.: Object-Oriented Software Construction. 2nd Edition, Prentice Hall (1997)
21. Meyer, B.: Attached Types and Their Application to Three Open Problems of ObjectOriented Programming. In ECOOP 2005, Proceedings of European Conference on Object-Oriented Programming, Edinburgh, 25-29 July 2005, Andrew Black (ed.), Springer Verlag, Lecture Notes in Computer Science 3586 (2005) 1-32
22. NIST (National Institute of Standards and Technology): The Economic Impacts of Inadequate Infrastructure for Software Testing. Report 7007.011, available at www.nist.gov/director/prog-ofc/report02-3.pdf
23. SICStus Prolog User's Manual, http://www.sics.se/sicstus/docs/latest/pdf/ sicstus.pdf
24. Peters, D.K. and Parnas, D.L.: Using Test Oracles Generated from Program Documentation. In IEEE Transactions on Software Engineering 24 3 (March 1998) 161-173
25. Zeller, A.: Why Programs Fail: A Guide to Systematic Debugging. Morgan-Kaufmann, (2005)