On the predictability of random tests for object-oriented software

Proceedings of the 1st International Conference on Software Testing, Verification and Validation, ICST 2008

Volumn , Issue , 2008, Pages 72-81

  Ciupa, Ilinca ^a   Pretschner, Alexander ^a   Leitner, Andreas ^a   Oriol, Manuel ^a   Meyer, Bertrand ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; NUMBER THEORY; OBJECT ORIENTED PROGRAMMING; RANDOM NUMBER GENERATION; VERIFICATION;

RANDOM TESTING;

SOFTWARE TESTING;

EID: 50649100413     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2008.20     Document Type: Conference Paper

References (30)

1. Jtest. Parasoft Corporation. http://www.parasoft.com/.
2. J. H. Andrews, S. Haldar, Y. Lei, and F. C. H. Li. Tool support for randomized unit testing. In Proc. 1st Intl. Workshop on Random testing, pages 36-45, 2006.
3. M. Boshernitsan, R. Doong, and A. Savoia. From Daikon to Agitator: lessons and challenges in building a commercial tool for developer testing. In ISSTA '06: Proceedings of the 2006 International Symposium on Software Testing and Analysis, pages 169-180, New York, NY, USA, 2006. ACM Press.
4. C. Boyapati, S. Khurshid, and D. Marinov. Korat: automated testing based on Java predicates. In Proc. Intl. Symp. on Software Testing and Analysis, pages 123-133, 2002.
5. P. Chalin. Are practitioners writing contracts? In Springer LNCS 4157, pages 100-113, 2006.
6. T. Y. Chen, H. Leung, and I. K. Mak. Adaptive random testing. In M. J. Maher, editor, Proc. Asian Computing Science Conference, 2004.
7. I. Ciupa, A. Leitner, M. Oriol, and B. Meyer. Experimental assessment of random testing for object-oriented software. In Proc. Intl. Symp. on Software Testing and Analysis, pages 84-94, 2007.
8. K. Claessen and J. Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. ACM SIGPLAN Notices, 35(9):268-279, 2000.
9. C. Csallner and Y. Smaragdakis. JCrasher: an automatic robustness tester for Java. Software: Practice and Experience, 34(11):1025-1050, 2004.
10. C. Csallner and Y. Smaragdakis. DSD-Crasher: A Hybrid Analysis Tool for Bug Finding. In Proc. Intl. Symp. on Software Testing and Analysis, pages 245-254, July 2006.
11. M. d'Amorim, C. Pacheco, D. Marinov, T. Xie, and M. D. Ernst. An empirical comparison of automated generation and classification techniques for object-oriented unit testing. In Proc. Intl. Conf. on Automated Software Engineering, pages 59-68, 2006.
12. J. Duran and S. Ntafos. An evaluation of random testing. IEEE Transactions on Software Engineering, SE-10:438-444, July 1984.
13. J. E. Forrester and B. P. Miller. An empirical study of the robustness of Windows NT applications using random testing. In 4th USENIX Windows Systems Symposium, Seattle, August 2000.
14. P. Godefroid, N. Klarlund, and K. Sen. DART: directed automated random testing. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 213-223, 2005.
15. W. Gutjahr. Partition testing vs. random testing: The influence of uncertainty. IEEE Transactions on Software Engineering, 25(5):661674, September/October 1999.
16. D. Hamlet. When only random testing will do. In Proc. 1st Intl. Workshop on Random Testing, pages 1-9, 2006.
17. D. Hamlet and R. Taylor. Partition testing does not inspire confidence. IEEE Transactions on Software Engineering, 16 (12):1402-1411, December 1990.
18. R. Hamlet. Random testing. In J. Marciniak, editor, Encyclopedia of Software Engineering, pages 970-978. Wiley, 1994.
19. Y. Le Traon, B. Baudry, and J. Jézéquel. Design by Contract to Improve Software Vigilance. IEEE Transactions on Software Engineering, 32(8):571-586, 2006.
20. A. Leitner and I. Ciupa. AutoTest. http://se.inf.ethz.ch/people/leitner/ auto test/, 2005 - 2007.
21. B. P. Miller, L. Fredriksen, and B. So. An empirical study of the reliability of unix utilities. Commun. ACM, 33(12):32-44, 1990.
22. S. Ntafos. On random and partition testing. In Proc. Intl. Symp. on Software Testing and Analysis, pages 42-48, 1998.
23. C. Oriat. Jartege: a tool for random generation of unit tests for java classes. Technical Report RR-1069-I, Centre National de la Recherche Scientifique, Institut National Polytechnique de Grenoble, Universite Joseph Fourier Grenoble I, June 2004.
24. C. Pacheco and M. D. Ernst. Eclat: Automatic generation and classification of test inputs. In Proc. European Conf. on Object-Oriented Programming, pages 504-527, 2005.
25. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball. Feedback-directed random test generation. In Proc. Intl. Conf. on Software Engineering, pages 75-84, 2007.
26. A. Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, B. Sostawa, R. Zölch, and T. Stauner. One Evaluation of Model-Based Testing and its Automation. In Proc. Intl. Conf. on Software Engineering, pages 392-401, 2005.
27. M. Utting, A. Pretschner, and B. Legeard. A taxonomy of model-based testing. Technical Report 04/2006, Department of Computer Science, The University of Waikato (New Zealand), April 2006.
28. W. Visser, C. S. Pasareanu, and S. Khurshid. Test input generation with Java PathFinder. In Proc. Intl. Symp. on Software testing and analysis, pages 97-107, 2004.
29. E. Weyuker and B. Jeng. Analyzing partition testing strategies. IEEE Transactions on Software Engineering, 17(7):703-711, 1991.
30. T. Xie, D. Marinov, W. Schulte, and D. Notkin. Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution. In Proc. Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, pages 365-381, April 2005.