Testing container classes: Random or systematic?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6603 LNCS, Issue , 2011, Pages 262-277

  Sharma, Rohan ^a   Gligoric, Milos ^a   Arcuri, Andrea ^b   Fraser, Gordon ^c   Marinov, Darko ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b SIMULA RESEARCH LABORATORY   (Norway)

^c SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAMMING LANGUAGE; RANDOM TESTING; STANDARD LIBRARIES; TESTING TECHNIQUE;

ABSTRACTING; DATA STRUCTURES; RESEARCH; SOFTWARE ENGINEERING; TESTING;

CONTAINERS;

EID: 79953200857     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19811-3_19     Document Type: Conference Paper

References (34)

1. Jtest, http://www.parasoft.com/jsp/products/jtest.jsp
2. JUnit, http://junit.sourceforge.net/
3. Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, Cambridge (2008)
4. Andrews, J.H., Groce, A., Weston, M., Xu, R.G.: Random test run length and effectiveness. In: International Conference on Automated Software Engineering (ASE), pp. 19-28 (2008)
5. Andrews, J.H., Menzies, T., Li, F.C.: Genetic algorithms for randomized unit testing. IEEE Transactions on Software Engineering (TSE) 99 (2010) (preprints)
6. Arcuri, A.: Insight knowledge in search based software testing. In: Genetic and Evolutionary Computation Conference (GECCO), pp. 1649-1656 (2009)
7. Arcuri, A.: Longer is better: On the role of test sequence length in software testing. In: International Conference on Software Testing, Verification and Validation (ICST), pp. 469-478 (2010)
8. Arcuri, A., Briand, L.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: International Conference on Software Engineering, ICSE (to appear, 2011)
9. Arcuri, A., Iqbal, M.Z., Briand, L.: Formal analysis of the effectiveness and predictability of random testing. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 219-229 (2010)
10. Arcuri, A., Yao, X.: Search based software testing of object-oriented containers. Information Sciences 178(15), 3075-3095 (2008)
11. Ball, T.: A theory of predicate-complete test coverage and generation. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2004. LNCS, vol. 3657, pp. 1-22. Springer, Heidelberg (2005)
12. Baresi, L., Lanzi, P.L.,Miraz, M.: TestFul: An evolutionary test approach for Java. In: International Conference on Software Testing, Verification and Validation (ICST), pp. 185-194 (2010)
13. Csallner, C., Smaragdakis, Y., Xie, T.: DSD-Crasher: A hybrid analysis tool for bug finding. ACM Transactions on Software Engineering and Methodology (TOSEM) 17(8) (2008)
14. d'Amorim, M., Pacheco, C., Xie, T., Marinov, D., Ernst, M.D.: An empirical comparison of automated generation and classification techniques for object-oriented unit testing. In: International Conference on Automated Software Engineering (ASE), pp. 59-68 (2006)
15. Duran, J.W., Ntafos, S.C.: An evaluation of random testing. IEEE Transactions on Software Engineering (TSE) 10(4), 438-444 (1984)
16. Frankl, P.G.,Weiss, S.N.: An experimental comparison of the effectiveness of branch testing and data flow testing. IEEE Transactions on Software Engineering (TSE) 19(8), 774-787 (1993)
17. Galeotti, J., Rosner, N., López Pombo, C., Frias, M.: Analysis of invariants for efficient bounded verification. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 25-36 (2010)
18. Hamlet, D., Taylor, R.: Partition testing does not inspire confidence. IEEE Transactions on Software Engineering (TSE) 16(12), 1402-1411 (1990)
19. Inkumsah, K., Xie, T.: Improving structural testing of object-oriented programs via integrating evolutionary testing and symbolic execution. In: International Conference on Automated Software Engineering (ASE), pp. 297-306 (2008)
20. Myers, G.: The Art of Software Testing. Wiley, New York (1979)
21. Pacheco, C., Lahiri, S.K., Ernst, M.D., Ball, T.: Feedback-directed random test generation. In: International Conference on Software Engineering (ICSE), pp. 75-84 (2007)
22. Ribeiro, J.C.B., Zenha-Rela, M.A., de Vega, F.F.: Test case evaluation and input domain reduction strategies for the evolutionary testing of object-oriented software. Information and Software Technology 51(11), 1534-1548 (2009)
23. Ribeiro, J.C.B., Zenha-Rela, M.A., de Vega, F.F.: Enabling object reuse on genetic programming-based approaches to object-oriented evolutionary testing. In: Esparcia-Alcázar, A.I., Ekárt, A., Silva, S., Dignum, S., Uyar, A.Ş . (eds.) EuroGP 2010. LNCS, vol. 6021, pp. 220-231. Springer, Heidelberg (2010)
24. Schuler, D., Zeller, A.: Javalanche: Efficient mutation testing for Java. In: Symposium on The Foundations of Software Engineering (FSE), pp. 297-298 (2009)
25. Sharma, R., Gligoric, M., Jagannath, V., Marinov, D.: A comparison of constraint-based and sequence-based generation of complex input data structures. In:Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA 2010), pp. 337-342 (2010)
26. Staats, M., Pasareanu, C.: Parallel symbolic execution for structural test generation. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 183-194 (2010)
27. Tonella, P.: Evolutionary testing of classes. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 119-128 (2004)
28. Vargha, A., Delaney, H.D.: A critique and improvement of the CL common language effect size statistics of McGraw and Wong. Journal of Educational and Behavioral Statistics 25(2), 101-132 (2000)
29. Visser, W., Pasareanu, C.S., Khurshid, S.: Test input generation with Java PathFinder. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 97-107 (2004)
30. Visser, W., Pasareanu, C.S., Pelànek, R.: Test input generation for Java containers using state matching. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 37-48 (2006)
31. Wappler, S., Wegener, J.: Evolutionary unit testing of object-oriented software using strongly-typed genetic programming. In: Genetic and Evolutionary Computation Conference (GECCO), pp. 1925-1932 (2006)
32. Weyuker, E.J., Jeng, B.: Analyzing partition testing strategies. IEEE Transactions on Software Engineering (TSE) 17(7), 703-711 (1991)
33. Xie, T., Marinov, D., Notkin, D.: Rostra: A framework for detecting redundant object-oriented unit tests. In: International Conference on Automated Software Engineering (ASE), pp. 196-205 (2004)
34. Xie, T., Marinov, D., Schulte, W., Notkin, D.: Symstra: A framework for generating object-oriented unit tests using symbolic execution. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 365-381. Springer, Heidelberg (2005)