can test driven development formally verified? Is there any guarantee that the program is correct and work properly? Is there any formal bases for choosing test? is there any algorithm to follow it?
TDD is no silver bullet. You still have to write the code and you can still make mistakes in your logic and in your code. I see TDD as a thinking tool that helps you work through a problem in a very systematic way.
Here are some articles that may help you in terms of what algorithm to follow: