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