Model-Based Exploratory Testing: A Controlled Experiment | IEEE Conference Publication | IEEE Xplore