Afficher la notice abrégée

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

dc.contributor.authorOmri, Fouad ben Nasr*
dc.date.accessioned2021-02-12T08:25:53Z
dc.date.available2021-02-12T08:25:53Z
dc.date.issued2018*
dc.date.submitted2019-07-28 18:37:01*
dc.identifier34230*
dc.identifier.issn18670067*
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/62570
dc.description.abstractThis 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.*
dc.languageEnglish*
dc.relation.ispartofseriesThe Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner*
dc.subjectQA75.5-76.95*
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UY Computer scienceen_US
dc.subject.otherSoftware Development*
dc.subject.otherSoftware Reliability*
dc.subject.otherZuverlässigkeit*
dc.subject.otherStatistisches Testen*
dc.subject.otherSoftware-Entwicklung*
dc.subject.otherStatistical Testing*
dc.titleWeighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment*
dc.typebook
oapen.identifier.doi10.5445/KSP/1000051517*
oapen.relation.isPublishedBy68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2*
oapen.relation.isbn9783731504726*
oapen.pagesXIII, 162 p.*
oapen.volume22*
peerreview.review.typeFull text
peerreview.anonymityAll identities known
peerreview.reviewer.typeEditorial board member
peerreview.reviewer.typeExternal peer reviewer
peerreview.review.stagePre-publication
peerreview.open.reviewNo
peerreview.publish.responsibilityBooks or series editor
peerreview.id51a542ec-eaeb-47c2-861d-6022e981a97a
peerreview.titleDissertations in Series (Dissertationen in Schriftenreihe)


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

https://creativecommons.org/licenses/by-sa/4.0/
Excepté là où spécifié autrement, la license de ce document est décrite en tant que https://creativecommons.org/licenses/by-sa/4.0/