Programs that test themselves

Computer

Volumn 42, Issue 9, 2009, Pages 46-55

  Meyer, Bertrand ^a   Fiva, Arno ^a   Ciupa, Ilinca ^a   Leitner, Andreas ^a   Wei, Yi ^a   Stapf, Emmanuel ^b  

^a ETH ZURICH   (Switzerland)

^b Eiffel Software ^*  (United States)

Author keywords

Automated software testing; Computers; Contracts; Data mining; Design and test; Instruments; Manuals; Object oriented programming; Software; Software engineering; Testing

Indexed keywords

EID: 70349446168     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2009.296     Document Type: Article

References (13)

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.