Weighted Statistical Testing Based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Author: Fouad ben Nasr Omri
Publisher:
Published: 2020-10-09
Total Pages: 182
ISBN-13: 9781013279324
DOWNLOAD EBOOK →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. This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.