Database state generation via dynamic symbolic execution for coverage criteria.

Kai Pan, Xintao Wu, Tao Xie

Browse the full SIGMOD paper archive.