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

תיאור מלא

שמור ב:

מידע ביבליוגרפי
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)