No, but I have read many papers where people have some success but don't really get it to work consistently.

From Godel, Escher, Bach and my own experience I'm afraid that's a way to spend the next 1000 years pushing a bubble around under a rug.

If you had something that fully automated the cycle of running the compiler and running tests at least I wouldn't have the tedium of doing all that, particularly the bit about having to reprompt with the last compiler error.