Placeholder text

Go to cart

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

By Omri, Fouad Ben Nasr

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

By Omri, Fouad Ben Nasr

0 - Default Title
Description
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.
Product details
Binding:
Paperback
Number of Pages:
192
Release Date:
2018-12-11
Publication Date:
2018-12-12
Publisher:
Karlsruher Institut für Technologie
Languages:
Original: English
ISBN10:
3731504723
ISBN13:
9783731504726
GPSR Manufacturer Reference:
[email protected]
Weight:
286 g
Height:
148 cm
Width:
210 cm
Thickness:
13 cm
Buy on Amazon
Currently sold out