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