Formal Framework for Automated Analysis and Verification of Web-Based Applications

A
ASE
2004
19th IEEE International Conference on Automated Software Engineering (ASE'04)
Abstract - Formal Framework for Automated Analysis and Verification of Web-Based Applications

	This Article
	Subscribers, please Login Purchase article: $19 PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by May Haydar

19th IEEE International Conference on Automated Software Engineering (ASE'04)

Linz, Austria

September 20-September 24

ISBN: 0-7695-2131-2

	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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10022

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.