Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
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.
Saved in:
| Main Author: | |
|---|---|
| Format: | Online |
| Language: | English |
| Published: |
KIT Scientific Publishing
2021
|
| Subjects: | |
| Online Access: | 34230 |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1869518779362312192 |
|---|---|
| author | Omri, Fouad ben Nasr |
| author_browse | Omri, Fouad ben Nasr |
| author_facet | Omri, Fouad ben Nasr |
| author_sort | Omri, Fouad ben Nasr |
| collection | Directory of Open Access Books |
| description | 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. |
| format | Online |
| id | doab-20.500.12854ir-62570 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | KIT Scientific Publishing |
| publisherStr | KIT Scientific Publishing |
| record_format | ojs |
| spelling | doab-20.500.12854ir-625702023-12-20T18:40:45Z Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment Omri, Fouad ben Nasr QA75.5-76.95 Software Development Software Reliability Zuverlässigkeit Statistisches Testen Software-Entwicklung Statistical Testing bic Book Industry Communication::U Computing & information technology::UY Computer science 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. 2021-02-12T08:25:53Z 2021-02-12T08:25:53Z 2019-07-28 18:37:01 2018 book 34230 18670067 9783731504726 https://directory.doabooks.org/handle/20.500.12854/62570 eng The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner image/jpeg Attribution-ShareAlike 4.0 International https://www.ksp.kit.edu/9783731504726 KIT Scientific Publishing 10.5445/KSP/1000051517 10.5445/KSP/1000051517 68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2 9783731504726 XIII, 162 p. open access |
| spellingShingle | QA75.5-76.95 Software Development Software Reliability Zuverlässigkeit Statistisches Testen Software-Entwicklung Statistical Testing bic Book Industry Communication::U Computing & information technology::UY Computer science Omri, Fouad ben Nasr Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment |
| title | Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment |
| title_full | Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment |
| title_fullStr | Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment |
| title_full_unstemmed | Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment |
| title_short | Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment |
| title_sort | weighted statistical testing based on active learning and formal verification techniques for software reliability assessment |
| topic | QA75.5-76.95 Software Development Software Reliability Zuverlässigkeit Statistisches Testen Software-Entwicklung Statistical Testing bic Book Industry Communication::U Computing & information technology::UY Computer science |
| topic_facet | QA75.5-76.95 Software Development Software Reliability Zuverlässigkeit Statistisches Testen Software-Entwicklung Statistical Testing bic Book Industry Communication::U Computing & information technology::UY Computer science |
| url | 34230 |
| work_keys_str_mv | AT omrifouadbennasr weightedstatisticaltestingbasedonactivelearningandformalverificationtechniquesforsoftwarereliabilityassessment |