>... it doesn't matter so much that you know every detail of the implementation, as long as it is validated.

What makes me nervous is when we generate both the implementation and the test cases. In what sense is this validation?