Chengkai Li, Christoph Csallner. Dynamic symbolic database application testing. In Shivnath Babu, G. N. Paulley, editors, Proceedings of the Third International Workshop on Testing Database Systems, DBTest 2010, Indianapolis, Indiana, USA, June 7, 2010. ACM, 2010. [doi]