TY - BOOK ID - 138700352 TI - Mathematics in Software Reliability and Quality Assurance AU - Dohi, Tadashi AU - Liu, Shaoying PY - 2022 PB - Basel MDPI - Multidisciplinary Digital Publishing Institute DB - UniCat KW - fuzzy automata KW - coalgebra KW - fuzzy language KW - bisimulation KW - composition KW - test data generation KW - genetic algorithm KW - specification-based testing KW - regression testing KW - mutation testing KW - eventual property KW - model checking KW - Maude KW - textual question answering KW - visual question answering KW - metamorphic testing KW - metamorphic relations KW - quality assessment KW - software rejuvenation KW - checkpointing KW - optimal rejuvenation-trigger timing KW - steady-state system availability KW - phase expansion KW - human-error factors KW - petri net KW - concurrent software systems KW - model-checking KW - data-flows KW - software reliability model KW - maximum likelihood estimation KW - EM algorithm KW - non-homogeneous Poisson process KW - generalized failure count data KW - moth flame optimization KW - island-based model KW - feature selection KW - software defect prediction KW - software reliability KW - search-based test case generation KW - branch coverage KW - object-oriented KW - deep learning KW - long short-term memory KW - project similarity and clustering KW - cross-project prediction KW - Nervos CKB KW - consensus protocol KW - UPPAAL UR - https://www.unicat.be/uniCat?func=search&query=sysid:138700352 AB - 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. ER -