No. But with mutation testing you can know that the test suite tests all behavior of the program.
If that behavior is wrong or not it can't say. For example it can't detect that the code needs MORE behavior! Some if-statement or loop that was never written.
Have you somehow managed to overcome the maxim that "Testing can show that defects are present, but cannot prove that there are no defects" ?