Caballero, R.; Luzon-Martin, J.; Tenorio-Fornes, A. Test-Case Generation for SQL Nested Queries With Existential Conditions. ECEASST 2013, 55.