Test Generation From Predicates