發送短信 : Applying program analysis augmented with empirical properties into software analysis, testing and maintenance

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