@article {ABF06,
	title = {Rule-based Verification of Web Sites},
	journal = {International Journal on Software Tools for Technology Transfer (STTT)},
	volume = {8},
	number = {6},
	year = {2006},
	pages = {565{\textendash}585},
	abstract = {In this paper, we develop a framework for the automated
verification of Web sites which can be used to specify integrity
conditions for a given Web site, and then automatically check
whether these conditions are fulfilled. First, we provide a
rewriting-based, formal specification language which allows us to
define syntactic as well as semantic properties of the Web site.
Then, we formalize a verification technique which detects both
incorrect/forbidden patterns as well as lack of information, that
is, incomplete/missing Web pages, inside the Web site. Useful
information is gathered during the verification process which can
be used  to repair the Web site. Our methodology is based on a
novel  rewriting-based technique, called {\em partial rewriting},
in which the traditional pattern matching mechanism is replaced by
tree  simulation, a suitable technique for recognizing
patterns inside semistructured documents. The framework has been
implemented in the prototype GVerdi, which is publicly
available.},
	keywords = {GVERDI, Homeomorphic Tree embedding, Tree Simulation, Verification of Web Applications},
	author = {Maria Alpuente and Demis Ballis and Moreno Falaschi}
}
@proceedings {ABF05,
	title = {A Rewriting-based Framework for Web Sites Verification},
	journal = {Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004)},
	year = {2005},
	pages = {41{\textendash}61},
	publisher = {Elsevier},
	abstract = {In this paper, we develop a framework for the automated verification of
Web sites which can be used to specify 
integrity conditions for a given Web site, and then automatically check whether these conditions are fulfilled.
First, we provide a rewriting-based, formal specification language which allows us to
define syntactic as well as semantic properties of the Web site.
Then, we formalize a verification technique which obtains
the requirements not fulfilled by the Web site, and helps to repair  the errors by finding out   incomplete information and/or missing pages. 
Our methodology is based on a novel  rewriting-based technique, called  partial rewriting, in which the traditional pattern matching mechanism is replaced by tree simulation,
a suitable technique for recognizing patterns inside semistructured documents. 
The framework has been implemented in the  prototype Web verification system   Verdi which is publicly available.},
	keywords = {partial rewriting, Tree Simulation, VERDI, verification of Web sites},
	author = {Maria Alpuente and Demis Ballis and Moreno Falaschi}
}
