{"product_id":"ben-fouad-nasr-omri-weighted-statistical-testing-based-on-active-learning-and-formal-verification-techniques-for-software-reliability-assessment-9783731504726","title":"Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment","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.","brand":"Karlsruher Institut für Technologie","offers":[{"title":"Default Title","offer_id":53766776193366,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/ben-fouad-nasr-omri-weighted-statistical-testing-based-on-active-learning-and-formal-verification-techniques-for-software-reliability-assessment-9783731504726","provider":"momoxbooks","version":"1.0","type":"link"}