Character string predicate based automatic software test data generation

Proceedings - International Conference on Quality Software

Volumn 2003-January, Issue , 2003, Pages 255-262

  Zhao, R ^a   Lyu, M R ^b  

^a BEIJING UNIVERSITY OF CHEMICAL TECHNOLOGY   (China)

^b CHINESE UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; DATA COMMUNICATION SYSTEMS;

AUTOMATIC SOFTWARE TESTS; AUTOMATIC TEST DATA GENERATION; CHARACTER STRINGS; GRADIENT DESCENT TECHNIQUES; INPUT VARIABLES; TEST DATA;

SOFTWARE TESTING;

EID: 33748288469     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2003.1319109     Document Type: Conference Paper

References (23)

1. B. Beizer. "Software Testing Techniques," International Thomson Publishing Inc., 2nd edition, 1990.
2. P. C. Jorgensen. "Software Testing: A Craftsman's Approach". CRC Press LLC. 2002.
3. J. Duran and S. Ntafos. "An Evaluation of Random Testing." IEEE Transactions on Software Engineering, 10 (4), 1984, pp. 438-444.
4. M. R. Girgis. "An Experimental Evaluation of a Symbolic Execution System," Software Engineering Journal, July 1992, pp. 285-290.
5. P.D. Coward. "Symbolic Execution and Testing." Information and Software Technique, Vol. 33, No. 1, 1999, pp. 229-239.
6. W. H. Deason, D.B. Brown, K.H. Chang and J.H. Cross, II. "A Rule-based Software Test Data Generator," IEEE Transactions on Knowledge and Data Engineering, Vol. 3 No.1, March 1991, pp. 108-117.
7. A. Gotlieb, B. Botella, and M. Rueher. "Automatic Test Data Generation using Constraint Solving Techniques." International Symposium on Software Testing and Analysis, 1998, pp. 53-62.
8. A. Hajnal and I. Forgacs. "An Applicable Test Data Generation Algorithm for Domain Errors," ISSTA'98, Proceedings of ACM SIGSOFT International symposium on Software Testing and Analysis, Florida, USA, March 2-5, 1998, pp. 63-72.
9. C. C. Michael, G. McGraw, and M. A. Schatz. "Generating Software Test Data by Evolution," IEEE Transactions on Software Engineering, Vol.27, No.12, Dec. 2001, pp. 1085-1110.
10. B. Korel. "Automated Software Test Data Generation", IEEE Transactions on Software Engineering, Vol.16, No.8, Auguest.1990, pp. 870-879.
11. A. Paradkar, K. C. Tai, and M. A. Vouk. "Automatic Test-Generation for Predicates," IEEE Transactions on Reliability, VOL, 45, NO 4, 1996 December, pp. 515-530.
12. K. C. Tai. "Theory of Fault-based Predicate Testing for Computer Programs." IEEE Transactions on Software Engineering, Vol. 22, August 1996, pp. 552-562.
13. B. Jeng and E. J. Weyuker, "A Simplified Domain-Testing Strategy." ACM Trans. Software Engineering and Methodology, Vol.3, No.3, July 1994, pp. 254-270.
14. M. J. Gallagher and V. L. Narasimhan. "Adtest: A Test Data Generation Suite for Ada Software System." IEEE Transactions on Software Engineering, Vol. 23, No. 8, Aug. 1997, pp.473-484.
15. R. Ferguson, and B. Korel. "The Chaining Approach for Software Test Data Generation," ACM Transactions on Software Engineering and Methodology, 1996, Vol.5, No.1, pp. 63-86.
16. B. F. Jones, H. H. Sthamer and D. E. Eyres. "Automatic Structural Testing using Genetic Algorithms." Software Engineering Journal, Sept. 1996, pp. 299-306.
17. N. Tracey, J. Clark, and K. Mander. "Automated Program Flaw Finding Using Simulated Annealing," Proceedings of International Symposium on Software Testing and Analysis, Software Engineering, Notes, March 1998, pp.73-81.
18. L. A. Clarke, A. Podgurski, D. J. Richardson, and S. J. Zeil. "A Formal Evaluation of Data Flow Path Selection Criteria," IEEE Transactions on Software Engineering, Vol.15, No. 11, Nov. 1989, pp. 1318-1332.
19. L. M. Peres, S. R. Vergilio, M. Jino and J .C. Maldonado, "Path Selection in the Structural Testing: Proposition, Plementation and Application of Strategies, Proceedings of International Conference of the Chilean, Computer Science Society, 2001. SCCC '01, Chilean, pp. 240-246
20. B. Marick. "The Craft of Software Testing," PTR Prentice Hall, NJ, 1995.
21. T. W. Williams, M. R. Mercer, J. P. Mucha and R. Kapur. "Code Coverage, What Does it Mean in Terms of Quality" Proceedings of Annual on Reliability and Maintainability Symposium, 2001, pp. 420-424.
22. M. Chen, M. R. Lyu, and E. Wong, "Effect of Code Coverage on Software Reliability Measurement", IEEE Transactions on Reliability, Vol. 50, No. 2, June 2001, pp.165-170.
23. M. R. Lyu, J. R. Horgan, and S. London, "A Coverage Analysis Tool for the Effectiveness of Software Testing", IEEE Transactions on Reliability, Vol. 43, No. 4, December 1994, pp. 527-535.