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.


Volltext §
DOI: 10.5445/IR/1000050941
Cover der Publikation
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.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page