Designing an Effective Constraint Solver in Coverage Directed Test Generation.

Haihua Shen Pengyu Wang Yunji Chen Qi Guo Heng Zhang

Published in: ICESS (2009)

Keyphrases

test generation
constraint solver
constraint solving
test cases
case study
software engineering