Test-Case Generation for SQL Nested Queries with Existential Conditions | Publicación