BDBComp
Parceria:
SBC
Um Estudo sobre a Avaliação do Custo de Aplicação da Análise de Mutantes na Validação de Máquinas de Estados Finitos

José Carlos MaldonadoRenata A. de CarvalhoSandra Camargo P. F. Fabbri

Finite State Machine (FSM) is one of the most used techniques for the specification of the Reactive Systems incremental, low-cost testing and validation strategy in the context of FSM.

http://www.lbd.dcc.ufmg.br:8080/colecoes/sbes/1999/29.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD