Here`s a list of the best alternatives for Provar: Tricentis Tosca ACCELQ Proof Evidence LambdaTest