Generating test data for killing SQL mutants: A constraint-based approach. - Shetal Shah; S. Sudarshan 001; Suhas Kajbaje; Sandeep Patidar; Bhanu Pratap Gupta; Devang Vira (ICDE, 2011)