Professor Gustavo Carvalho has just had a paper accepted in the journal Science of Computer Programming (SCP). The paper, entitled "Test Case Generation from Natural Language Requirements Specifications based on SCR," explains how to automatically generate tests from requirements in natural language using the SCR notation. The paper was in cooperation with Embraer (BRA) and Stevens Institute of Technology (USA).