Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment.

Saved in:
Bibliographic Details
Superior document:The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
:
Omri, Fouad ben Nasr
Year of Publication:2018
Language:English
Series:The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
Physical Description:1 electronic resource (XIII, 162 p. p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993547920904498
ctrlnum (CKB)4920000000100778
(oapen)https://directory.doabooks.org/handle/20.500.12854/62570
(EXLCZ)994920000000100778
collection bib_alma
record_format marc
spelling Omri, Fouad ben Nasr auth
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
KIT Scientific Publishing 2018
1 electronic resource (XIII, 162 p. p.)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment.
English
Software Development
Software Reliability
Zuverlässigkeit
Statistisches Testen
Software-Entwicklung
Statistical Testing
3-7315-0472-3
language English
format eBook
author Omri, Fouad ben Nasr
spellingShingle Omri, Fouad ben Nasr
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
author_facet Omri, Fouad ben Nasr
author_variant f b n o fbn fbno
author_sort Omri, Fouad ben Nasr
title Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
title_full Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
title_fullStr Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
title_full_unstemmed Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
title_auth Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
title_new Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
title_sort weighted statistical testing based on active learning and formal verification techniques for software reliability assessment
series The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
series2 The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
publisher KIT Scientific Publishing
publishDate 2018
physical 1 electronic resource (XIII, 162 p. p.)
isbn 1000051517
3-7315-0472-3
illustrated Not Illustrated
work_keys_str_mv AT omrifouadbennasr weightedstatisticaltestingbasedonactivelearningandformalverificationtechniquesforsoftwarereliabilityassessment
status_str n
ids_txt_mv (CKB)4920000000100778
(oapen)https://directory.doabooks.org/handle/20.500.12854/62570
(EXLCZ)994920000000100778
carrierType_str_mv cr
hierarchy_parent_title The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
is_hierarchy_title Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
container_title The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
_version_ 1796649033382494209
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01471nam-a2200349z--4500</leader><controlfield tag="001">993547920904498</controlfield><controlfield tag="005">20231214133146.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr|mn|---annan</controlfield><controlfield tag="008">202102s2018 xx |||||o ||| 0|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1000051517</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)4920000000100778</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/62570</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)994920000000100778</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Omri, Fouad ben Nasr</subfield><subfield code="4">auth</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="b">KIT Scientific Publishing</subfield><subfield code="c">2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 electronic resource (XIII, 162 p. 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="490" ind1="1" ind2=" "><subfield code="a">The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Software Development</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Software Reliability</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Zuverlässigkeit</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Statistisches Testen</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Software-Entwicklung</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Statistical Testing</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-7315-0472-3</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:44:40 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2019-11-10 04:18:40 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&amp;portfolio_pid=5338708850004498&amp;Force_direct=true</subfield><subfield code="Z">5338708850004498</subfield><subfield code="b">Available</subfield><subfield code="8">5338708850004498</subfield></datafield></record></collection>

Similar Items