Test-Case Generation for SQL Nested Queries with Existential Conditions. - Rafael Caballero 001; José Luzon-Martin; Antonio Tenorio-Fornes (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)