Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Web proxy servers
XHMBS: a formal model to support hypermedia specification
Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
Hypercharts: Extended Statecharts to Support Hypermedia Specification
IEEE Transactions on Software Engineering
Modeling Web application architectures with UML
Communications of the ACM
A statechart-based model for hypermedia applications
ACM Transactions on Information Systems (TOIS)
Analysis and testing of Web applications
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Model checking cobweb protocols for verification of HTML frames behavior
Proceedings of the 11th international conference on World Wide Web
Modeling Web Navigation by Statechart
COMPSAC '00 24th International Computer Software and Applications Conference
Model Checking the World Wide Web
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Dynamic Model Extraction and Statistical Analysis of Web Applications
WSE '02 Proceedings of the Fourth International Workshop on Web Site Evolution (WSE'02)
Web Site Analysis: Structure and Evolution
ICSM '00 Proceedings of the International Conference on Software Maintenance (ICSM'00)
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Properties and scopes in web model checking
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Proceedings of the IEEE/ACM international conference on Automated software engineering
Automated driver generation for analysis of web applications
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Bounded verification of Ruby on Rails data models
Proceedings of the 2011 International Symposium on Software Testing and Analysis
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Extracting EFSMs of web applications for formal requirements specification
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Evaluating the Consistency between Navigation and Data Models for Web Applications
International Journal of Information System Modeling and Design
| Hi-index | 0.00 |
We present an ongoing Ph.D. research developing a formal approach for modeling an existing web application using communicating finite automata model. We build the automata from a recorded browsing session. The obtained model could then be used to verify user-defined properties of the application with a model checker. We present an implementation of the approach that uses the model checker Spin.