A Model-Based Approach for Robustness Test Generation | IEEE Conference Publication | IEEE Xplore