Cover Image
Read Now

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

Full description

Bibliographic Details
Main Author: Dohi, Tadashi
Other Authors: Liu, Shaoying
Format: eBook
Language:English
Published: Basel MDPI - Multidisciplinary Digital Publishing Institute 2022
Subjects:
Software Reliability
Consensus Protocol
Optimal Rejuvenation-trigger Timing
Moth Flame Optimization
Fuzzy Automata
Genetic Algorithm
Quality Assessment
Visual Question Answering
Specification-based Testing
Feature Selection
Maximum Likelihood Estimation
Nervos Ckb
Deep Learning
Island-based Model
History Of Engineering And Technology / Bicssc
Uppaal
Concurrent Software Systems
Generalized Failure Count Data
Data-flows
Em Algorithm
Technology: General Issues / Bicssc
Metamorphic Testing
Software Rejuvenation
Textual Question Answering
Search-based Test Case Generation
Human-error Factors
Bisimulation
Metamorphic Relations
Maude
Test Data Generation
Object-oriented
Cross-project Prediction
Regression Testing
Petri Net
Model Checking
Coalgebra
Software Defect Prediction
Fuzzy Language
Mutation Testing
Model-checking
Checkpointing
Long Short-term Memory
Eventual Property
Composition
Software Reliability Model
Branch Coverage
Non-homogeneous Poisson Process
Phase Expansion
Steady-state System Availability
Project Similarity And Clustering
Online Access:
Collection: Directory of Open Access Books - Collection details see MPG.ReNa
Description
Summary: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.
Item Description:Creative Commons (cc), https://creativecommons.org/licenses/by/4.0/
Physical Description:1 electronic resource (218 p.)
ISBN:books978-3-0365-3800-6
9783036537993
9783036538006

Similar Items