WAVer: A Model Checking-based Tool to Verify Web Application Design

Daniela Castelluccia, Marina Mongiello, Michele Ruta, Rodolfo Totaro
Electronic Notes on Theoretical Computer Science, Volume 157, Number 1, page 61--76 - 2006
Download the publication : castelluccia_et_al_ENTCS2006.pdf [727Ko]  

BibTex references


@Article{CMRT06,
author = {Daniela Castelluccia and Marina Mongiello and Michele Ruta and Rodolfo Totaro},
title = "WAVer: A Model Checking-based Tool to Verify Web
Application Design",
journal = "Electronic Notes on Theoretical Computer Science",
number = "1",
volume = "157",
pages = "61--76",
year = "2006",
note = "doi: 10.1016/j.entcs.2006.01.023",
url = "http://www-ictserv.poliba.it/publications/2006/CMR
T06"
}

Other publications in the database

SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy