A framework for the evaluation of specification miners based on finite state machines | IEEE Conference Publication | IEEE Xplore