T-VEC will present "Application of the Test Automation Framework for Model Analysis and Test Generation" at the Software Technology Conference