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...
সংরক্ষণ করুন:
| বিন্যাস: | Online |
|---|---|
| ভাষা: | ইংরেজি |
| প্রকাশিত: |
MDPI - Multidisciplinary Digital Publishing Institute
2022
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | ONIX_20220621_9783036537993_30 |
| ট্যাগগুলো: |
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
| _version_ | 1869526922348724224 |
|---|---|
| collection | Directory of Open Access Books |
| description | 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. |
| format | Online |
| id | doab-20.500.12854ir-84452 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2022 |
| publishDateRange | 2022 |
| publishDateSort | 2022 |
| publisher | MDPI - Multidisciplinary Digital Publishing Institute |
| publisherStr | MDPI - Multidisciplinary Digital Publishing Institute |
| record_format | ojs |
| spelling | doab-20.500.12854ir-844522024-04-11T15:10:58Z Mathematics in Software Reliability and Quality Assurance Dohi, Tadashi Liu, Shaoying 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 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. 2022-06-21T08:36:31Z 2022-06-21T08:36:31Z 2022 book ONIX_20220621_9783036537993_30 9783036537993 9783036538006 https://directory.doabooks.org/handle/20.500.12854/84452 eng application/octet-stream Attribution 4.0 International https://mdpi.com/books/pdfview/book/5435 https://mdpi.com/books/pdfview/book/5435 MDPI - Multidisciplinary Digital Publishing Institute 10.3390/books978-3-0365-3800-6 10.3390/books978-3-0365-3800-6 46cabcaa-dd94-4bfe-87b4-55023c1b36d0 9783036537993 9783036538006 218 Basel open access |
| spellingShingle | 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 Mathematics in Software Reliability and Quality Assurance |
| title | Mathematics in Software Reliability and Quality Assurance |
| title_full | Mathematics in Software Reliability and Quality Assurance |
| title_fullStr | Mathematics in Software Reliability and Quality Assurance |
| title_full_unstemmed | Mathematics in Software Reliability and Quality Assurance |
| title_short | Mathematics in Software Reliability and Quality Assurance |
| title_sort | mathematics in software reliability and quality assurance |
| topic | 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 |
| topic_facet | 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 |
| url | ONIX_20220621_9783036537993_30 |