2015NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP
CARVALHO, G.; BARROS, FLÁVIA; CARVALHO, A. P.; CAVALCANTI, A. L.; MOTA, A. C.; Sampaio A.C.A [SEFM] Software Engineering and Formal Methods: 13th International Conference, SEFM 2015