On the Automated Verification of Web Applications with Embedded SQL.

Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger

Browse the full ICDT paper archive.