Issue No. 09 - September (2009 vol. 42)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2009.296
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.
Software engineering, Design and test, Automated software testing, Object-oriented programming
B. Meyer, I. Ciupa, Y. Wei, A. Leitner, E. Stapf and A. Fiva, "Programs That Test Themselves," in Computer, vol. 42, no. , pp. 46-55, 2009.