Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Fouad ben Nasr Omri

Ngôn ngữ: eng

ISBN-13: 978-3731504726

Ký hiệu phân loại:

Thông tin xuất bản: Karlsruhe : KIT Scientific Publishing, 2018

Mô tả vật lý: 1 electronic resource (XIII, 162 p. p.)

Bộ sưu tập: Tài liệu truy cập mở

ID: 234134

This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment.
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 71010608 | Email: tt.thuvien@hutech.edu.vn

Copyright @2020 THƯ VIỆN HUTECH