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

Fouad Ben Nasr Omri

ISBN 10: 3731504723 / ISBN 13: 9783731504726

Edité par Karlsruher Institut für Technologie, 2018

A propos de cet article

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment | Fouad Ben Nasr Omri | Taschenbuch | 192 S. | Englisch | 2018 | Karlsruher Institut für Technologie | EAN 9783731504726 | Verantwortliche Person für die EU: KIT Scientific Publishing, Straße am Forum 2, 76131 Karlsruhe, info[at]ksp[dot]kit[dot]edu | Anbieter: preigu.

N° de réf. du vendeur 115091961

Détails bibliographiques

• Titre: Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
• Éditeur: Karlsruher Institut für Technologie
• Date de parution: 2018
• Langue: anglais
• ISBN à 10 chiffres: 3731504723
• ISBN à 13 chiffres: 9783731504726
• Reliure: Taschenbuch
• État de l'article: Neu

A propos de ce titre

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.