AnWeb: a system for automatic support to web application verification.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli

Browse the full SEKE paper archive.