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:
HerausgeberIn: | |
---|---|
Sonstige: | |
Year of Publication: | 2022 |
Language: | English |
Physical Description: | 1 electronic resource (218 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
993544893004498 |
---|---|
ctrlnum |
(CKB)5720000000008325 (oapen)https://directory.doabooks.org/handle/20.500.12854/84452 (EXLCZ)995720000000008325 |
collection |
bib_alma |
record_format |
marc |
spelling |
Dohi, Tadashi edt Mathematics in Software Reliability and Quality Assurance Basel MDPI - Multidisciplinary Digital Publishing Institute 2022 1 electronic resource (218 p.) text txt rdacontent computer c rdamedia online resource cr rdacarrier 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. English Technology: general issues bicssc History of engineering & technology bicssc 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 3-0365-3799-6 3-0365-3800-3 Liu, Shaoying edt Dohi, Tadashi oth Liu, Shaoying oth |
language |
English |
format |
eBook |
author2 |
Liu, Shaoying Dohi, Tadashi Liu, Shaoying |
author_facet |
Liu, Shaoying Dohi, Tadashi Liu, Shaoying |
author2_variant |
t d td s l sl |
author2_role |
HerausgeberIn Sonstige Sonstige |
title |
Mathematics in Software Reliability and Quality Assurance |
spellingShingle |
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_auth |
Mathematics in Software Reliability and Quality Assurance |
title_new |
Mathematics in Software Reliability and Quality Assurance |
title_sort |
mathematics in software reliability and quality assurance |
publisher |
MDPI - Multidisciplinary Digital Publishing Institute |
publishDate |
2022 |
physical |
1 electronic resource (218 p.) |
isbn |
3-0365-3799-6 3-0365-3800-3 |
illustrated |
Not Illustrated |
work_keys_str_mv |
AT dohitadashi mathematicsinsoftwarereliabilityandqualityassurance AT liushaoying mathematicsinsoftwarereliabilityandqualityassurance |
status_str |
n |
ids_txt_mv |
(CKB)5720000000008325 (oapen)https://directory.doabooks.org/handle/20.500.12854/84452 (EXLCZ)995720000000008325 |
carrierType_str_mv |
cr |
is_hierarchy_title |
Mathematics in Software Reliability and Quality Assurance |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField |
_version_ |
1796652255250743296 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03168nam-a2200901z--4500</leader><controlfield tag="001">993544893004498</controlfield><controlfield tag="005">20231214133208.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr|mn|---annan</controlfield><controlfield tag="008">202206s2022 xx |||||o ||| 0|eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5720000000008325</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/84452</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995720000000008325</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dohi, Tadashi</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematics in Software Reliability and Quality Assurance</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Basel</subfield><subfield code="b">MDPI - Multidisciplinary Digital Publishing Institute</subfield><subfield code="c">2022</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 electronic resource (218 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Technology: general issues</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">History of engineering & technology</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">fuzzy automata</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">coalgebra</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">fuzzy language</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">bisimulation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">composition</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">test data generation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">genetic algorithm</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">specification-based testing</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">regression testing</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">mutation testing</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">eventual property</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">model checking</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Maude</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">textual question answering</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">visual question answering</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">metamorphic testing</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">metamorphic relations</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">quality assessment</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software rejuvenation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">checkpointing</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">optimal rejuvenation-trigger timing</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">steady-state system availability</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">phase expansion</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">human-error factors</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">petri net</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">concurrent software systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">model-checking</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">data-flows</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software reliability model</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">maximum likelihood estimation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">EM algorithm</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">non-homogeneous Poisson process</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">generalized failure count data</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">moth flame optimization</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">island-based model</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">feature selection</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software defect prediction</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software reliability</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">search-based test case generation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">branch coverage</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">object-oriented</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">deep learning</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">long short-term memory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">project similarity and clustering</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">cross-project prediction</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Nervos CKB</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">consensus protocol</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">UPPAAL</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-0365-3799-6</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-0365-3800-3</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Liu, Shaoying</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dohi, Tadashi</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Liu, Shaoying</subfield><subfield code="4">oth</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-12-15 05:46:25 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2022-07-02 22:45:44 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5337750420004498&Force_direct=true</subfield><subfield code="Z">5337750420004498</subfield><subfield code="b">Available</subfield><subfield code="8">5337750420004498</subfield></datafield></record></collection> |