In a paper named Fixed it for you.  Protocol repair using lineage graphs it is described how machine can autocorrect programming error.