A Constraint Solver for Code-based Test Data Generation.

J. Jenny Li, W. Eric Wong, Xiao Ma, David M. Weiss

Browse the full SEKE paper archive.