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

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Hoofdauteurs:	Tô, Hữu Nguyên, Nguyễn, Hồng Tân, Hà, Thị Thanh, Đỗ, Thanh Mai
Formaat:	Artikel
Taal:	Vietnamese
Gepubliceerd in:	Trường Đại học Đà Lạt 2023
Online toegang:	https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/114212
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gelijkaardige items

Kiểm thử phần mềm :
door: Nguyễn, Thị Kiêm Ái
Gepubliceerd in: (2020)

Kiểm thử phần mềm
door: Trần, Tường Thụy
Gepubliceerd in: (2013)

Kiểm thử phần mềm :
door: Trần, Tường Thụy
Gepubliceerd in: (2013)

Kiểm thử phần mềm
door: Trần, Tường Thụy
Gepubliceerd in: (2013)

Kiểm thử phần mềm /
door: Trần Tường Thuỵ.
Gepubliceerd in: (2013)

Kiểm thử phần mềm /
door: Trần Tường Thụy
Gepubliceerd in: (2013)

Kiểm thử phần mềm
door: Thiên, Phái
Gepubliceerd in: (2024)

Giáo trình kiểm thử phần mềm
door: Trần, Cao Đệ
Gepubliceerd in: (2012)

Giáo trình kiểm thử phần mềm
door: Trần Cao Đệ
Gepubliceerd in: (2012)

Tổng quan về kiểm thử phần mềm
door: Ngô, Thị Lan Anh
Gepubliceerd in: (2024)

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

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

Giáo trình thực hành Kiểm thử phần mềm
door: Phạm Quang Huy
Gepubliceerd in: (2020)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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