發送短信: An optimized test case generation technique for enhancing state-sensitivity partitioning