loading...
Formal Framework for Automated Analysis and Verification of Web-Based Applications
Linz, Austria September 20-September 24
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2004.1002219th IEEE International Conference on ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
May Haydar, "Formal Framework for Automated Analysis and Verification of Web-Based Applications," Automated Software Engineering, International Conference on, pp. 410-413, 19th IEEE International Conference on Automated Software Engineering (ASE'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/ASE.2004.10022,
author = {May Haydar},
title = {Formal Framework for Automated Analysis and Verification of Web-Based Applications},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {2004},
issn = {1068-3062},
pages = {410-413},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10022},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Automated Software Engineering, International Conference on
TI - Formal Framework for Automated Analysis and Verification of Web-Based Applications
SN - 1068-3062
SP410
EP413
A1 - May Haydar,
PY - 2004
KW - null
VL - 0
JA - Automated Software Engineering, International Conference on
ER -
 
May Haydar, Universit? de Montr?al, Canada
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.
Citation:
May Haydar, "Formal Framework for Automated Analysis and Verification of Web-Based Applications," ase, pp.410-413, 19th IEEE International Conference on Automated Software Engineering (ASE'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.