Please use this identifier to cite or link to this item: http://thuvienso.quochoi.vn/handle/11742/79744
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorNguyễn Trường Thắng-
dc.contributor.advisorĐặng Văn ĐỨc-
dc.contributor.authorTô Hữu Nguyên
dc.date.issued2020-11-27
dc.date.submitted2020-12-04
dc.identifier.other36491
dc.identifier.urihttps://hdl.handle.net/11742/79744-
dc.description.abstractLuậ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ố.-
dc.format.extent88 tr.
dc.language.isovi
dc.rightsViện Hàn lâm Khoa học và Công nghệ Việt Nam
dc.subjectCải tiến-
dc.subjectRàng buộc xâu-
dc.subjectSinh dữ liệu kiểm thử tự động-
dc.titleMộ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.
dc.typeLuận án, luận văn
dc.coverageThư viện Quốc hội
dc.source.methodluanvan.moet.edu.vn
Appears in Collections:Phân quyền - Khoa học

Files in This Item:
Thumbnail
  • LuanAn_To_Huu_Nguyen_25_11_To_Huu_Nguyen.pdf
    Bản quyền quốc hội
  • F:\MOET\LVLA\rar\36491\luan_an_To_Huu_Nguyen
    • Size : 2,38 MB

    • Format : Adobe PDF

  • Thumbnail
  • Nhung_dong_gop_moi_cua_LA_TH_Nguyen.pdf
    Bản quyền quốc hội
  • F:\MOET\LVLA\rar\36491\luan_an_To_Huu_Nguyen
    • Size : 1,14 MB

    • Format : Adobe PDF

  • Thong-tin-TT-ve-KL-moi-cua-LA_Nguyen.doc
    Bản quyền quốc hội
  • F:\MOET\LVLA\rar\36491\luan_an_To_Huu_Nguyen
    • Size : 33,5 kB

    • Format : Microsoft Word

  • Thong-tin-TT-ve-KL-moi-cua-LA_Nguyen_TA.docx
    Bản quyền quốc hội
  • F:\MOET\LVLA\rar\36491\luan_an_To_Huu_Nguyen
    • Size : 15,94 kB

    • Format : Microsoft Word XML

  • Thumbnail
  • tomtaLuanAnTiengAnh__26_11_To_Huu_Nguyen.pdf
    Bản quyền quốc hội
  • F:\MOET\LVLA\rar\36491\luan_an_To_Huu_Nguyen
    • Size : 1,02 MB

    • Format : Adobe PDF

  • Thumbnail
  • TomTatLuanAn_TiengViet_26_11To_Huu_Nguyen.pdf
    Bản quyền quốc hội
  • F:\MOET\LVLA\rar\36491\luan_an_To_Huu_Nguyen
    • Size : 1,46 MB

    • Format : Adobe PDF

  • Thumbnail
  • trich_yeu_cua_luan_an_TH_Nguyen.pdf
    Bản quyền quốc hội
  • F:\MOET\LVLA\rar\36491\luan_an_To_Huu_Nguyen
    • Size : 1,31 MB

    • Format : Adobe PDF

  • TrichYeuLuanAn_NCS_To_Nguyen.docx
    Bản quyền quốc hội
  • F:\MOET\LVLA\rar\36491\luan_an_To_Huu_Nguyen
    • Size : 17,61 kB

    • Format : Microsoft Word XML



  • Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.