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.

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Hochschulschrift
Publikationsjahr 2015
Sprache Englisch
Identifikator urn:nbn:de:swb:90-509416
KITopen-ID: 1000050941
Verlag Karlsruher Institut für Technologie (KIT)
Art der Arbeit 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
Relationen in KITopen
Referent/Betreuer Reussner, R.

Volltext §
DOI: 10.5445/IR/1000050941
Seitenaufrufe: 309
seit 18.05.2018
Downloads: 202
seit 07.12.2015
Cover der Publikation
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page