Developing an Automated Model-Based Software Testing Tool From the Design Phase | IEEE Journals & Magazine | IEEE Xplore