Random Depth-first Search Testing