This sounds like TDD but with the humans writing the test and the machine writing the code.