Test data generation for C programs with string-handling functions

Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008

Volumn , Issue , 2008, Pages 219-226

  Ruan, Hui ^a,b   Zhang, Jian ^a   Yan, Jun ^a  

^a INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

^b UNIVERSITY OF CHINESE ACADEMY OF SCIENCES   (China)

Author keywords

[No Author keywords available]

Indexed keywords

C PROGRAMS; CHARACTER STRINGS; INTERNATIONAL SYMPOSIUM; TEST DATA;

C (PROGRAMMING LANGUAGE); REGRESSION ANALYSIS; SOFTWARE ENGINEERING;

TESTING;

EID: 51749113072     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TASE.2008.25     Document Type: Conference Paper

References (20)

1. R. S. Boyer, B. Elspas, and K. N. Levitt. SELECT - a formal system for testing and debugging programs by symbolic execution. In Proceedings of the international conference on Reliable software, pages 234-245, 1975.
2. L. A. Clarke. A system to generate test data and symbolically execute programs. IEEE Trans. Softw. Eng., 2(3):215-222, 1976.
3. J. Edvardsson. A survey on automatic test data generation. In Proceedings of the Second Conference on Computer Science and Engineering in Linköping, pages 21-28, 1999.
4. M. Emmi, R. Majumdar, and K. Sen. Dynamic test input generation for database applications. In Proceedings of the 2007 international symposium on Software testing and analysis (ISSTA'07), pages 151-162, 2007.
5. J. C. King. Symbolic execution and program testing. Commun. ACM, 19(7):385-394, 1976.
6. B. Korel. Automated software test data generation. IEEE Trans. Softw. Eng., 16(8):870-879, 1990.
7. N. Mansour and M. Salame. Data generation for path testing. Software Quality Control, 12(2):121-136, 2004.
8. P. McMinn. Search-based software test data generation: a survey. Softw. Test. Verif Reliab., 14(2):105-156, 2004.
9. G.J. Myers. The Art of Software Testing, Second Edition. John Wiley & Sons, Inc., New York, USA, 2004.
10. M. Prasanna, S. Sivanandam, R. Venkatesan, and R. Sundarrajan. A survey on automatic test case generation. Academic Open Internet Journal, 15, 2005.
11. K. Sen, D. Marinov, and G. Agha. Cute: a concolic unit testing engine for C. In Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-13), pages 263-272, 2005.
12. N. Williams, B. Marre, and P. Mouy. On-the-fly generation of k-path tests for C functions. In Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), pages 290-293, 2004.
13. Z. Xu and J. Zhang. A test data generation tool for unit testing of C programs. In Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), pages 107-116, 2006.
14. J. Zhang. Symbolic execution of program paths involving pointer and structure variables. In Proceedings of the Fourth International Conference on Quality Software (QSIC 2004), pages 87-92, 2004.
15. J. Zhang and X. Wang. A constraint solver and its application to path feasibility analysis. International Journal of Software Engineering and Knowledge Engineering, 11(2):139-156, 2001.
16. J. Zhang, C. Xu, and X. Wang. Path-oriented test data generation using symbolic execution and constraint solving techniques. In Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004.
17. R. Zhao and M. R. Lyu. Character string predicate based automatic software test data generation. In Proceedings of the Third International Conference on Quality Software (QSIC 2003), pages 255-262, 2003.
18. R. Zhao, M. R. Lyu, and Y. Min. Domain testing based on character string predicate. In 12th Asian Test Symposium (ATS 2003), pages 96-101, 2003.
19. R. Zhao and Y Min. Automatic test data generation of character string based on predicate slice (in Chinese). Journal Of Computer Research And Development, 39(4):473-481, 2002.
20. H. Zhu, P. A. V. Hall, and J. H. R. May. Software unit test coverage and adequacy. ACM Comput. Surv., 29(4):366-427, 1997.