THỰC THI TƯỢNG TRƯNG TRONG SINH TỰ ĐỘNG DỮ LIỆU KIỂM THỬ PHẦN MỀM

QR-koodi

THỰC THI TƯỢNG TRƯNG TRONG SINH TỰ ĐỘNG DỮ LIỆU KIỂM THỬ PHẦN MỀM

In software testing area, all test cases are often generated manually. It time-consumming and costly to complete such task. Symbolic execution is a well-known technique for automatically making the test cases that cover almost every testing criteria in order to deeply discover some errors in complex...

Tallennettuna:

Bibliografiset tiedot
Päätekijät:	Tô, Hữu Nguyên, Nguyễn, Hồng Tân, Hà, Thị Thanh, Đỗ, Thanh Mai
Aineistotyyppi:	Artikkeli
Kieli:	Vietnamese
Julkaistu:	Trường Đại học Đà Lạt 2023
Linkit:	https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/114212
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Samankaltaisia teoksia

Kiểm thử phần mềm :
Tekijä: Nguyễn, Thị Kiêm Ái
Julkaistu: (2020)

Kiểm thử phần mềm
Tekijä: Trần, Tường Thụy
Julkaistu: (2013)

Kiểm thử phần mềm :
Tekijä: Trần, Tường Thụy
Julkaistu: (2013)

Kiểm thử phần mềm
Tekijä: Trần, Tường Thụy
Julkaistu: (2013)

Kiểm thử phần mềm /
Tekijä: Trần Tường Thuỵ.
Julkaistu: (2013)

Kiểm thử phần mềm /
Tekijä: Trần Tường Thụy
Julkaistu: (2013)

Kiểm thử phần mềm
Tekijä: Thiên, Phái
Julkaistu: (2024)

Giáo trình kiểm thử phần mềm
Tekijä: Trần, Cao Đệ
Julkaistu: (2012)

Giáo trình kiểm thử phần mềm
Tekijä: Trần Cao Đệ
Julkaistu: (2012)

Tổng quan về kiểm thử phần mềm
Tekijä: Ngô, Thị Lan Anh
Julkaistu: (2024)

ENDNOTE, PHẦN MỀM QUẢN LÝ, TÌM KIẾM VÀ TRÍCH DẪN TÀI LIỆU
Tekijä: Lê, Huy Sơn, et al.
Julkaistu: (2025)

Kiểm nghiệm vật liệu chế tạo thanh truyền bằng phần mềm mô phỏng
Tekijä: Nguyễn, Thanh Tuấn
Julkaistu: (2024)

Giáo trình thực hành Kiểm thử phần mềm
Tekijä: Phạm Quang Huy
Julkaistu: (2020)

Giáo trình phân tích dữ liệu bằng phần mềm SPSS
Tekijä: Đỗ, Văn Thắng
Julkaistu: (2012)

Giáo trình phân tích dữ liệu bằng phần mềm SPSS
Tekijä: Đỗ, Văn Thắng
Julkaistu: (2014)

Kiểm thử và đảm bảo chất lượng phần mềm
Tekijä: Thạc, Bình Cường
Julkaistu: (2011)

Kiểm thử và đảm bảo chất lượng phần mềm
Tekijä: Thạc, Bình Cường
Julkaistu: (2011)

Kiểm thử và đảm bảo chất lượng phần mềm
Tekijä: Thạc, Bình Cường
Julkaistu: (2011)

Kiểm thử và đảm bảo chất lượng phần mềm
Tekijä: Thạc Bình Cường
Julkaistu: (2011)

Kiểm thử và đảm bảo chất lượng phần mềm /
Tekijä: Thạc Bình Cường
Julkaistu: (2011)

Một số khái niệm về kiểm thử phần mềm
Tekijä: Thiên, Phái
Julkaistu: (2024)

Hướng dẫn xây dựng phần mềm quản lý dữ liệu bằng Access /
Tekijä: Mai Anh.
Julkaistu: (2007)

Hướng dẫn xây dựng phần mềm quản lý dữ liệu bằng Access /
Tekijä: Mai Anh.
Julkaistu: (2007)

Kiểm thử phần mềm từng bước trở thành Tester chuyên nghiệp
Tekijä: Nguyễn, Thị Kiêm Ái
Julkaistu: (2020)

Kiểm thử phần mềm: Từng bước trở thành TESTER chuyên nghiệp /
Tekijä: Nguyễn, Thị Kiêm Ái
Julkaistu: (2019)

Kiểm thử phần mềm từng bước trở thành tester chuyên nghiệp
Tekijä: Nguyễn Thị Kim Ái
Julkaistu: (2020)

Phần mềm xử lý dữ liệu ra đa xuyên đất GPRTVN
Tekijä: Nguyễn, Thành Vấn, et al.
Julkaistu: (2024)

Cấu trúc dữ liệu phân tích thuật toán và phát triển phần mềm /
Tekijä: Hồ Cẩm Hà
Julkaistu: (2008)

Xây dựng phần mềm quản lý tài liệu thư viện
Tekijä: Nguyễn, Trung Chiến
Julkaistu: (2022)

Kiểm chứng đặc tả bảo mật phần mềm
Tekijä: Trương, Ninh Thuận, et al.
Julkaistu: (2015)

Giáo trình phân tích dữ liệu bằng phần mềm SPSS Dành cho sinh viên khối ngành Khoa học Xã hội và Nhân văn
Tekijä: Đỗ, Văn Thắng
Julkaistu: (2011)

Giải pháp chuyển đổi dữ liệu từ phần mềm mã nguồn mở greenstone sang phần mềm Dspace
Tekijä: Phan, Ngọc Đông
Julkaistu: (2020)

Giải pháp chuyển đổi dữ liệu từ phần mềm mã nguồn mở greenstone sang phần mềm Dspace
Tekijä: Phan, Ngọc Đông
Julkaistu: (2024)

Xây dựng cơ sở dữ liệu biển quốc gia - Module kiểm tra chất lượng số liệu nhiệt độ - độ muối bổ sung cho phần mềm VODC 3.0
Tekijä: Đặng, Ngọc Thanh
Julkaistu: (2011)

Cấu trúc dữ liệu, phân tích toán và phát triển phần mềm
Tekijä: Hồ, Thuần
Julkaistu: (2009)

XÂY DỰNG MÔ HÌNH PHÂN TÍCH DỮ LIỆU BỆNH TIM MẠCH BẰNG PHẦN MỀM R
Tekijä: Đỗ, Thị Phương Quỳnh
Julkaistu: (2025)

Ứng dụng phần mềm TITAN trong dự báo dông trên khu vực Trung Trung Bộ
Tekijä: Nguyễn, Thị Dung, et al.
Julkaistu: (2023)

Cấu trúc dữ liệu, phân tích thuật toán và phát triển phần mềm
Tekijä: Hồ, Thuần
Julkaistu: (2008)

Cấu trúc dữ liệu, phân tích thuật toán và phát triển phần mềm
Tekijä: Hồ, Thuần
Julkaistu: (2009)

Cấu trúc dữ liệu, phân tích thuật toán và phát triển phần mềm
Tekijä: Hồ, Thuần
Julkaistu: (2009)