Author of the publication

MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito.

, , and . SBES, page 386-391. SBC, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Integrated Content Modeling Approach for Educational Modules., and . Education for the 21st Century, volume 210 of IFIP, page 17-26. Springer, (2006)A Version Control Tool for Framework-based Applications., , , , and . CLEI Electron. J., (2007)A transformational language for mutant description., , and . Comput. Lang. Syst. Struct., 35 (3): 322-339 (2009)An assessment of extended finite state machine test selection criteria., , , and . J. Syst. Softw., (2017)Where are the minimal mutants?, , and . SBES, page 190-195. ACM, (2018)Reference architecture knowledge representation: an experience., and . SHARK, page 51-54. ACM, (2008)Architectural description of embedded systems: a systematic review., , , and . ISARCS, page 31-40. ACM, (2012)An Ontology for Controlled Experiments on Software Engineering., , , and . SEKE, page 685-690. Knowledge Systems Institute Graduate School, (2008)Systematic Evaluation of Software Product Line Architectures., , , , and . J. Univers. Comput. Sci., 19 (1): 25-52 (2013)Knowledge-Sharing Issues in Experimental Software Engineering., , , , , , , and . Empir. Softw. Eng., 9 (1-2): 111-137 (2004)