@misc {IOPORT.70745543,
    author       = {Li, J. Jenny and Wong, W. Eric and Ma, Xiao and Weiss, David M.},
    title        = {A constraint solver for code-based test data generation},
    howpublished = {SEKE, 300-305 (2005).},
    year         = {2005},
    identifier   = {70745543},
}