KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Omri, Fouad ben Nasr

Abstract:
This thesis 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.

Open Access Logo


Volltext §
DOI: 10.5445/IR/1000050941
Seitenaufrufe: 32
seit 18.05.2018
Downloads: 71
seit 07.12.2015
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Hochschulschrift
Jahr 2015
Sprache Englisch
Identifikator urn:nbn:de:swb:90-509416
KITopen-ID: 1000050941
Verlag KIT, Karlsruhe
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Programmstrukturen und Datenorganisation (IPD)
Prüfungsdaten 16.07.2015
Prüfungsdatum 16.07.2015
Referent/Betreuer Prof. R. Reussner
Relationen in KITopen
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page