Haihua Shen, Pengyu Wang, Yunji Chen, Qi Guo, Heng Zhang. Designing an Effective Constraint Solver in Coverage Directed Test Generation. In Tianzhou Chen, Dimitrios N. Serpanos, Walid Taha, editors, International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009. pages 388-395, IEEE, 2009. [doi]