Research Paper Review - Auto Distributed Systems Code Corrector

Programmers Quickie - A podcast by Software Engineering

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