Nico Naus disucsses how to use symbolic execution, which will allow you to analyse the program you are using to determine what input causes what part of the program to execute. In his talk, at Lambda Days, he disucsses using symbolic execution to generate next step hints for task oientated programs.
This talk was given by Nico Naus at Lambda Days.