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
Διαθέσιμο Online:	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)