Rigorous and automatic testing of web applications

Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002

Volumn , Issue , 2012, Pages 280-285

  Jia, Xiaoping ^a   Liu, Hongming ^a  

^a DEPAUL UNIVERSITY   (United States)

Author keywords

Formal specifications; Software testing; Web applications; XML

Indexed keywords

APPLICATIONS; AUTOMATIC TESTING; QUALITY ASSURANCE; SOFTWARE ENGINEERING; SOFTWARE TESTING; SPECIFICATIONS; XML;

FORMAL SPECIFICATION; PROTOTYPE TOOLS; TEST CASE; TOOLS FOR TESTING; WEB APPLICATION;

WORLD WIDE WEB;

EID: 84904170357     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. B. Beizer, Software Testing Techniques, 2nd edition. International Thomson Computer Press 1990
2. X. Jia, A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development, Proc. of the 21st Annual IEEE International Computer Software and Applications Conference, August 1997, Washington, D. C., USA. pp. 240-245.
3. X. Jia, An Approach to Animating Z Specifications, Proc. of the 19th Annual IEEE International Computer Software and Application Conference. August 1995, Dallas, TX. pp. 108-113.
4. X. Jia, Model-Based Formal Specification Directed Testing of Abstract Data Types, Proc. of the 17th Annual IEEE International Computer Software and Application Conference, Phoenix, Arizona, November 1993, pp. 360-366.
5. F. Ricca and P. Tonella, Analysis and Testing of Web Applications, Proc. of the 23rd International Conference on Software Engineering, 2001, Toronto, Ontario, Canada. pp. 25-34
6. B. M. Subraya and S. V. Subrahmanya, Object driven Performance Testing of Web Applications, The First Asia-Pacific Conference on Quality Software, October 2000 HongKong, China.
7. J. Yang, J. Huang and F. Wang, An Object-Oriented Architecture Supporting Web Application Testing, The 23rd Annual International Computer Software and Application Conference, October 1999, Phoenix, Arizona, USA.
8. C. Liu, D. Kung and P. Hsia, Object-Based Data Flow Testing of Web Application, The First Asia-Pacific Conference on Quality Software, October 2000 HongKong, China.
9. E. Hieatt and R. Mee, Going Faster: Testing the Web Application, IEEE Software March/April 2002 (Vol. 19, No. 2)
10. ParaSoft, WebKing White Paper, http://thewebking.com/products/webking/ papers
11. Rational Software, Visual Test 4.0 White Paper, http://www.rational.com/ products/visualtest
12. Softbridge Inc., Web Analyst, http://www.softbridge.com
13. Sun Microsystems, SunTest Suite, http://www.sun.com/suntest
14. Extensible Markup Language (XML) 1.0, Second Edition, W3C Recommendation, 6 October 2000
15. XML Path Language (XPath Version 1.0), W3C Recommendation, 16 November 1999
16. JUnit Frameworks, http://www.junit.org
17. HttpUnit Java API, http://www.httpunit.org/doc/api/index.html