There is an interesting area of computer science called [inductive programming](http://en.wikipedia.org/wiki/Inductive_programming) dedicated to this sort of thing, though in a slightly different way than shown in this blog post.