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

Fouad Ben Nasr Omri

ISBN 10: 3731504723 / ISBN 13: 9783731504726

Published by Karlsruher Institut Für Technologie Dez 2018, 2018

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 192 pp. Englisch. Seller Inventory # 9783731504726

Bibliographic Details

Title: Weighted Statistical Testing based on Active...

Publisher: Karlsruher Institut Für Technologie Dez 2018

Publication Date: 2018

Binding: Taschenbuch

Condition: Neu