6. The method of claim 2 , further comprising generating a solution of the set of constraints if the set of constraints is satisfiable.
6. The method of claim 2 , further comprising generating a solution of the set of constraints if the set of constraints is satisfiable. 7. The method of claim 6 , further comprising testing the software module based on the solution of the set of constraints.