Drawing graphs: methods and models
Drawing graphs: methods and models
Architecture recovery of web applications
Proceedings of the 24th International Conference on Software Engineering
Understanding Web Applications through Dynamic Analysis
IWPC '04 Proceedings of the 12th IEEE International Workshop on Program Comprehension
Verifying Web Applications Using Bounded Model Checking
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
Formal Framework for Automated Analysis and Verification of Web-Based Applications
Proceedings of the 19th IEEE international conference on Automated software engineering
Integrating Static and Dynamic Analysis to improve the Comprehension of Existing Web Applications
WSE '05 Proceedings of the Seventh IEEE International Symposium on Web Site Evolution
Automating Functional Tests Using Selenium
AGILE '06 Proceedings of the conference on AGILE 2006
Automatic Extraction and Verification of Page Transitions in aWeb Application
APSEC '07 Proceedings of the 14th Asia-Pacific Software Engineering Conference
State-Based Testing of Ajax Web Applications
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Modelling methods for web application verification and testing: state of the art
Software Testing, Verification & Reliability
Proceedings of the IEEE/ACM international conference on Automated software engineering
Using the Model Checker Spin for Web Application Design
SAINT '10 Proceedings of the 2010 10th IEEE/IPSJ International Symposium on Applications and the Internet
Modeling Web Applications Design with Automata and Its Verification
ISADS '11 Proceedings of the 2011 Tenth International Symposium on Autonomous Decentralized Systems
GA-based and design by contract approach to test generation for EFSMs
EWDTS '10 Proceedings of the 2010 East-West Design & Test Symposium
| Hi-index | 0.00 |
Web applications have begun to be used in wide variety of areas including social networks, shopping, online banking, control systems and other critical systems. Complexity of applications have raised as well as requirements for security and traceability. Due to short delivery times and changing requirements, quality assurance of web applications is usually an informal process. Formal methods have been proven to be safe approach to the specification, verification, and testing of systems. The aim of the proposed research is to make formal methods applicable to the web applications development. A technique that could extract extended finite state model by combination of static and dynamic analysis is developed. This method supports both applications with transitions between web pages and single-page applications with AJAX requests and dynamic DOM modifications. Two different algorithms are proposed that simplify the state model by merging similar states to achieve a human readable models even for the complex real world web applications. The obtained model could be used to define formal requirements for the application and to make model checking part of the continuous integration process for web development.