| Texto completo | |
| Autor(es): |
Petrenko, Alexandre
;
Simao, Adenilso
;
Yevtushenko, N
;
Cavalli, AR
;
Yenigun, H
Número total de Autores: 5
|
| Tipo de documento: | Artigo Científico |
| Fonte: | TESTING SOFTWARE AND SYSTEMS (ICTSS 2017); v. 10533, p. 6-pg., 2017-01-01. |
| Resumo | |
In this paper, we investigate how a checking sequence can be generated from a Finite State Machine, with respect to a user-defined set of faults, modeled as a nondeterministic FSM, called Mutation Machine (MM). We propose an algorithm for generating a checking sequence in this scenario and demonstrate its correctness. (AU) | |
| Processo FAPESP: | 13/07375-0 - CeMEAI - Centro de Ciências Matemáticas Aplicadas à Indústria |
| Beneficiário: | Francisco Louzada Neto |
| Modalidade de apoio: | Auxílio à Pesquisa - Centros de Pesquisa, Inovação e Difusão - CEPIDs |