发送短信: Hybrid constraint-based test pattern generation