Text this: Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications.