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

Mã QR

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

Đã lưu trong:

书目详细资料
Những tác giả chính:	Tô, Hữu Nguyên, Nguyễn, Hồng Tân, Hà, Thị Thanh, Đỗ, Thanh Mai
格式:	Bài viết
语言:	Vietnamese
出版:	Trường Đại học Đà Lạt 2023
在线阅读:	https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/114212
标签:	添加标签没有标签, 成为第一个标记此记录!

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

相似书籍

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

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

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

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

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

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

Kiểm thử phần mềm
由: Thiên, Phái
出版: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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