Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Omri Fouad ben Nasr
|
| Titolo: |
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
|
| Pubblicazione: | KIT Scientific Publishing, 2018 |
| Descrizione fisica: | 1 online resource (XIII, 162 p. p.) |
| Soggetto non controllato: | Software Development |
| Software Reliability | |
| Software-Entwicklung | |
| Statistical Testing | |
| Statistisches Testen | |
| Zuverlässigkeit | |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment |
| ISBN: | 1000051517 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910346774503321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |