So the testing problem is to think like a computer, thinking like a human driver
and work out where it's making conceptual errors.
Hmm..
So I guess they'll need to pair up a couple of developers, one with Aspergers, one without for both views of the code.