Gustavo Carvalho, Diogo Falcão, Flávia de Almeida Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn. SCR: Test case generation from natural language requirements based on SCR specifications. Science of Computer Programming, 95:275-297, 2014. [doi]
Abstract is missing.