T-VEC will present "Automated Test Generation for Object Oriented Specification" at the Software Reliability Engineering Workshop.