發送短信 : Rule-based specification mining leveraging learning to rank

 _    _     _____    _    _      ___      _____   
| |  | ||  |  ___|| | |  | ||   / _ \\   / ____|| 
| |/\| ||  | ||__   | |/\| ||  | / \ || / //---`' 
|  /\  ||  | ||__   |  /\  ||  | \_/ || \ \\___   
|_// \_||  |_____|| |_// \_||   \___//   \_____|| 
`-`   `-`  `-----`  `-`   `-`   `---`     `----`