-       Nghiên cứu và cải tiến phương pháp sinh dữ liệu kiểm thử tự động ngẫu nhiên nhằm tăng độ phủ, đạt được mức phủ cao nhất trong thời gian ngắn nhất có thể.

-       Thực hiện tính kết quả độ phủ cho Stateflow: mã hóa, kiểm tra lại trên toàn hệ thống và tinh chỉnh mã.

-       Hợp đồng đã nghiệm thu, thanh lý.