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

• Autore: Omri Fouad ben Nasr
• Pubblicazione: KIT Scientific Publishing, 2018
• Descrizione fisica: 1 electronic resource (XIII, 162 p. p.)
• Soggetto non controllato: Software Development; Software Reliability; Zuverlässigkeit; Statistisches Testen; Software-Entwicklung; Statistical Testing
• 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