發送短信 : Development of an automated test data generation and execution strategy using combinatorial approach [TK1-9971].