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 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.