Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines