A measurement framework for evaluating model-based test generation tools | IBM Journals & Magazine | IEEE Xplore