Our Brazilian research friends present paper at SAC 2013 on Test Vectors Generation (using T-VEC) based on Natural Language Requirements and using SCR