Model-based testing of software and systems: recent advances and challenges
Mutation-Based Test Sequence Generation for Petri Nets
MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito
MuDEL: A Language and System for Describing and Generating Mutants
Prolog & TXL: Um Estudo de Caso para Prototipação de Ferramentas de Apoio para o Teste Estrutural
IDeL: A Language for Program Instrumentation
J Braz Comp Soc
IC Technical Reports 2008
IC Technical Reports 2009
Concurrency and Computation: Practice and Experience
Electronic Notes in Theoretical Computer Science
Computer Languages, Systems & Structures
José Carlos Maldonado
Auri Marcelo Rizzo Vincenzi
Marcio Eduardo Delamaro
Silvia Regina Vergilio
Adilson Luiz Bonifácio
Simone do Rocio Senger de Souza