Browse

Browsing by Author Đặng Văn ĐỨc

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  

Showing results 1 to 1 of 1

  • LuanAn_To_Huu_Nguyen_25_11_To_Huu_Nguyen.pdf.jpg
  • Luận án, luận văn

  • Một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng.

    • ;  Advisor: Nguyễn Trường Thắng; Đặng Văn ĐỨc (2020-11-27)

  • Luận án xây dựng mô hình hóa ràng buộc trên kiểu dữ liệu xâu và ràng buộc hỗn hợp, cải tiến khả năng giải ràng buộc trong phương pháp thực thi biểu trưng. Cài đặt kỹ thuật mô hình hóa và giải ràng buộc dựa trên Otomat và Bitvector trong giải ràng buộc xâu, đánh giá so sánh các kết quả thu được với các các kết quả đã công bố.
Showing results 1 to 1 of 1