THỰC THI TƯỢNG TRƯNG TRONG SINH TỰ ĐỘNG DỮ LIỆU KIỂM THỬ PHẦN MỀ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...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Tô, Hữu Nguyên, Nguyễn, Hồng Tân, Hà, Thị Thanh, Đỗ, Thanh Mai
Định dạng:	Bài viết
Ngôn ngữ:	Vietnamese
Được phát hành:	Trường Đại học Đà Lạt 2023
Truy cập trực tuyến:	https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/114212
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Kiểm thử phần mềm :
Bỡi: Nguyễn, Thị Kiêm Ái
Được phát hành: (2020)

Kiểm thử phần mềm
Bỡi: Trần, Tường Thụy
Được phát hành: (2013)

Kiểm thử phần mềm :
Bỡi: Trần, Tường Thụy
Được phát hành: (2013)

Kiểm thử phần mềm
Bỡi: Trần, Tường Thụy
Được phát hành: (2013)

Kiểm thử phần mềm /
Bỡi: Trần Tường Thuỵ.
Được phát hành: (2013)

Kiểm thử phần mềm /
Bỡi: Trần Tường Thụy
Được phát hành: (2013)

Kiểm thử phần mềm
Bỡi: Thiên, Phái
Được phát hành: (2024)

Giáo trình kiểm thử phần mềm
Bỡi: Trần, Cao Đệ
Được phát hành: (2012)

Giáo trình kiểm thử phần mềm
Bỡi: Trần Cao Đệ
Được phát hành: (2012)

Phân tích khả năng kiểm thử các đơn vị phần mềm
Bỡi: Nguyễn Thanh, Bình
Được phát hành: (2015)

Phân tích khả năng kiểm thử các đơn vị phần mềm
Bỡi: Nguyễn Thanh, Bình
Được phát hành: (2018)

Phân tích khả năng kiểm thử các đơn vị phần mềm
Bỡi: Nguyễn Thanh, Bình
Được phát hành: (2018)

Tổng quan về kiểm thử phần mềm
Bỡi: Ngô, Thị Lan Anh
Được phát hành: (2024)

Kiểm nghiệm vật liệu chế tạo thanh truyền bằng phần mềm mô phỏng
Bỡi: Nguyễn, Thanh Tuấn
Được phát hành: (2024)

Giáo trình thực hành Kiểm thử phần mềm
Bỡi: Phạm Quang Huy
Được phát hành: (2020)

Một số kỹ thuật kiểm thử phần mềm
Bỡi: Cao Thị Bích, Liên
Được phát hành: (2018)

Một số kỹ thuật kiểm thử phần mềm
Bỡi: Cao Thị Bích, Liên
Được phát hành: (2018)

Giáo trình phân tích dữ liệu bằng phần mềm SPSS
Bỡi: Đỗ, Văn Thắng
Được phát hành: (2012)

Giáo trình phân tích dữ liệu bằng phần mềm SPSS
Bỡi: Đỗ, Văn Thắng
Được phát hành: (2014)

Kiểm thử và đảm bảo chất lượng phần mềm
Bỡi: Thạc, Bình Cường
Được phát hành: (2011)

Kiểm thử và đảm bảo chất lượng phần mềm
Bỡi: Thạc, Bình Cường
Được phát hành: (2011)

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

Kiểm thử và đảm bảo chất lượng phần mềm
Bỡi: Thạc Bình Cường
Được phát hành: (2011)

Kiểm thử và đảm bảo chất lượng phần mềm /
Bỡi: Thạc Bình Cường
Được phát hành: (2011)

Một số khái niệm về kiểm thử phần mềm
Bỡi: Thiên, Phái
Được phát hành: (2024)

Hướng dẫn xây dựng phần mềm quản lý dữ liệu bằng Access /
Bỡi: Mai Anh.
Được phát hành: (2007)

Hướng dẫn xây dựng phần mềm quản lý dữ liệu bằng Access /
Bỡi: Mai Anh.
Được phát hành: (2007)

Phần mềm xử lý dữ liệu ra đa xuyên đất GPRTVN
Bỡi: Nguyễn, Thành Vấn, et al.
Được phát hành: (2024)

Kiểm thử an ninh mạng (Network Security Testing) với phần mềm Nessus.
Bỡi: Nguyễn, Văn Linh
Được phát hành: (2013)

Kiểm thử phần mềm từng bước trở thành Tester chuyên nghiệp
Bỡi: Nguyễn, Thị Kiêm Ái
Được phát hành: (2020)

Kiểm thử phần mềm: Từng bước trở thành TESTER chuyên nghiệp /
Bỡi: Nguyễn, Thị Kiêm Ái
Được phát hành: (2019)

Kiểm thử phần mềm từng bước trở thành tester chuyên nghiệp
Bỡi: Nguyễn Thị Kim Ái
Được phát hành: (2020)

Cấu trúc dữ liệu phân tích thuật toán và phát triển phần mềm /
Bỡi: Hồ Cẩm Hà
Được phát hành: (2008)

Xây dựng phần mềm quản lý tài liệu thư viện
Bỡi: Nguyễn, Trung Chiến
Được phát hành: (2022)

Xây dựng hệ thống hỗ trợ quản lý quy trình kiểm thử các dự án phần mềm
Bỡi: Lê, Thị Như Thùy
Được phát hành: (2018)

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
Bỡi: Đỗ, Văn Thắng
Được phát hành: (2011)

Kiểm chứng đặc tả bảo mật phần mềm
Bỡi: Trương, Ninh Thuận, et al.
Được phát hành: (2015)

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
Bỡi: Phan, Ngọc Đông
Được phát hành: (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
Bỡi: Phan, Ngọc Đông
Được phát hành: (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
Bỡi: Đặng, Ngọc Thanh
Được phát hành: (2011)