Now assume that you have a digital map and a bunch of robots with a souped up version of TomTom inside that has a super smart algorithm to test as many roads as possible.

FORBES: Machiel van der Bijl On Automated Software Testing