この資料をSMS送信: Hybrid constraint-based test pattern generation