{"product_id":"weighted-statistical-testing-based-on-active-learning-and-formal-verification-techniques-for-software-reliability-assessment","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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783731504726\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783731504726","offer_id":39435334352989,"sku":"9783731504726","price":35.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/94723178-5adf-402e-9c7c-6d76934756e2.jpg?v=1780374709","url":"https:\/\/shop.autorenwelt.de\/en\/products\/weighted-statistical-testing-based-on-active-learning-and-formal-verification-techniques-for-software-reliability-assessment","provider":"Autorenwelt Shop","version":"1.0","type":"link"}