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...
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Electronic Book Chapter |
| Language: | English |
| Published: |
Basel
MDPI - Multidisciplinary Digital Publishing Institute
2022
|
| Subjects: | |
| Online Access: | DOAB: download the publication DOAB: description of the publication |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000naaaa2200000uu 4500 | ||
|---|---|---|---|
| 001 | doab_20_500_12854_84452 | ||
| 005 | 20220621 | ||
| 003 | oapen | ||
| 006 | m o d | ||
| 007 | cr|mn|---annan | ||
| 008 | 20220621s2022 xx |||||o ||| 0|eng d | ||
| 020 | |a books978-3-0365-3800-6 | ||
| 020 | |a 9783036537993 | ||
| 020 | |a 9783036538006 | ||
| 040 | |a oapen |c oapen | ||
| 024 | 7 | |a 10.3390/books978-3-0365-3800-6 |c doi | |
| 041 | 0 | |a eng | |
| 042 | |a dc | ||
| 072 | 7 | |a TB |2 bicssc | |
| 072 | 7 | |a TBX |2 bicssc | |
| 100 | 1 | |a Dohi, Tadashi |4 edt | |
| 700 | 1 | |a Liu, Shaoying |4 edt | |
| 700 | 1 | |a Dohi, Tadashi |4 oth | |
| 700 | 1 | |a Liu, Shaoying |4 oth | |
| 245 | 1 | 0 | |a Mathematics in Software Reliability and Quality Assurance |
| 260 | |a Basel |b MDPI - Multidisciplinary Digital Publishing Institute |c 2022 | ||
| 300 | |a 1 electronic resource (218 p.) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 506 | 0 | |a Open Access |2 star |f Unrestricted online access | |
| 520 | |a 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. | ||
| 540 | |a Creative Commons |f https://creativecommons.org/licenses/by/4.0/ |2 cc |4 https://creativecommons.org/licenses/by/4.0/ | ||
| 546 | |a English | ||
| 650 | 7 | |a Technology: general issues |2 bicssc | |
| 650 | 7 | |a History of engineering & technology |2 bicssc | |
| 653 | |a fuzzy automata | ||
| 653 | |a coalgebra | ||
| 653 | |a fuzzy language | ||
| 653 | |a bisimulation | ||
| 653 | |a composition | ||
| 653 | |a test data generation | ||
| 653 | |a genetic algorithm | ||
| 653 | |a specification-based testing | ||
| 653 | |a regression testing | ||
| 653 | |a mutation testing | ||
| 653 | |a eventual property | ||
| 653 | |a model checking | ||
| 653 | |a Maude | ||
| 653 | |a textual question answering | ||
| 653 | |a visual question answering | ||
| 653 | |a metamorphic testing | ||
| 653 | |a metamorphic relations | ||
| 653 | |a quality assessment | ||
| 653 | |a software rejuvenation | ||
| 653 | |a checkpointing | ||
| 653 | |a optimal rejuvenation-trigger timing | ||
| 653 | |a steady-state system availability | ||
| 653 | |a phase expansion | ||
| 653 | |a human-error factors | ||
| 653 | |a petri net | ||
| 653 | |a concurrent software systems | ||
| 653 | |a model-checking | ||
| 653 | |a data-flows | ||
| 653 | |a software reliability model | ||
| 653 | |a maximum likelihood estimation | ||
| 653 | |a EM algorithm | ||
| 653 | |a non-homogeneous Poisson process | ||
| 653 | |a generalized failure count data | ||
| 653 | |a moth flame optimization | ||
| 653 | |a island-based model | ||
| 653 | |a feature selection | ||
| 653 | |a software defect prediction | ||
| 653 | |a software reliability | ||
| 653 | |a search-based test case generation | ||
| 653 | |a branch coverage | ||
| 653 | |a object-oriented | ||
| 653 | |a deep learning | ||
| 653 | |a long short-term memory | ||
| 653 | |a project similarity and clustering | ||
| 653 | |a cross-project prediction | ||
| 653 | |a Nervos CKB | ||
| 653 | |a consensus protocol | ||
| 653 | |a UPPAAL | ||
| 856 | 4 | 0 | |a www.oapen.org |u https://mdpi.com/books/pdfview/book/5435 |7 0 |z DOAB: download the publication |
| 856 | 4 | 0 | |a www.oapen.org |u https://directory.doabooks.org/handle/20.500.12854/84452 |7 0 |z DOAB: description of the publication |