Ata uhi

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

Whakaahuatanga katoa

I tiakina i:
Hōputu: Online
Reo:Ingarihi
I whakaputaina: MDPI - Multidisciplinary Digital Publishing Institute 2022
Ngā marau:
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
Urunga tuihono:ONIX_20220621_9783036537993_30
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
Me noho koe te mea tuatahi ki te waiho tākupu!
Me takiuru i te tuatahi

Ngā tūemi rite