Caballero, R., Luzon-Martin, J. and Tenorio-Fornes, A. (2013) “Test-Case Generation for SQL Nested Queries with Existential Conditions”, Electronic Communications of the EASST, 55. doi: 10.14279/tuj.eceasst.55.823.