發送短信 : Specification mining: Methodologies, theories and applications

  _____      ___      ____      ______    _  _   
 / ____||   / _ \\   |  _ \\   /_   _//  | \| || 
/ //---`'  / //\ \\  | |_| ||   -| ||-   |  ' || 
\ \\___   |  ___  || | .  //    _| ||_   | .  || 
 \_____|| |_||  |_|| |_|\_\\   /_____//  |_|\_|| 
  `----`  `-`   `-`  `-` --`   `-----`   `-` -`