área de pesquisa Crescencio Rodrigues Lima Neto Paulo Anselmo da Mota Silveira Neto SPLMT-TE: A Software Product Lines System Test Case Tool
