1. A method comprising: selecting, by one or more processors, a configurable module that includes one or more control points and one or more configuration parameters, wherein the one or more configuration parameters define a parameter state space of the configurable module; determining, by one or more of the processors, one or more dependencies between the one or more control points and the one or more configuration parameters, wherein the one or more control points depend upon the one or more configuration parameters; selecting a first control point of the one or more control points, wherein the first control point has a dependency upon at least one configuration parameter; determining one or more parameter conditions of the at least one configuration parameter that produce different values of the first control point; generating, by one or more of the processors, a plurality of equivalence classes utilizing the one or more parameter conditions, wherein each of the plurality of equivalence classes includes a plurality of class members that each include one or more parameter values corresponding to the one or more parameter conditions of the at least one configuration parameter; selecting, by one or more of the processors, one of the plurality of class members from each of the plurality of equivalence classes, resulting in a plurality of class representatives; and verifying each of the plurality of class representatives by one or more of the processors, wherein the verifying verifies the parameter state space of the configurable module.