THỰC THI TƯỢNG TRƯNG TRONG SINH TỰ ĐỘNG DỮ LIỆU KIỂM THỬ PHẦN 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...

وصف كامل

محفوظ في:

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Tô, Hữu Nguyên, Nguyễn, Hồng Tân, Hà, Thị Thanh, Đỗ, Thanh Mai
التنسيق:	مقال
اللغة:	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, وآخرون
منشور في: (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, وآخرون
منشور في: (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, وآخرون
منشور في: (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, وآخرون
منشور في: (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)