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]
No references recorded for this publication.
No citations of this publication recorded.