ADVANCED ALGORITHMS FOR COMBINATORIAL AND SEQUENTIAL TEST GENERATION WITH CONSTRAINTS