Đề tài khoa học và công nghệ cấp cơ sở: Nghiên cứu ứng dụng Lex/Yacc trong tự động phát sinh mã nguồn

Mục tiêu nghiên cứu đề tài là áp dụng lý thuyết vào xây dựng công cụ ứng dụng vào việc phát sinh mã nguồn sang ngôn ngữ lập trình C nhằm tạo điều kiện để tiếp tục nghiên cứu và xây dựng việc tự động phát sinh ca kiểm thử từ ngôn ngữ mô hình hóa.