發送短信: Software error detection through testing and analysis