Generating parameterized unit tests

2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings

Volumn , Issue , 2011, Pages 364-374

  Fraser, Gordon ^a   Zeller, Andreas ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

assertions; test case generation; test oracles; unit testing

Indexed keywords

ASSERTIONS; AUTOMATED TEST GENERATIONS; COMPUTATION STEPS; CONCRETE BEHAVIOR; OPEN-SOURCE LIBRARIES; PARAMETERIZED; PROGRAM BEHAVIOR; STATE OF THE ART; TEST CASE GENERATION; TEST GENERATIONS; TEST INPUTS; TEST ORACLES; TEST RESULTS; UNIT TESTING; UNIT TESTS;

AUTOMATIC TEST PATTERN GENERATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONCRETE TESTING; PARAMETERIZATION; TESTING;

SOFTWARE TESTING;

EID: 80051920892     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2001420.2001464     Document Type: Conference Paper

References (27)

1. J. H. Andrews, S. Haldar, Y. Lei, and F. C. H. Li. Tool support for randomized unit testing. In RT '06: Proceedings of the 1st International Workshop on Random Testing, pages 36-45, New York, NY, USA, 2006. ACM.
2. A. Arcuri and X. Yao. Search based software testing of object-oriented containers. Information Sciences, 178(15):3075-3095, 2008.
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.
4. I. Ciupa, A. Leitner, M. Oriol, and B. Meyer. Artoo: adaptive random testing for object-oriented software. In ICSE '08: Proceedings of the 30th International Conference on Software Engineering, pages 71-80, New York, NY, USA, 2008. ACM.
5. C. Csallner and Y. Smaragdakis. JCrasher: an automatic robustness tester for Java. Software Practice and Experience, 34(11):1025-1050, 2004.
6. M. D. Ernst, J. H. Perkins, P. J. Guo, S. McCamant, C. Pacheco, M. S. Tschantz, and C. Xiao. The Daikon system for dynamic detection of likely invariants. Sci. Comput. Program., 69:35-45, December 2007.
7. R. B. Evans and A. Savoia. Differential testing: a new approach to change detection. In ESEC-FSE '07: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, pages 549-552, New York, NY, USA, 2007. ACM.
8. G. Fraser and A. Zeller. Mutation-driven generation of unit tests and oracles. In ISSTA'10: Proceedings of the ACM International Symposium on Software Testing and Analysis, pages 147-158. ACM, 2010.
9. P. Godefroid, N. Klarlund, and K. Sen. DART: directed automated random testing. In PLDI '05: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 213-223, New York, NY, USA, 2005. ACM.
10. K. Inkumsah and T. Xie. Improving structural testing of object-oriented programs via integrating evolutionary testing and symbolic execution. In ASE 2008: Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, pages 297-306, 2008.
11. K. Lakhotia, P. McMinn, and M. Harman. Automated test data generation for coverage: Haven't we solved this problem yet? In TAIC-PART '09: Proceedings of Testing: Academic & Industrial Conference - Practice And Research Techniques, pages 95-104, Los Alamitos, CA, USA, 2009. IEEE Computer Society.
12. Y. Lei and J. H. Andrews. Minimization of randomized unit test cases. In Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering, pages 267-276, Washington, DC, USA, 2005. IEEE Computer Society.
13. A. Leitner, M. Oriol, A. Zeller, I. Ciupa, and B. Meyer. Efficient unit test case minimization. In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, ASE '07, pages 417-420, New York, NY, USA, 2007. ACM.
14. P. McMinn. Search-based software test data generation: a survey: Research articles. Software Testing Verification Reliability, 14(2):105-156, 2004.
15. C. Pacheco and M. D. Ernst. Eclat: Automatic generation and classification of test inputs. In ECOOP 2005 - Object-Oriented Programming, 19th European Conference, pages 504-527, Glasgow, Scotland, July 27-29, 2005.
16. C. Pacheco and M. D. Ernst. Randoop: feedback-directed random testing for Java. In OOPSLA '07: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion, pages 815-816, New York, NY, USA, 2007. ACM.
17. D. Saff, S. Artzi, J. H. Perkins, and M. D. Ernst. Automatic test factoring for Java. In Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, ASE '05, pages 114-123, New York, NY, USA, 2005. ACM.
18. D. Schuler, V. Dallmeier, and A. Zeller. Efficient mutation testing by checking invariant violations. In ISSTA '09: Proceedings of the 18th International Symposium on Software Testing and Analysis, pages 69-80, New York, NY, USA, 2009. ACM.
19. K. Sen, D. Marinov, and G. Agha. CUTE: a concolic unit testing engine for C. In ESEC/FSE-13: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 263-272, New York, NY, USA, 2005. ACM.
20. K. Taneja and T. Xie. DiffGen: Automated regression unit-test generation. In ASE 2008: Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, pages 407-410, 2008.
21. S. Thummalapenta, M. Marri, T. Xie, N. Tillmann, and J. de Halleux. Retrofitting unit tests for parameterized unit testing. In Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2011), 2011.
22. N. Tillmann and J. N. de Halleux. Pex- white box test generation for .NET. In TAP 2008: International Conference on Tests And Proofs, volume 4966 of LNCS, pages 134 - 253. Springer, 2008.
23. P. Tonella. Evolutionary testing of classes. In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 119-128, New York, NY, USA, 2004. ACM.
24. S. Wappler and F. Lammermann. Using evolutionary algorithms for the unit testing of object-oriented software. In GECCO '05: Proceedings of the 2005 Conference on Genetic and Evolutionary Computation, pages 1053-1060, New York, NY, USA, 2005. ACM.
25. N. Williams, B. Marre, P. Mouy, and M. Roger. PathCrawler: automatic generation of path tests by combining static and dynamic analysis. In EDCC 2005: Proceedings ot the 5th European Dependable Computing Conference, volume 3463 of LNCS, pages 281-292. Springer, 2005.
26. T. Xie. Augmenting automatically generated unit-test suites with regression oracle checking. In ECOOP 2006: Proceedings of the 20th European Conference on Object-Oriented Programming, pages 380-403, July 2006.
27. T. Xie, D. Marinov, W. Schulte, and D. Notkin. Symstra: A framework for generating object-oriented unit tests using symbolic execution. In the 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 05), pages 365-381, Edinburgh, UK, April 2005.