de Carvalho Nogueira, Sidney de Carvalho Nogueira, Sidney; Cezar Alves Sampaio, Augusto. Geração automática de casos de teste CSP orientada por propósitos. 2006. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2006..
,
2006