03370nam 2200949z- 450 991057688490332120231214133208.0(CKB)5720000000008325(oapen)https://directory.doabooks.org/handle/20.500.12854/84452(EXLCZ)99572000000000832520202206d2022 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierMathematics in Software Reliability and Quality AssuranceBaselMDPI - Multidisciplinary Digital Publishing Institute20221 electronic resource (218 p.)3-0365-3799-6 3-0365-3800-3 This 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.Technology: general issuesbicsscHistory of engineering & technologybicsscfuzzy automatacoalgebrafuzzy languagebisimulationcompositiontest data generationgenetic algorithmspecification-based testingregression testingmutation testingeventual propertymodel checkingMaudetextual question answeringvisual question answeringmetamorphic testingmetamorphic relationsquality assessmentsoftware rejuvenationcheckpointingoptimal rejuvenation-trigger timingsteady-state system availabilityphase expansionhuman-error factorspetri netconcurrent software systemsmodel-checkingdata-flowssoftware reliability modelmaximum likelihood estimationEM algorithmnon-homogeneous Poisson processgeneralized failure count datamoth flame optimizationisland-based modelfeature selectionsoftware defect predictionsoftware reliabilitysearch-based test case generationbranch coverageobject-orienteddeep learninglong short-term memoryproject similarity and clusteringcross-project predictionNervos CKBconsensus protocolUPPAALTechnology: general issuesHistory of engineering & technologyDohi Tadashiedt1103518Liu ShaoyingedtDohi TadashiothLiu ShaoyingothBOOK9910576884903321Mathematics in Software Reliability and Quality Assurance3035625UNINA