The Application Of Machine Learning Methods In Software Verification And Validation