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