Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Overview & Synopsis
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.
Indexed from repository: Directory of Open Access Books
(
www.doabooks.org)
Document Information
| Document Title | Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment |
|---|---|
| Author / Organization | Omri, Fouad ben Nasr |
| Subject & Discipline | QA75.5-76.95 |
| Categories | Open Access Books |
| Publication Year | 2021 |
| License / Rights | Open Access / Creative Commons |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
Directory of Open Access Books
(www.doabooks.org)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-68088 |
| Original Source Link | Visit Source Page on www.doabooks.org » |