Copertina

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

Descrizione completa

Salvato in:
Natura: Online
Lingua:inglese
Pubblicazione: MDPI - Multidisciplinary Digital Publishing Institute 2022
Soggetti:
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
Accesso online:ONIX_20220621_9783036537993_30
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
Lascia un commento!
Entra

Documenti analoghi