Designing an Effective Constraint Solver in Coverage Directed Test Generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Haihua Shen' in GoogleThis author has not been identified. Look up 'Pengyu Wang' in GoogleThis author has not been identified. Look up 'Yunji Chen' in GoogleThis author has not been identified. Look up 'Qi Guo' in GoogleThis author has not been identified. Look up 'Heng Zhang' in Google

runs on WebDSL