|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910346774503321 |
|
|
Autore |
Omri Fouad ben Nasr |
|
|
Titolo |
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
KIT Scientific Publishing, 2018 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 electronic resource (XIII, 162 p. p.) |
|
|
|
|
|
|
Collana |
|
The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. |
|
|
|
|
|
|
|