On the automated verification of web applications with embedded SQL - Shachar Itzhaky (arXiv.org)