Caballero, Rafael, José Luzon-Martin, and Antonio Tenorio-Fornes. 2013. “Test-Case Generation for SQL Nested Queries With Existential Conditions”. Electronic Communications of the EASST 55 (May). https://doi.org/10.14279/tuj.eceasst.55.823.