@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}
}
