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

QR Kod

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

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Tô, Hữu Nguyên, Nguyễn, Hồng Tân, Hà, Thị Thanh, Đỗ, Thanh Mai
Materyal Türü:	Makale
Dil:	Vietnamese
Baskı/Yayın Bilgisi:	Trường Đại học Đà Lạt 2023
Online Erişim:	https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/114212
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Kiểm thử phần mềm :
Yazar:: Nguyễn, Thị Kiêm Ái
Baskı/Yayın Bilgisi: (2020)

Kiểm thử phần mềm
Yazar:: Trần, Tường Thụy
Baskı/Yayın Bilgisi: (2013)

Kiểm thử phần mềm :
Yazar:: Trần, Tường Thụy
Baskı/Yayın Bilgisi: (2013)

Kiểm thử phần mềm
Yazar:: Trần, Tường Thụy
Baskı/Yayın Bilgisi: (2013)

Kiểm thử phần mềm /
Yazar:: Trần Tường Thuỵ.
Baskı/Yayın Bilgisi: (2013)

Kiểm thử phần mềm /
Yazar:: Trần Tường Thụy
Baskı/Yayın Bilgisi: (2013)

Kiểm thử phần mềm
Yazar:: Thiên, Phái
Baskı/Yayın Bilgisi: (2024)

Giáo trình kiểm thử phần mềm
Yazar:: Trần, Cao Đệ
Baskı/Yayın Bilgisi: (2012)

Giáo trình kiểm thử phần mềm
Yazar:: Trần Cao Đệ
Baskı/Yayın Bilgisi: (2012)

Tổng quan về kiểm thử phần mềm
Yazar:: Ngô, Thị Lan Anh
Baskı/Yayın Bilgisi: (2024)

ENDNOTE, PHẦN MỀM QUẢN LÝ, TÌM KIẾM VÀ TRÍCH DẪN TÀI LIỆU
Yazar:: Lê, Huy Sơn, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Kiểm nghiệm vật liệu chế tạo thanh truyền bằng phần mềm mô phỏng
Yazar:: Nguyễn, Thanh Tuấn
Baskı/Yayın Bilgisi: (2024)

Giáo trình thực hành Kiểm thử phần mềm
Yazar:: Phạm Quang Huy
Baskı/Yayın Bilgisi: (2020)

Giáo trình phân tích dữ liệu bằng phần mềm SPSS
Yazar:: Đỗ, Văn Thắng
Baskı/Yayın Bilgisi: (2012)

Giáo trình phân tích dữ liệu bằng phần mềm SPSS
Yazar:: Đỗ, Văn Thắng
Baskı/Yayın Bilgisi: (2014)

Kiểm thử và đảm bảo chất lượng phần mềm
Yazar:: Thạc, Bình Cường
Baskı/Yayın Bilgisi: (2011)

Kiểm thử và đảm bảo chất lượng phần mềm
Yazar:: Thạc, Bình Cường
Baskı/Yayın Bilgisi: (2011)

Kiểm thử và đảm bảo chất lượng phần mềm
Yazar:: Thạc, Bình Cường
Baskı/Yayın Bilgisi: (2011)

Kiểm thử và đảm bảo chất lượng phần mềm
Yazar:: Thạc Bình Cường
Baskı/Yayın Bilgisi: (2011)

Kiểm thử và đảm bảo chất lượng phần mềm /
Yazar:: Thạc Bình Cường
Baskı/Yayın Bilgisi: (2011)

Một số khái niệm về kiểm thử phần mềm
Yazar:: Thiên, Phái
Baskı/Yayın Bilgisi: (2024)

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

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

Kiểm thử phần mềm từng bước trở thành Tester chuyên nghiệp
Yazar:: Nguyễn, Thị Kiêm Ái
Baskı/Yayın Bilgisi: (2020)

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

Kiểm thử phần mềm từng bước trở thành tester chuyên nghiệp
Yazar:: Nguyễn Thị Kim Ái
Baskı/Yayın Bilgisi: (2020)

Phần mềm xử lý dữ liệu ra đa xuyên đất GPRTVN
Yazar:: Nguyễn, Thành Vấn, ve diğerleri
Baskı/Yayın Bilgisi: (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 /
Yazar:: Hồ Cẩm Hà
Baskı/Yayın Bilgisi: (2008)

Xây dựng phần mềm quản lý tài liệu thư viện
Yazar:: Nguyễn, Trung Chiến
Baskı/Yayın Bilgisi: (2022)

Kiểm chứng đặc tả bảo mật phần mềm
Yazar:: Trương, Ninh Thuận, ve diğerleri
Baskı/Yayın Bilgisi: (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
Yazar:: Đỗ, Văn Thắng
Baskı/Yayın Bilgisi: (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
Yazar:: Phan, Ngọc Đông
Baskı/Yayın Bilgisi: (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
Yazar:: Phan, Ngọc Đông
Baskı/Yayın Bilgisi: (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
Yazar:: Đặng, Ngọc Thanh
Baskı/Yayın Bilgisi: (2011)

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

Ứng dụng phần mềm TITAN trong dự báo dông trên khu vực Trung Trung Bộ
Yazar:: Nguyễn, Thị Dung, ve diğerleri
Baskı/Yayın Bilgisi: (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
Yazar:: Hồ, Thuần
Baskı/Yayın Bilgisi: (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
Yazar:: Hồ, Thuần
Baskı/Yayın Bilgisi: (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
Yazar:: Hồ, Thuần
Baskı/Yayın Bilgisi: (2009)