Mathematics in Software Reliability and Quality Assurance

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, c...

Descripción completa

Detalles Bibliográficos
Otros Autores:	Dohi, Tadashi (Editor), Liu, Shaoying (Otro)
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	Basel MDPI - Multidisciplinary Digital Publishing Institute 2022
Materias:	Technology: general issues History of engineering & technology fuzzy automata coalgebra fuzzy language bisimulation composition test data generation genetic algorithm specification-based testing regression testing mutation testing eventual property model checking Maude textual question answering visual question answering metamorphic testing metamorphic relations quality assessment software rejuvenation checkpointing optimal rejuvenation-trigger timing steady-state system availability phase expansion human-error factors petri net concurrent software systems model-checking data-flows software reliability model maximum likelihood estimation EM algorithm non-homogeneous Poisson process generalized failure count data moth flame optimization island-based model feature selection software defect prediction software reliability search-based test case generation branch coverage object-oriented deep learning long short-term memory project similarity and clustering cross-project prediction Nervos CKB consensus protocol UPPAAL
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009666920106719