An Abstract Generic Framework for Web Site Verification

M. Alpuente, P. Ojeda, D. Romero, D. Ballis, M. Falaschi
2008 2008 International Symposium on Applications and the Internet  
In this paper, we present an abstract framework for Web site verification which improves the performance of a previous, rewriting-based Web verification methodology. The approximated framework is formalized as a source-to-source transformation which is parametric w.r.t. the chosen abstraction. This transformation significantly reduces the size of the Web documents by dropping or merging contents that do not influence the properties to be checked. This allows us to reuse all verification
more » ... es of the previous system WebVerdi-M to efficiently analyze Web sites. In order to ensure that the verified properties are not affected by the abstraction, we develop a methodology which derives the abstraction of Web sites from their Web specification. An experimental implementation shows a huge speedup w.r.t. a previous methodology which did not use this transformation.
doi:10.1109/saint.2008.17 dblp:conf/saint/AlpuenteORBF08 fatcat:q4kbjkid2za2zpd5dbwfw22smm