Modeling Web browser interactions and generating tests

Proceedings - 2008 International Conference on Computational Intelligence and Security, CIS 2008

Volumn 2, Issue , 2008, Pages 399-404

  Song, Bo ^a   Miao, Huaikou ^a   Chen, Shengbo ^a  

^a SHANGHAI UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

AIR NAVIGATION; ARTIFICIAL INTELLIGENCE; NAVIGATION; TREES (MATHEMATICS);

BROWSER INTERACTION; COVERAGE CRITERIA; NAVIGATION MODEL; ON THE FLIES; TEST GENERATIONS; WEB APPLICATION;

WEB BROWSERS;

EID: 60349123692     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/cis.2008.188     Document Type: Conference Paper

References (9)

1. Jessica Chen, Xiaoshan Zhao, " Formal Models for Web Navigations with Session Control and Browser Cache". ICFEM 2004: 46-60.
2. Giuseppe A. Di Lucca, Massimiliano Di Penta: Considering Browser Interaction in Web Application Testing. WSE 2003: 74-81.
3. J. Nielsen, Hypertext and Hypermedia, Academic Press Professional, Inc., San Diego, CA, USA, 1990.
4. Hongwei Zeng, Huaikou Miao, Jing Liu: Specification-based Test Generation and Optimization Using Model Checking. TASE 2007: 349-355
5. Marcelo Augusto Santos Turine, Maria Cristina Ferreira de Oliveira, Paulo Cesar Masiero: A Navigation-Oriented Hypertext Model Based on Statecharts. Hypertext 1997: 102-111
6. K. R. P. H. Leung, L. C. K. Hui, and S. M. Yiu et al., "Modeling Web Navigation by Statechart", (COMPSAC 2000), pp. 41-47.
7. M. Cristina and F. De Oliviera, "A Statechartbased Model for Hypermedia Applications", ACM Transactions on Information Systems, Vol. 19, No. 1, Jan. 2001, pp. 28-52.
8. A. Andrews, J. Offutt, and R. Alexander, "Testing Web Applications by Modeling with FSMs", Software and Systems Modeling, 2004.
9. Huaikou Miao, etc. Modeling Web Browser Interactions Using FSM. In Proceedings of the 2nd IEEE Asia-Pacific Service Computing Conference (APSCC07). pp. 211-217.