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

QR Code

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

Description complète

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Tô, Hữu Nguyên, Nguyễn, Hồng Tân, Hà, Thị Thanh, Đỗ, Thanh Mai
Format:	Article
Langue:	Vietnamese
Publié:	Trường Đại học Đà Lạt 2023
Accès en ligne:	https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/114212
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

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

Documents similaires

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

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

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

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

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

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

Kiểm thử phần mềm
par: Thiên, Phái
Publié: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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