Media type: E-Book; Thesis Title: Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment Contributor: Omri, Fouad ben Nasr [Verfasser]; Reussner, R. [Akademischer Betreuer] imprint: Karlsruhe: KIT-Bibliothek, 2015 Extent: Online-Ressource Language: English Identifier: Keywords: Hochschulschrift Origination: University thesis: Karlsruhe, Karlsruher Institut für Technologie (KIT), Diss., 2015 Footnote: Access State: Open Access