T-VEC will present "Automatic Generation of Test Vectors for SCR-Style Specifications" at the Conference on Computer Assurance.