I'd suspect all those HFT firms will have robot agents (trading based on some ratios/logic) as simulations for their testing environment.