Testing and Debugging Robots