1. A method of determining whether a set of constraints is satisfiable, the method comprising: identifying a set of constraints associated with a software module; modeling a string associated with a string constraint of the set of constraints as a parameterized array; and determining a satisfiability of the set of constraints based on a representation of the string constraint as a quantified expression and based on elimination of a quantifier associated with the quantified expression such that the string constraint is represented as a numeric constraint, the representation of the string constraint as a quantified expression being based on the parameterized array associated with the string.
8. The method of claim 1 , further comprising: determining a dependency of the string constraint with respect to the set of constraints; and grouping the string constraint with the set of constraints based on the determined dependency.