Kai Pan, Xintao Wu University of North Carolina at Charlotte Database State Generation via Dynamic Symbolic Execution for Coverage Criteria Tao Xie North.