Nghiên cứu phương pháp kiểm thử dựa trên biểu đồ trạng thái - Trần Thị Diệu Linh (Đại học Đà Nẵng, 2011)