This Article 
 Bibliographic References 
 Add to: 
Programs That Test Themselves
September 2009 (vol. 42 no. 9)
pp. 46-55
Bertrand Meyer, ETH Zurich and Eiffel Software
Arno Fiva, ETH Zurich
Ilinca Ciupa, ETH Zurich
Andreas Leitner, ETH Zurich
Yi Wei, ETH Zurich
Emmanuel Stapf, Eiffel Software
The AutoTest framework automates the software testing process by relying on programs that contain the instruments of their own verification, in the form of contract-oriented specifications of classes and their individual routines.

1. B. Meyer, "Seven Principles of Software Testing," Computer, Aug. 2008, pp. 99-101.
2. IEEE Std. 610.12-1990, IEEE Standard Glossary of Software Eng. Terminology, IEEE, 1990.
3. B. Meyer, Object-Oriented Software Construction, 2nd ed., Prentice Hall, 1997.
4. P. Chalin, "Are Practitioners Writing Contracts?," Rigorous Eng. Fault-Tolerant Systems, LNCS 4157, Springer, 2006, pp. 100-113.
5. T.Y. Chen, H. Leung, and I. Mak, "Adaptive Random Testing," Proc. 9th Asian Computing Science Conf. (Asian 04), LNCS 3321, Springer, 2004, pp. 320-329.
6. I. Ciupa et al., "ARTOO: Adaptive Random Testing for Object-Oriented Software," Proc. 30th Ann. Conf. Software Eng. (ICSE 08), ACM Press, 2008, pp. 71-80.
7. I. Ciupa et al., "On the Predictability of Random Tests for Object-Oriented Software," Proc. 2008 Int'l Conf. Software Testing, Verification, and Validation (ICST 08), IEEE CS Press, 2008, pp. 72-81.
8. I. Ciupa et al., "Experimental Assessment of Random Testing for Object-Oriented Software," Proc. 2007 Int'l Symp. Software Testing and Analysis (ISSTA 07), ACM Press, 2007, pp. 84-94.
9. B. Meyer, Reusable Software: The Base Object-Oriented Component Libraries, Prentice Hall, 1994.
10. A. Leitner, "Contract Driven Development = Test Driven Development - Writing Test Cases," Proc. 6th Joint Meeting of the European Software Eng. Conf. and the ACM SIGSOFT Symp. the Foundations of Software (ESEC-FSE 07), ACM Press, 2007, pp. 425-434.
11. L. Liu, B. Meyer, and B. Schoeller, "Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation," Tests and Proofs, LNCS 4454, Springer, 2007, pp. 114-130.
12. A. Leitner et al., "Efficient Unit Test Case Minimization," Proc. 22nd IEEE/ACM Int'l Conf. Automated Software Eng. (ASE 07), ACM Press, 2007, pp. 417-420.
13. I. Ciupa et al., "Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports," Proc. 19th Int'l Symp. Software Reliability Eng. (ISSRE 08), IEEE Press, 2008, pp. 157-166.

Index Terms:
Software engineering, Design and test, Automated software testing, Object-oriented programming
Bertrand Meyer, Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei, Emmanuel Stapf, "Programs That Test Themselves," Computer, vol. 42, no. 9, pp. 46-55, Sept. 2009, doi:10.1109/MC.2009.296
Usage of this product signifies your acceptance of the Terms of Use.