Stress Testing of Task Deadlines: A Constraint Programming Approach