Text this: 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

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