KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Volltext
DOI: 10.5445/KSP/1000051517
Veröffentlicht am 03.12.2018
Die gedruckte Version dieser Publikation können Sie hier kaufen.
Coverbild

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

Omri, Fouad ben Nasr

Abstract (englisch):
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.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Hochschulschrift
Jahr 2018
Sprache Englisch
Identifikator ISBN: 978-3-7315-0472-6
ISSN: 1867-0067
URN: urn:nbn:de:0072-515175
KITopen-ID: 1000051517
Verlag KIT Scientific Publishing, Karlsruhe
Umfang XIII, 162 S.
Serie The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ; 22
Abschlussart Dissertation
Prüfungsdaten 16.07.2015
Schlagworte Software-Entwicklung, Zuverlässigkeit, Statistisches Testen, Software Development, Software Reliability, Statistical Testing
Relationen in KITopen
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page