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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Tô, Hữu Nguyên, Nguyễn, Hồng Tân, Hà, Thị Thanh, Đỗ, Thanh Mai
Format:	Artikel
Sprache:	Vietnamese
Veröffentlicht:	Trường Đại học Đà Lạt 2023
Online Zugang:	https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/114212
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

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

Ähnliche Einträge

Kiểm thử phần mềm :
von: Nguyễn, Thị Kiêm Ái
Veröffentlicht: (2020)

Kiểm thử phần mềm
von: Trần, Tường Thụy
Veröffentlicht: (2013)

Kiểm thử phần mềm :
von: Trần, Tường Thụy
Veröffentlicht: (2013)

Kiểm thử phần mềm
von: Trần, Tường Thụy
Veröffentlicht: (2013)

Kiểm thử phần mềm /
von: Trần Tường Thuỵ.
Veröffentlicht: (2013)

Kiểm thử phần mềm /
von: Trần Tường Thụy
Veröffentlicht: (2013)

Kiểm thử phần mềm
von: Thiên, Phái
Veröffentlicht: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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