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

Полное описание

Сохранить в:

Библиографические подробности
Формат:	Online
Язык:	английский
Опубликовано:	MDPI - Multidisciplinary Digital Publishing Institute 2022
Предметы:	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 thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
Online-ссылка:	ONIX_20220621_9783036537993_30
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Internet

ONIX_20220621_9783036537993_30

Mathematics in Software Reliability and Quality Assurance

Internet

Схожие документы