Performance analysis of constraint solvers for coverage directed test generation: A car sequencing problem | IEEE Conference Publication | IEEE Xplore