LEADER 03370nam  2200949z- 450 
001 9910576884903321
005 20231214133208.0
035   $a(CKB)5720000000008325
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/84452
035   $a(EXLCZ)995720000000008325
100   $a20202206d2022      |y             0
101 0 $aeng
135   $aurmn|---annan
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aMathematics in Software Reliability and Quality Assurance
210   $aBasel$cMDPI - Multidisciplinary Digital Publishing Institute$d2022
215   $a1 electronic resource (218 p.)
311   $a3-0365-3799-6 
311   $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   $aTechnology: general issues$2bicssc
606   $aHistory of engineering & technology$2bicssc
610   $afuzzy automata
610   $acoalgebra
610   $afuzzy language
610   $abisimulation
610   $acomposition
610   $atest data generation
610   $agenetic algorithm
610   $aspecification-based testing
610   $aregression testing
610   $amutation testing
610   $aeventual property
610   $amodel checking
610   $aMaude
610   $atextual question answering
610   $avisual question answering
610   $ametamorphic testing
610   $ametamorphic relations
610   $aquality assessment
610   $asoftware rejuvenation
610   $acheckpointing
610   $aoptimal rejuvenation-trigger timing
610   $asteady-state system availability
610   $aphase expansion
610   $ahuman-error factors
610   $apetri net
610   $aconcurrent software systems
610   $amodel-checking
610   $adata-flows
610   $asoftware reliability model
610   $amaximum likelihood estimation
610   $aEM algorithm
610   $anon-homogeneous Poisson process
610   $ageneralized failure count data
610   $amoth flame optimization
610   $aisland-based model
610   $afeature selection
610   $asoftware defect prediction
610   $asoftware reliability
610   $asearch-based test case generation
610   $abranch coverage
610   $aobject-oriented
610   $adeep learning
610   $along short-term memory
610   $aproject similarity and clustering
610   $across-project prediction
610   $aNervos CKB
610   $aconsensus protocol
610   $aUPPAAL
615  7$aTechnology: general issues
615  7$aHistory of engineering & technology
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