發送短信 : Design of a new t-way strategy for test case generation supporting sequence-less and sequence input interaction