Mutation analysis testing for finite state machines
S C P F Fabbri José Carlos Maldonado; Márcio Eduardo Delamaro; Paulo Cesar Masiero; International Symposium on Software Reliability Engineering (5. 1994 Monterey)
Proceedings Monterey : Ieee, 1994
Monterey Ieee 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-874699 ) e outros locais(Acessar)
Proteum /FSM a tool to support finite state machine validation based on mutation testing
Sandra Camargo Pinto Ferraz Fabbri Márcio Eduardo Delamaro; Maldonado, José Carlos; Masiero, Paulo Cesar; International Conference of the Chilean Computer Science Society (19. 1999 Talca)
Proceedings Los Alamitos : IEEE Computer Society, 1999
Los Alamitos IEEE Computer Society 1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1048850 ) e outros locais(Acessar)
On studying the effectiveness of extended finite state machine based test selection criteria
Khaled El-Fakih Adenilso da Silva Simão; Noshad Jadoon; José Carlos Maldonado; IEEE International Conference on Software Testing, Verification, and Validation Workshops - ICSTW 2014 (7. 2014 Cleveland, Ohio)
Proceedings Los Alamitos, California : IEEE Computer Society, 2014