2 search results - page 1 / 1 » X-data: Generating test data for killing SQL mutants |
ICDE
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
ICDE
2011
IEEE
12 years 8 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...