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

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Corporate Authors: Dohi, Tadashi, Liu, Shaoying
Formato: Livro
Idioma:Inglês
Publicado em: MDPI - Multidisciplinary Digital Publishing Institute 2022
Assuntos:
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
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
Acesso em linha:https://directory.doabooks.org/handle/20.500.12854/84452
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados