Design verification of Web Applications using symbolic model checking

被引：0
|
作者：
Di Sciascio, E [1 ]
Donini, FM
Mongiello, M
Totaro, R
Castelluccia, D
机构：
[1] Politecn Bari, Dipartimento Elettrotech & Elettron, Bari, Italy
[2] Univ Tuscia, Viterbo, Italy
来源：
WEB ENGINEERING, PROCEEDINGS | 2005年 / 3579卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Fast and reliable development of Web Applications (WA) calls for methods that address systematic design, and tools that cover all the aspects of the design process and complement the current implementation technologies. To ensure the reliability of WA it is important that they be validated and verified at early design phase. We focus on black-box, automated verification of the UML design of a WA using Model Checking techniques.
引用
收藏
页码：69 / 74
页数：6
相关论文
共 50 条
  • [31] Symbolic Model Checking Using Intervals of Vectors
    Morard, Damien
    Donati, Lucas
    Buchs, Didier
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2024, 2024, 14628 : 269 - 290
  • [32] Model checking class specifications for web applications
    Choi, EH
    Watanabe, H
    12TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2005, : 67 - 75
  • [33] Modeling, Verification and Testing of Web Applications Using Model Checker
    Homma, Kei
    Izumi, Satoru
    Takahashi, Kaoru
    Togashi, Atsushi
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2011, E94D (05): : 989 - 999
  • [34] Symbolic model checking
    McMillan, KL
    VERIFICATION OF DIGITAL AND HYBRID SYSTEM, 2000, 170 : 117 - 137
  • [35] Model-Checking Web Applications with Web-TLR
    Alpuente, Maria
    Ballis, Demis
    Espert, Javier
    Romero, Daniel
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 341 - +
  • [36] Verification of web service flows with model-checking techniques
    Nakajima, S
    FIRST INTERNATIONAL SYMPOSIUM ON CYBER WORLDS, PROCEEDINGS, 2002, : 378 - 385
  • [37] A Bounded Model Checking Approach for the Verification of Web Services Composition
    Zahoor, Ehtesham
    Munir, Kashif
    Perrin, Olivier
    Godart, Claude
    INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2013, 10 (04) : 62 - 81
  • [38] Model Checking for Verification in UAV Cooperative Control Applications
    Humphrey, Laura R.
    Humphrey, L. R. (laura.humphrey@wpafb.af.mil), 1600, Springer Verlag (444): : 69 - 117
  • [39] On the Verification of a WiMax Design Using Symbolic Simulation
    Al-Akhras, Salim Ismail
    Tahar, Sofiene
    Nicolescu, Gabriela
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (122): : 23 - 37
  • [40] VECTORIZED SYMBOLIC MODEL CHECKING OF COMPUTATION TREE LOGIC FOR SEQUENTIAL MACHINE VERIFICATION
    HIRAISHI, H
    HAMAGUCHI, K
    OCHI, H
    YAJIMA, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 214 - 224
12345