Testing Cyber-Physical Systems under Uncertainty