Systematic Testing of Database Engines Using a Relational Constraint Solver

Shadi Abdul Khalek, Sarfraz Khurshid. Systematic Testing of Database Engines Using a Relational Constraint Solver. In IEEE Fourth International Conference on Software Testing, Verification and Validation, ICST 2011, Berlin, Germany, 21-25 March 2011. pages 50-59, IEEE Computer Society, 2011. [doi]

Authors

Shadi Abdul Khalek

This author has not been identified. Look up 'Shadi Abdul Khalek' in Google

Sarfraz Khurshid

This author has not been identified. Look up 'Sarfraz Khurshid' in Google