發送短信 : Nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái

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