Um mapeamento sistemático sobre a geração de casos de teste para sistemas de transição com entrada e saída
Sofia Larissa da Costa Paiva Adenilso da Silva Simão
São Carlos ICMC-USP 2014
Localização:
ICMC - Inst. Ciên. Mat. Computação
(RT-SCC nº396 ) e outros locais(Acessar)