發送短信: Artificial intelligence methods in software testing