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

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Author :
Publisher : KIT Scientific Publishing
Total Pages : 190
Release :
ISBN-10 : 9783731504726
ISBN-13 : 3731504723
Rating : 4/5 (723 Downloads)

Book Synopsis Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment by : Omri, Fouad ben Nasr

Download or read book Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment written by Omri, Fouad ben Nasr and published by KIT Scientific Publishing. This book was released on 2018-12-11 with total page 190 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


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

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Language: en
Pages: 190
Authors: Omri, Fouad ben Nasr
Categories: Electronic computers. Computer science
Type: BOOK - Published: 2018-12-11 - Publisher: KIT Scientific Publishing

GET EBOOK

This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach exten
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Language: en
Pages: 501
Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2018-10-29 - Publisher: Springer

GET EBOOK

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Fo
An Architecture-based Approach for Change Impact Analysis of Software-intensive Systems
Language: en
Pages: 416
Authors: Busch, Kiana
Categories: Computers
Type: BOOK - Published: 2020-03-19 - Publisher: KIT Scientific Publishing

GET EBOOK

Context-based Access Control and Attack Modelling and Analysis
Language: en
Pages: 350
Authors: Walter, Maximilian
Categories:
Type: BOOK - Published: 2024-07-03 - Publisher: KIT Scientific Publishing

GET EBOOK

This work introduces architectural security analyses for detecting access violations and attack paths in software architectures. It integrates access control po
Architecture-based Evolution of Dependable Software-intensive Systems
Language: en
Pages: 154
Authors: Heinrich, Robert
Categories:
Type: BOOK - Published: 2023-06-05 - Publisher: KIT Scientific Publishing

GET EBOOK

This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems