Weighted Statistical Testing Based on Active Learning and Formal Verification Techniques for Software 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.