Azala

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

Deskribapen osoa

Gorde:
Formatua: Online
Hizkuntza:ingelesa
Argitaratua: MDPI - Multidisciplinary Digital Publishing Institute 2022
Gaiak:
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
Sarrera elektronikoa:ONIX_20220621_9783036537993_30
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
Gaia: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.

Antzeko izenburuak