LEADER 03391nam  2200961z- 450 
001 9910576884903321
005 20220621
035   $a(CKB)5720000000008325
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/84452
035   $a(oapen)doab84452
035   $a(EXLCZ)995720000000008325
100   $a20202206d2022      |y         0
101 0 $aeng
135   $aurmn|---annan
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aMathematics in Software Reliability and Quality Assurance
210   $aBasel$cMDPI - Multidisciplinary Digital Publishing Institute$d2022
215   $a1 online resource (218 p.)
311 08$a3-0365-3799-6 
311 08$a3-0365-3800-3 
330   $aThis monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment.
606   $aHistory of engineering and technology$2bicssc
606   $aTechnology: general issues$2bicssc
610   $abisimulation
610   $abranch coverage
610   $acheckpointing
610   $acoalgebra
610   $acomposition
610   $aconcurrent software systems
610   $aconsensus protocol
610   $across-project prediction
610   $adata-flows
610   $adeep learning
610   $aEM algorithm
610   $aeventual property
610   $afeature selection
610   $afuzzy automata
610   $afuzzy language
610   $ageneralized failure count data
610   $agenetic algorithm
610   $ahuman-error factors
610   $aisland-based model
610   $along short-term memory
610   $aMaude
610   $amaximum likelihood estimation
610   $ametamorphic relations
610   $ametamorphic testing
610   $amodel checking
610   $amodel-checking
610   $amoth flame optimization
610   $amutation testing
610   $aNervos CKB
610   $anon-homogeneous Poisson process
610   $aobject-oriented
610   $aoptimal rejuvenation-trigger timing
610   $apetri net
610   $aphase expansion
610   $aproject similarity and clustering
610   $aquality assessment
610   $aregression testing
610   $asearch-based test case generation
610   $asoftware defect prediction
610   $asoftware rejuvenation
610   $asoftware reliability
610   $asoftware reliability model
610   $aspecification-based testing
610   $asteady-state system availability
610   $atest data generation
610   $atextual question answering
610   $aUPPAAL
610   $avisual question answering
615  7$aHistory of engineering and technology
615  7$aTechnology: general issues
700   $aDohi$b Tadashi$4edt$01103518
702   $aLiu$b Shaoying$4edt
702   $aDohi$b Tadashi$4oth
702   $aLiu$b Shaoying$4oth
906   $aBOOK
912   $a9910576884903321
996   $aMathematics in Software Reliability and Quality Assurance$93035625
997   $aUNINA