03391nam 2200961z- 450 991057688490332120220621(CKB)5720000000008325(oapen)https://directory.doabooks.org/handle/20.500.12854/84452(oapen)doab84452(EXLCZ)99572000000000832520202206d2022 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierMathematics in Software Reliability and Quality AssuranceBaselMDPI - Multidisciplinary Digital Publishing Institute20221 online 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.History of engineering and technologybicsscTechnology: general issuesbicsscbisimulationbranch coveragecheckpointingcoalgebracompositionconcurrent software systemsconsensus protocolcross-project predictiondata-flowsdeep learningEM algorithmeventual propertyfeature selectionfuzzy automatafuzzy languagegeneralized failure count datagenetic algorithmhuman-error factorsisland-based modellong short-term memoryMaudemaximum likelihood estimationmetamorphic relationsmetamorphic testingmodel checkingmodel-checkingmoth flame optimizationmutation testingNervos CKBnon-homogeneous Poisson processobject-orientedoptimal rejuvenation-trigger timingpetri netphase expansionproject similarity and clusteringquality assessmentregression testingsearch-based test case generationsoftware defect predictionsoftware rejuvenationsoftware reliabilitysoftware reliability modelspecification-based testingsteady-state system availabilitytest data generationtextual question answeringUPPAALvisual question answeringHistory of engineering and technologyTechnology: general issuesDohi Tadashiedt1103518Liu ShaoyingedtDohi TadashiothLiu ShaoyingothBOOK9910576884903321Mathematics in Software Reliability and Quality Assurance3035625UNINA