Improving Models for Model-Based Testing Based on Exploratory Testing | IEEE Conference Publication | IEEE Xplore