>
>And the program then tries different sequences until it hits upon one that produces the expected outputs when given the inputs?
>
>So it generates code in the same way that the old joke about the room full of monkeys randomly typing will eventually produce the works of Shakespeare?

This is closely related to genetic programming.
It is a workable technique, as long as you completely describe the output states you're looking for.

--
http://www.piclist.com hint: The PICList is archived three different
ways.  See http://www.piclist.com/#archives for details.