Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment - Omri, Fouad ben Nasr (KIT Scientific Publishing)