1. A method for resolving a plurality of constraints over a plurality of domains for test generation for a DUT (device under test), each constraint featuring at least one variable, the method being performed by a data processor, the method comprising: creating by a data processor at least one dynamic graph for describing a plurality of dynamic constraints, each node of the at least one dynamic graph representing a variable, and each edge of the at least one dynamic graph representing a constraint in a specific domain; assigning by a data processor portions of the at least one dynamic graph to propagators according to determined domains, each domain corresponding to one of a plurality of constraint classes predefined according to types of values represented by variables to be constrained; and resolving by a data processor the constraints of different domains by scheduling the propagators to compute a set of possible values for each variable in the domain corresponding thereto.