01641nam 2200373z- 450 991034677450332120231214133146.01000051517(CKB)4920000000100778(oapen)https://directory.doabooks.org/handle/20.500.12854/62570(EXLCZ)99492000000010077820202102d2018 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierWeighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability AssessmentKIT Scientific Publishing20181 electronic resource (XIII, 162 p. p.)The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner3-7315-0472-3 This 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.Software DevelopmentSoftware ReliabilityZuverlässigkeitStatistisches TestenSoftware-EntwicklungStatistical TestingOmri Fouad ben Nasrauth1312920BOOK9910346774503321Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment3031122UNINA