發送短信 : An automated framework for software test oracle based on multi-networks