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