Model checking class specifications for Web applications
Author:
Choi E.-H.,Watanabe H.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On the Compliance of Access Control Policies in Web Applications;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2018-12-30
2. Modelling methods for web application verification and testing: state of the art;Software Testing, Verification and Reliability;2009-12