A rewriting logic approach to the formal specification and verification of web applications

@article{Alpuente2014ARL,
  title={A rewriting logic approach to the formal specification and verification of web applications},
  author={Mar{\'i}a Alpuente and Demis Ballis and Daniel Romero},
  journal={Sci. Comput. Program.},
  year={2014},
  volume={81},
  pages={79-107}
}
This paper develops a Rewriting Logic framework for the automatic specification and verification of Web applications that considers the critical aspects of concurrent Web interactions, browser navigation features (e.g., forward/backward navigation, page refresh, and new window/tab opening), and Web script evaluation. By encompassing the main features of the most popular Web scripting languages (e.g., PHP, ASP, and Java Servlets), our scripting language is powerful enough to model the dynamics… CONTINUE READING
Related Discussions
This paper has been referenced on Twitter 1 time. VIEW TWEETS

References

Publications referenced by this paper.

R . Message , A . Mycroft , Controlling Control Flow in Web Applications

R. Findler, S. Krishnamurthi, M. Felleisen
Modeling Web Interactions , in : 12 th European Symposium on Programming , ESOP 2003 , volume 2618 of Lecture Notes in Computer Science • 2007

Similar Papers

Loading similar papers…