Regression Test Cases Generation Based on Automatic Model Revision | IEEE Conference Publication | IEEE Xplore