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

Полное описание

Сохранить в:

Библиографические подробности
Главные авторы:	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
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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, et al.
Опубликовано: (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, et al.
Опубликовано: (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, et al.
Опубликовано: (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, et al.
Опубликовано: (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)