Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test | IEEE Journals & Magazine | IEEE Xplore