Afficher la notice abrégée

Mathematics in Software Reliability and Quality Assurance

dc.contributor.editorDohi, Tadashi
dc.contributor.editorLiu, Shaoying
dc.date.accessioned2022-06-21T08:36:31Z
dc.date.available2022-06-21T08:36:31Z
dc.date.issued2022
dc.identifierONIX_20220621_9783036537993_30
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/84452
dc.description.abstractThis 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.
dc.languageEnglish
dc.subject.classificationthema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issuesen_US
dc.subject.classificationthema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technologyen_US
dc.subject.otherfuzzy automata
dc.subject.othercoalgebra
dc.subject.otherfuzzy language
dc.subject.otherbisimulation
dc.subject.othercomposition
dc.subject.othertest data generation
dc.subject.othergenetic algorithm
dc.subject.otherspecification-based testing
dc.subject.otherregression testing
dc.subject.othermutation testing
dc.subject.othereventual property
dc.subject.othermodel checking
dc.subject.otherMaude
dc.subject.othertextual question answering
dc.subject.othervisual question answering
dc.subject.othermetamorphic testing
dc.subject.othermetamorphic relations
dc.subject.otherquality assessment
dc.subject.othersoftware rejuvenation
dc.subject.othercheckpointing
dc.subject.otheroptimal rejuvenation-trigger timing
dc.subject.othersteady-state system availability
dc.subject.otherphase expansion
dc.subject.otherhuman-error factors
dc.subject.otherpetri net
dc.subject.otherconcurrent software systems
dc.subject.othermodel-checking
dc.subject.otherdata-flows
dc.subject.othersoftware reliability model
dc.subject.othermaximum likelihood estimation
dc.subject.otherEM algorithm
dc.subject.othernon-homogeneous Poisson process
dc.subject.othergeneralized failure count data
dc.subject.othermoth flame optimization
dc.subject.otherisland-based model
dc.subject.otherfeature selection
dc.subject.othersoftware defect prediction
dc.subject.othersoftware reliability
dc.subject.othersearch-based test case generation
dc.subject.otherbranch coverage
dc.subject.otherobject-oriented
dc.subject.otherdeep learning
dc.subject.otherlong short-term memory
dc.subject.otherproject similarity and clustering
dc.subject.othercross-project prediction
dc.subject.otherNervos CKB
dc.subject.otherconsensus protocol
dc.subject.otherUPPAAL
dc.titleMathematics in Software Reliability and Quality Assurance
dc.typebook
oapen.identifier.doi10.3390/books978-3-0365-3800-6
oapen.relation.isPublishedBy46cabcaa-dd94-4bfe-87b4-55023c1b36d0
oapen.relation.isbn9783036537993
oapen.relation.isbn9783036538006
oapen.pages218
oapen.place.publicationBasel


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

https://creativecommons.org/licenses/by/4.0/
Excepté là où spécifié autrement, la license de ce document est décrite en tant que https://creativecommons.org/licenses/by/4.0/