Text this: Hybrid constraint-based test pattern generation