A Statistical Approach to Model-Based Robustness Testing | IEEE Conference Publication | IEEE Xplore