Dynamic symbolic database application testing

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]

Abstract

Abstract is missing.