Dynamic symbolic database application testing.

Chengkai Li, Christoph Csallner

Browse the full SIGMOD paper archive.