TY  - RPRT
TI  - On the automated verification of web applications with embedded SQL
AU  - Shachar Itzhaky
AU  - Tomer Kotek
AU  - Noam Rinetzky
AU  - Mooly Sagiv
AU  - Orr Tamir
AU  - Helmut Veith
AU  - Florian Zuleger
PY  - 2016
UR  - https://arxiv.org/abs/1610.02101
ID  - 1610.02101
ER  -