Automated verification and test case generation for input validation

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2006, Pages 29-35

  Liu, Hui ^a   Tan, Hee Beng Kuan ^a  

^a NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

Author keywords

empirical based property; input validation; software testing; software verification

Indexed keywords

AUTOMATED VERIFICATION; EMPIRICAL PROPERTIES; EMPIRICAL-BASED PROPERTY; EXTERNAL ENVIRONMENTS; INPUT VALIDATION; OPEN SOURCE SYSTEM; SOURCE CODES; TEST CASE; TEST CASE GENERATION;

AUTOMATION; OPEN SYSTEMS; SOFTWARE TESTING; TESTING; VERIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 77953581307     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138929.1138936     Document Type: Conference Paper

References (18)

1. Bechini, A. and Tai, K.-C., Design of a toolset for dynamic analysis of concurrent Java programs. in Proceedings 6th International Workshop on Program Comprehension. IWPC'98, 24-26 June 1998, (Ischia, Italy, 1998), IEEE Comput. Soc, 190-197.
2. Cardell-Oliver, R. and Glover, T., A practical and complete algorithm for testing real-time systems. in Formal Techniques in Real-Time and Fault-Tolerant Systems. 5th International Symposium, FTRTFT'98, 14-18 Sept. 1998, (Lyngby, Denmark, 1998), Springer-Verlag, 251-261.
3. Carver, R.H. and Tai, K.-C. Use of sequencing constraints for specification-based testing of concurrent programs. IEEE Transactions on Software Engineering, 24 (6). 471-490.
4. China Webmaster: http://code.cnzz.cn
5. Gupta, N., Mathur, A.P. and Soffa, M.L., Generating test data for branch coverage. in Proceedings of ASE 2000 15th IEEE International Automated Software Engineering Conference, 11-15 Sept. 2000, (Grenoble, France, 2000), IEEE Comput. Soc, 219-227.
6. Hayes, J.H. and Offutt, A.J. Increased software reliability through input validation analysis and testing. Proceedings of the 10th International Symposium on Software Reliability Engineering, ISSRE'99. 199-209.
7. Hoffman, D. and Strooper, P., Tools and techniques for Java API testing. in Proceedings 2000 Australian Software Engineering Conference, 28-29 April 2000, (Canberra, ACT, Australia, 2000), IEEE Comput. Soc, 235-245.
8. JABA, http://www.cc.gatech.edu/aristotle/Tools/jaba.html
9. Mandrioli, D., Morasca, S. and Morzenti, A. Generating test cases for real-time systems from logic specifications. ACM Transactions on Computer Systems, 12 (4). 365-398.
10. Mansour, N. and Salame, M. Data generation for path testing. Software Quality Journal, 12 (2). 121-136.
11. MSDN, Design Guidelines for Secure Web Application: http://msdn. microsoft.com/library/default.asp?url=/library/en-us/dnnetsec/html/THCMCh04.asp
12. Muccini, H., Inverardi, P. and Bertolino, A. Using software architecture for code testing. IEEE Transactions on Software Engineering, 30 (3). 160-171.
13. Offutt, J., Wu, Y., Du, X. and Huang, H., Bypass testing of Web applications. in 15th International Symposium on Software Reliability Engineering, 2-5 Nov. 2004, (Saint-Malo, Bretagne, France, 2004), IEEE Comput. Soc, 187-197.
14. Planet Source Code: http://www.pscode.com
15. Sourceforge: http://sourceforge.net
16. Tai, K.-C. Theory of fault-based predicate testing for computer programs. IEEE Transactions on Software Engineering, 22 (8). 552-562.
17. Taylor, R.N., Levine, D.L. and Kelly, C.D. Structural testing of concurrent programs. IEEE Transactions on Software Engineering, 18 (3). 206-215.
18. Turner, C.R., Fuggetta, A., Lavazza, L. and Wolf, A.L. A conceptual basis for feature engineering. Journal of Systems and Software, 49 (1). 3-1