Programs That Test Themselves

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]  Bertrand Meyer,et al.  Contract driven development = test driven development - writing test cases , 2007, ESEC-FSE '07.

[2]  Andreas Zeller,et al.  Efficient unit test case minimization , 2007, ASE '07.

[3]  Bertrand Meyer,et al.  On the Predictability of Random Tests for Object-Oriented Software , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[4]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[5]  Bertrand Meyer,et al.  Reusable Software: The Base Object-Oriented Component Libraries , 1994 .

[6]  I. K. Mak,et al.  Adaptive Random Testing , 2004, ASIAN.

[7]  Alexandre Petrenko,et al.  2 State of the SBT Practice — Why Limited Use ? , 2001 .

[8]  Debra J. Richardson,et al.  Approaches to specification-based testing , 1989 .

[9]  Patrice Chalin,et al.  Are Practitioners Writing Contracts? , 2006, RODIN Book.

[10]  Bertrand Meyer,et al.  Seven Principles of Software Testing , 2008, Computer.

[11]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[12]  Sarfraz Khurshid,et al.  Korat: automated testing based on Java predicates , 2002, ISSTA '02.

[13]  Bertrand Meyer,et al.  Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation , 2007, TAP.

[14]  Bertrand Meyer,et al.  Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports , 2008, 2008 19th International Symposium on Software Reliability Engineering (ISSRE).

[15]  Bertrand Meyer,et al.  Experimental assessment of random testing for object-oriented software , 2007, ISSTA '07.

[16]  Bertrand Meyer,et al.  ARTOO , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[17]  Tao Xie,et al.  DSD-Crasher: A hybrid analysis tool for bug finding , 2008 .

[18]  Shaoying Liu,et al.  Criteria for generating specification-based tests , 1999, Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434).