Design Verification of Web Applications Using Symbolic Model Checking.

Eugenio Di Sciascio Francesco M. Donini Marina Mongiello Rodolfo Totaro Daniela Castelluccia Design Verification of Web Applications Using Symbolic Model Checking. 69-74 2005 conf/icwe/2005 ICWE http://dx.doi.org/10.1007/11531371_12 db/conf/icwe/icwe2005.html#SciascioDMTC05