Automated Testing of Robotic and Cyberphysical Systems