T-VEC will present "Integrating Model-based Tools For Test Generation And Analysis" at the Software Technology Conference