Visible to the public Robustness Guided Testing and Verification for Cyber-Physical Systems