Automatic extraction and verification of state-models for web applications

被引：0
|
作者：
State Univ. of Information Technologies, Mechanics and Optics, St. Petersburg, Russia [1 ]
机构：
来源：
Lect. Notes Electr. Eng. | / VOL. 2卷 / 157-160期
关键词：
Compendex;
D O I：
2011 3rd International Asia Conference on Informatics in Control, Automation and Robotics, CAR 2011
中图分类号：
学科分类号：
摘要：
Model checking
引用
收藏
相关论文
共 5 条
  • [1] Runtime Verification on Abstracted Finite State Models
    Jevitha, K.P.
    Jayaraman, Bharat
    Sethumadhavan, M.
    SSRN, 2022,
  • [2] Mining Workflow Models from Web Applications
    SAP SE, Saarland University, Department for Software Engineering, Germany
    IEEE Trans Software Eng, 12 (1184-1201):
  • [3] Invariant-based automatic testing of modern web applications
    Department of Electrical and Computer Engineering, 2332 Main Mall, University of British Columbia, Vancouver, BC V6T 1Z4, Canada
    不详
    IEEE Trans Software Eng, 1 (35-53):
  • [4] Automatic reverse engineering of interactive dynamic Web applications to support adaptation across platforms
    Bellucci, Federico
    Ghiani, Giuseppe
    Paternò, Fabio
    Porta, Claudio
    International Conference on Intelligent User Interfaces, Proceedings IUI, 2012, : 217 - 226
  • [5] Using finite state machines as design and engineering model for database backed web applications
    Vienna University of Technology, Institute of Computer Technology, Gusshausstrasse 27-29/384, Vienna
    A-1040, Austria
    Proc. Annu. Hawaii Int. Conf. Syst. Sci.,
1