Modelling Method of Web Navigation for Automatic Verification and Test Generation using State Machine Diagrams-Reference-Cited by-同舟云学术

Modelling Method of Web Navigation for Automatic Verification and Test Generation using State Machine Diagrams

Published:2016 Issue:3 Volume:136 Page:423-433
ISSN:0385-4221
Container-title:IEEJ Transactions on Electronics, Information and Systems
language:en
Short-container-title:IEEJ Trans.EIS

Author:

Yokogawa Tomoyuki¹,Sato Yoichiro¹,Arimoto Kazutami¹

Affiliation:

1. Okayama Prefectural University

Publisher

Institute of Electrical Engineers of Japan (IEE Japan)

Subject

Electrical and Electronic Engineering

Link

https://www.jstage.jst.go.jp/article/ieejeiss/136/3/136_423/_pdf

Reference17 articles.

1. (1) S. P. Christodoulou, P. A. Zafiris, and T. S. Papatheodorou: “Web Engineering: The Developers' View and a Practitioner's Approach”, Proc. of the 2nd ICSE Workshop on Web Eng., pp. 75-92 (2000)

2. (2) C.-H. Liu, D. C. Kung, P. Hsia, and C.-T. Hsu: “Structural Testing of Web Applications”, Proc. of the 11th Int'l Symp. on Softw. Reliability Eng. (ISSRE 2000), pp. 84-96 (2000)

3. (3) F. Ricca and P. Tonella: “Analysis and Testing of Web Applications”, Proc. of the 23rd Int'l Conf. on Softw. Eng. (ICSE 2001), pp. 25-34 (2001)

4. (4) E. Di Sciascio, F. M. Donini, M. Mongiello, and G. Piscitelli: “AnWeb: A System for Automatic Support to Web Application Verification”, Proc. of the 14th Int'l Conf. on Softw. Eng. and Knowledge Eng. (SEKE 2002), pp. 609-616 (2002)

5. (5) S. Hallé, T. Ettema, C. Bunch, and T. Bultan: “Eliminating Navigation Errors in Web Applications via Model Checking and Runtime Enforcement of Navigation State Machines”, Proc. of the IEEE/ACM Int'l Conf. on Automated Softw. Eng. (ASE 2010), pp. 235-244 (2010)