A survey of analysis models and methods in website verification and testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4607 LNCS, Issue , 2007, Pages 306-311

  Alalfi, Manar H ^a   Cordy, James R ^a   Dean, Thomas R ^a  

^a QUEEN S UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER APPLICATIONS; MATHEMATICAL MODELS; SYSTEMS ANALYSIS; VERIFICATION;

ANALYSIS MODELS; MODELLING TECHNIQUES; WEB APPLICATIONS (WAS);

WEBSITES;

EID: 38149062919     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73597-7_25     Document Type: Conference Paper

References (25)

1. Alain, M., Cordy, J.R., Dean, T.R.: A survey of analysis models and methods in website verification and testing. Technical report, School of Computing, Queen's University (2007)
2. Bordbar, B., Anastasakis, K.: MDA and analysis of web applications. In: Draheim, D., Weber, G. (eds.) TEAA 2005. LNCS, vol. 3888, pp. 44-55. Springer, Heidelberg (2006)
3. Licata, D.R., Krishnamurthi, S.: Verifying interactive web programs. In: ICASE, pp. 164-173. IEEE Computer Society, Los Alamitos (2004)
4. Sciascio, E.D., Donini, F.M., Mongiello, M., Piscitelli, G.: Anweb: a system for automatic support to web application verification. In: ICSEKE, pp. 609-616 (July 14-19, 2002)
5. Sciascio, E.D., Donini, F.M., Mongiello, M., Totaro, R., Castelluccia, D.: Design verification of web applications using symbolic model checking. In: Lowe, D.G., Gaedke, M. (eds.) ICWE 2005. LNCS, vol. 3579, pp. 69-74. Springer, Heidelberg (2005)
6. Ricca, F., Tonella, P.: Web site analysis: Structure and evolution. In: ICSM, pp. 76-86 (2000)
7. Haydar, M., Petrenko, A., Sahraoui, H.A.: Formal verification of web applications modeled by communicating automata. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 115-132. Springer, Heidelberg (2004)
8. Conallen, J.: Modeling web application architectures with UML. Communications of the ACM 42, 63-71 (1999)
9. de Alfaro, L.: Model checking the world wide web. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 337-349. Springer, Heidelberg (2001)
10. Benedikt, M., Freire, J., Godefroid, P.: Veriweb: Automatically testing dynamic web sites. In: IWWWC (May 2002)
11. Syriani, J.A., Mansour, N.: Modeling web systems using SDL. In: Yazici, A., Şener, C. (eds.) ISCIS 2003. LNCS, vol. 2869, pp. 1019-1026. Springer, Heidelberg (2003)
12. Tonella, P., Ricca, F.: A 2-layer model for the white-box testing of web applications. In: IWWE, pp. 11-19. IEEE Computer Society, Los Alamitos (2004)
13. Graunke, P.T., Findler, R.B., Krishnamurthi, S., Felleisen, M.: Modeling web interactions. In: Degano, P. (ed.) ESOP 2003 and ETAPS 2003. LNCS, vol. 2618, pp. 238-252. Springer, Heidelberg (2003)
14. Tonella, P., Ricca, F.: Dynamic model extraction and statistical analysis of web applications. In: IWWSE, pp. 43-52. IEEE Computer Society, Los Alamitos (2002)
15. Alpuente, M., Ballis, D., Falaschi, M.: A rewriting-based framework for web sites verification. ENTCS 124, 41-61 (2005)
16. Andrews, A.A., Offutt, J., Alexander, R.T.: Testing web applications by modeling with fsms. Software and System Modeling 4, 326-345 (2005)
17. Wu, Y., Outt, J.: Modeling and testing web-based applications. Technical report, George Mason University (2002)
18. Han, M., Hofmeister, C.: Modeling and verification of adaptive navigation in web applications. In: ICWE, pp. 329-336 (2006)
19. Chen, J., Zhao, X.: Formal models for web navigations with session control and browser cache. In: ICFEM, pp. 46-60 (2004)
20. Kung, D.C., Liu, C.H., Hsia, P.: An object-oriented web test model for testing web applications. In: COMPSAC, pp. 537-542 (2000)
21. Bellettini, C., Marchetto, A., Trentini, A.: Webuml: reverse engineering of web applications. In: Handschuh, H., Hasan, M.A. (eds.) SAC 2004. LNCS, vol. 3357, pp. 1662-1669. Springer, Heidelberg (2004)
22. Castelluccia, D., Mongiello, M., Ruta, M., Totaro, R.: Waver: A model checking-based tool to verify web application design. ENTCS 157, 61-76 (2006)
23. Knapp, A., Zhang, G.: Model transformations for integrating and validating web application models. In: Modellierung, pp. 115-128 (2006)
24. Winckler, M., Palanque, P.A.: Statewebcharts: A formal description technique dedicated to navigation modelling of web applications. In: Jorge, J.A., Jardim Nunes, N., Falcão e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol. 2844, pp. 61-76. Springer, Heidelberg (2003)
25. de Alfaro, L., Henzinger, T.A., Mang, F.Y.: MCWEB: A model-checking tool for web site debugging. In: WWW, pp. 86-87 (2001)