Design Verification of Web Applications Using Symbolic Model Checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia

Browse the full ICWE paper archive.