@misc{14118, author = {Shaukat Ali and Tao Yue}, title = {Testing Cyber-Physical Systems under Realistic and Unknown Uncertainty by Combining Model and Search-Based Approaches}, year = {2015}, journal = {DE-CPS 2015, Madrid, Spain}, }