Show simple item record

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)


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

https://creativecommons.org/licenses/by-sa/4.0/
Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by-sa/4.0/