Existing debugging tools are powerful, but not input/output aware. They don't know what the correct inputs and outputs are.

We know. We know the correct inputs and ouputs. This milestone is to construct a powerful (the most powerful in the world) debugger which knows right inputs to follow and your wrong outputs.