Preetham Vemasani, Alexander Brodsky, Paul Ammann. Generating Test Data to Distinguish Conjunctive Queries with Equalities. In 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, USA. pages 216-221, IEEE Computer Society, 2014. [doi]
Abstract is missing.