Constraint satisfaction for test program generation | IEEE Conference Publication | IEEE Xplore