Model-Based Testing and Exploratory Testing: Is Synergy Possible? | IEEE Conference Publication | IEEE Xplore