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

QR Kodea

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...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Egile Nagusiak:	Tô, Hữu Nguyên, Nguyễn, Hồng Tân, Hà, Thị Thanh, Đỗ, Thanh Mai
Formatua:	Artikulua
Hizkuntza:	Vietnamese
Argitaratua:	Trường Đại học Đà Lạt 2023
Sarrera elektronikoa:	https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/114212
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

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

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

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

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

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

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

Kiểm thử phần mềm
nork: Thiên, Phái
Argitaratua: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Phần mềm xử lý dữ liệu ra đa xuyên đất GPRTVN
nork: Nguyễn, Thành Vấn, et al.
Argitaratua: (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 /
nork: Hồ Cẩm Hà
Argitaratua: (2008)

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

Kiểm chứng đặc tả bảo mật phần mềm
nork: Trương, Ninh Thuận, et al.
Argitaratua: (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
nork: Đỗ, Văn Thắng
Argitaratua: (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
nork: Phan, Ngọc Đông
Argitaratua: (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
nork: Phan, Ngọc Đông
Argitaratua: (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
nork: Đặng, Ngọc Thanh
Argitaratua: (2011)

Cấu trúc dữ liệu, phân tích toán và phát triển phần mềm
nork: Hồ, Thuần
Argitaratua: (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
nork: Đỗ, Thị Phương Quỳnh
Argitaratua: (2025)

Ứng dụng phần mềm TITAN trong dự báo dông trên khu vực Trung Trung Bộ
nork: Nguyễn, Thị Dung, et al.
Argitaratua: (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
nork: Hồ, Thuần
Argitaratua: (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
nork: Hồ, Thuần
Argitaratua: (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
nork: Hồ, Thuần
Argitaratua: (2009)