LEADER 01641nam  2200373z- 450 
001 9910346774503321
005 20231214133146.0
010   $a1000051517
035   $a(CKB)4920000000100778
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/62570
035   $a(EXLCZ)994920000000100778
100   $a20202102d2018      |y             0
101 0 $aeng
135   $aurmn|---annan
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aWeighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
210   $cKIT Scientific Publishing$d2018
215   $a1 electronic resource (XIII, 162 p. p.)
225 1 $aThe Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
311   $a3-7315-0472-3 
330   $aThis 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.
610   $aSoftware Development
610   $aSoftware Reliability
610   $aZuverlässigkeit
610   $aStatistisches Testen
610   $aSoftware-Entwicklung
610   $aStatistical Testing
700   $aOmri$b Fouad ben Nasr$4auth$01312920
906   $aBOOK
912   $a9910346774503321
996   $aWeighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment$93031122
997   $aUNINA