Auri Marcelo Rizzo Vincenzi

  • Endereço para acessar este CV: http://lattes.cnpq.br/0611351138131709
  • Última atualização do currículo em 11/10/2018


Professor associado no Departamento de Computação da Universidade Federal de São Carlos (2015-atual). Graduado em Ciência da Computação pela Universidade Estadual de Londrina UEL (1995). Possui títulos de mestrado (1998), doutorado (2004) e pós-douturado (2015) em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo ICMC/USP. Durante o doutorado realizou sanduíche na University of Texas at Dallas ? UTDallas - EUA. Foi professor assistente na Universidade Católica de Santos - UNISANTOS (2006-2008), professor adjunto da Universidade Federal de Goiás ? UFG (2005-2006 e 2008-2015) e professor colaborador no Centro Universitário Eurípides de Marília ? UNIVEM (2004-2005). Foi bolsista produtividade do CNPq (Nível 2) de 2007 a 2012. Atuou como Coordenador de Informática do Centro de Seleção da UFG (2008 a 2010) e, Diretor do Instituto de Informática da UFG de 2010 a 2013. Membro da Comissão de Educação da SBC (triênios 2009-2011 e 2011-2013). Tem experiência na área de Engenharia de Software, com ênfase em Teste de Software, atuando principalmente nos seguintes temas: teste de software, teste funcional, teste estrutural, teste baseado em defeitos, desenvolvimento de ferramentas de teste e estabelecimento de estratégias de teste. Membro da Sociedade Brasileira de Computação (SBC), Association for Computing Machinery (ACM) e Institute of Electrical and Electronics Engineers (IEEE). ISTQB Certified Tester - CTFL (12-CTFL-01860-BR). (Texto informado pelo autor)


Identificação


Nome
Auri Marcelo Rizzo Vincenzi
Nome em citações bibliográficas
VINCENZI, A. M. R.;VINCENZI, AURI M.R.;VINCENZI, AURI M. R.;VINCENZI, AURI MARCELO RIZZO;VINCENZI, AURI M.;AURI VINCENZI;VINCENZI, AURI;RIZZO VINCENZI, AURI MARCELO

Endereço


Endereço Profissional
Universidade Federal de São Carlos, Centro de Ciências Exatas e de Tecnologia, Departamento de Computação.
Rod. Washington Luís, Km 235
Jardim Guanabara
13565905 - São Carlos, SP - Brasil - Caixa-postal: 676
Telefone: (16) 33518232
Ramal: 8612
Fax: (16) 33518233
URL da Homepage: www.dc.ufscar.br/~auri/


Formação acadêmica/titulação


1999 - 2004
Doutorado em Ciência da Computação e Matemática Computacional.
Universidade de São Paulo, USP, Brasil.
com período sanduíche em University Of Texas At Dallas (Orientador: Eric Wong).
Título: Orientação a Objeto: Definição, Implementação e Análise de Recursos de Teste e Validação, Ano de obtenção: 2004.
Orientador: José Carlos Maldonado.
Coorientador: Márcio Eduardo Delamaro.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Palavras-chave: Teste de Software; Teste de Programas Procedimentais; Teste de Programas Orientado a Objetos; Teste de Componentes; Teste Baseado em Mutação; Teste de Fluxo de Dados.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática; Qualidade e Produtividade.
1996 - 1998
Mestrado em Ciência da Computação e Matemática Computacional.
Universidade de São Paulo, USP, Brasil.
Título: Subsídios para o Estabelecimento de Estratégias de Teste Baseadas na Técnica de Mutação,Ano de Obtenção: 1998.
Orientador: José Carlos Maldonado.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Qualidade de Software; Teste de Software; Teste de Unidade; Teste de Integração; Análise de Mutantes; Mutação de Interface.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática; Qualidade e Produtividade.
1992 - 1995
Graduação em Ciência da Computação.
Universidade Estadual de Londrina, UEL, Brasil.
Título: Sistemas de Hipertexto.
Orientador: Fabio Sakuray.


Pós-doutorado


2014 - 2015
Pós-Doutorado.
Instituto de Ciências Matemáticas e de Computação, ICMC-USP, Brasil.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Teste de Software.


Formação Complementar


2013 - 2013
Implementador do MPS-Software (P2-MPS-SW). (Carga horária: 4h).
Sociedade para Promoção da Excelência do Software Brasileiro, SOFTEX, Brasil.
2013 - 2013
Curso I - Formação na Metodologia de CERTICS. (Carga horária: 16h).
Fundação de Apoio à Capacitação em Tecnologia e Informação, FACTI, Brasil.
2013 - 2013
Curso de Capacitação em CMS Joomla 3.1. (Carga horária: 56h).
Independência Consultoria e Treinamento LTDA, INCONTRE, Brasil.
2012 - 2012
Certified Tester, Foundation Level (CTFL). (Carga horária: 4h).
International Software Testing Qualification Board, ISTQB, Bélgica.
2010 - 2010
Aggregation of Software Engineering Experiments. (Carga horária: 8h).
Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
2010 - 2010
Introdução à Métricas e Medição de Software. (Carga horária: 8h).
Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
2010 - 2010
Programação CUDA. (Carga horária: 10h).
Universidade Federal de Goiás, UFG, Brasil.
2010 - 2010
Docência no Ensino Superior/Estágio Probatório. (Carga horária: 56h).
Universidade Federal de Goiás, UFG, Brasil.
2009 - 2009
Introdução à Engenharia de Software Experimental. (Carga horária: 4h).
Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
2009 - 2009
Using Qualitative Methods in Empirical Studies. (Carga horária: 4h).
Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
2009 - 2009
Revisão Sistemática: Pesquisa Científica em Engen. (Carga horária: 8h).
Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
2009 - 2009
Uso de Métodos Estatísticos para o Planejamento. (Carga horária: 4h).
Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
2008 - 2008
Alternativas Pedagógicas para Inovação Curricular. (Carga horária: 4h).
Universidade Federal de Goiás, UFG, Brasil.
2007 - 2007
Fundamental Aspects of Empirical Soft. Engineering. (Carga horária: 2h).
Universidade de São Paulo, USP, Brasil.
2005 - 2005
Introdução ao MPS.Br. (Carga horária: 4h).
Universidade Católica de Brasília, UCB/DF, Brasil.
2002 - 2002
Extensão universitária em Reading Techniques to Improve Software Inspections. (Carga horária: 2h).
Instituto de Ciências Matemáticas e de Computação, ICMC/USP, Brasil.
2002 - 2002
Curso de Curta Duração.
Telcordia Technologies, TELCORDIA, Estados Unidos.
2001 - 2001
Extensão universitária em Eval. and Experimentation in Academy and Industry. (Carga horária: 4h).
Instituto de Ciências Matemáticas e de Computação, ICMC/USP, Brasil.
2001 - 2001
Extensão universitária em Sist. de Aux. a Gestão de C. em Redes de Pesquisas. (Carga horária: 3h).
Instituto de Ciências Matemáticas e de Computação, ICMC/USP, Brasil.
2001 - 2001
Extensão universitária em Semântica Denotacional. (Carga horária: 9h).
Instituto de Ciências Matemáticas e de Computação, ICMC/USP, Brasil.
2000 - 2000
Inspeção de Software. (Carga horária: 8h).
Instituto de Pesquisas Eldorado - Brasília, ELDORADO, Brasil.
1999 - 1999
Extensão universitária em A Pract. Perspective for Soft. Process Improvement. (Carga horária: 3h).
Instituto de Ciências Matemáticas e de Computação, ICMC/USP, Brasil.
1999 - 1999
Extensão universitária em A Method for Soft Quality Spec., Planning, Control. (Carga horária: 3h).
Instituto de Ciências Matemáticas e de Computação, ICMC/USP, Brasil.
1998 - 1998
Extensão universitária em Programação Java para a WWW. (Carga horária: 8h).
Instituto de Ciências Matemáticas e de Computação, ICMC/USP, Brasil.
1998 - 1998
Extensão universitária em Integ. Tech. and Tools for Maintaining Large Soft.. (Carga horária: 7h).
Instituto de Ciências Matemáticas e de Computação, ICMC/USP, Brasil.
1998 - 1998
Extensão universitária em Estelle: Uma Téc. de Desc. Formal Baseada em MEFE. (Carga horária: 6h).
Instituto de Ciências Matemáticas e de Computação, ICMC/USP, Brasil.
1997 - 1997
Treinamento e Avaliação de Produtos de Software. (Carga horária: 138h).
Fundação Centro Tecnológico para Informática, CTI, Brasil.
1996 - 1996
Tipos e Estruturas de Dados. (Carga horária: 192h).
Instituto de Ciências Matemáticas e de Computação, ICMC/USP, Brasil.
1996 - 1996
Metodologia Análise de Sist. de Tempo Real Téc OO. (Carga horária: 4h).
Sociedade Brasileira de Computação, SBC, Brasil.
1996 - 1996
[FC-002] Goal-Oriented Measurement. (Carga horária: 4h).
Sociedade Brasileira de Computação, SBC, Brasil.
1994 - 1994
Biologia Computacional. (Carga horária: 6h).
Universidade Estadual de Maringá, UEM, Brasil.


Atuação Profissional



Universidade Federal de São Carlos, UFSCAR, Brasil.
Vínculo institucional

2015 - Atual
Vínculo: , Enquadramento Funcional: Professor Associado-I, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/2018 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software 2 - Turma A
Engenharia de Software 2 - Turma B
06/2017 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e de Tecnologia, Departamento de Computação.

Cargo ou função
Representante do Departamento de Computação no Conselho de Curso de Biblioteconomia e Ciência da Informação.
03/2017 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e de Tecnologia, Departamento de Computação.

Cargo ou função
Membro do Núcleo Docente Estruturante (NDE) do Bacharelado em Ciência da Computação.
12/2016 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e de Tecnologia, Departamento de Computação.

Cargo ou função
Membro do CoD-DC (Representante Docente).
08/2017 - 12/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software 1
Tópicos em Engenharia de Software
03/2017 - 07/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software 2 - Turma A
Engenharia de Software 2 - Turma B
02/2016 - 07/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Computação
Introdução aos Sistemas de Informação
08/2016 - 12/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software 1
Introdução à Análise de Sistemas
8/2016 - 9/2016
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e de Tecnologia, Departamento de Computação.

Cargo ou função
Membro da Comissão de Revalidação de Diploma de Mayra Mercedes Zegarra Rodriguez - Ofício 023/2016 - CC.BCC.
04/2016 - 05/2016
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e de Tecnologia, Departamento de Computação.

Cargo ou função
Membro da Comissão de Revalidação de Diploma de Johana Maria Rosas Villena - Ofício 012/2016 - CC.BCC.
09/2015 - 12/2015
Extensão universitária , Centro de Ciências Exatas e de Tecnologia, Departamento de Computação.

Atividade de extensão realizada
Curso de Introdução à Programação Orientada a Objetos em Java.
08/2015 - 12/2015
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Banco de Dados
Estruturas Discretas

Universidade Federal de Goiás, UFG, Brasil.
Vínculo institucional

2008 - 2015
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto-IV, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
O docente já teve outro vínculo com a Universidade Federal de Goiás - UFG, durante o período de 02/2005 a 09/2006.

Atividades

03/2014 - 07/2015
Conselhos, Comissões e Consultoria, Instituto de Informática, .

Cargo ou função
Membro da Comissão de Avaliação Docente - CAD.
09/2013 - 07/2015
Conselhos, Comissões e Consultoria, Reitoria, .

Cargo ou função
Membro da Comissão de Processo Administrativo Disciplinar.
01/2011 - 07/2015
Conselhos, Comissões e Consultoria, Reitoria, .

Cargo ou função
Membro da Comissão de Atualização do Estatuto e Regimento da UFG.
09/2010 - 07/2015
Conselhos, Comissões e Consultoria, Instituto de Informática, .

Cargo ou função
Membro da Comissão do REUNI.
03/2010 - 07/2015
Conselhos, Comissões e Consultoria, Instituto de Informática, .

Cargo ou função
Membro da Comissão do Colegiado do Curso de Doutorado em Ciência da Computação - Portaria 005 de 19 de março de 2010..
06/2014 - 07/2014
Ensino, Engenharia de Software, Nível: Graduação

Disciplinas ministradas
Programação Orientada a Objetos
03/2014 - 07/2014
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto Final de Curso I NC
03/2014 - 04/2014
Ensino, Desenv. de Aplicações Web com Interfaces Ricas, Nível: Especialização

Disciplinas ministradas
Programação Efetiva em Java com Objetos
09/2013 - 12/2013
Conselhos, Comissões e Consultoria, Instituto de Informática, .

Cargo ou função
Membro da Comissão de Seleção do Programa de Pós-Graduação - Mestrado.
08/2013 - 12/2013
Ensino, Engenharia de Software, Nível: Graduação

Disciplinas ministradas
Experimentção em Engenharia de Software
08/2013 - 12/2013
Ensino, Doutorado em Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teste de Software
03/2013 - 07/2013
Ensino, Engenharia de Software, Nível: Graduação

Disciplinas ministradas
Desenvolvimento de Software para Web
Verificação e Validação
08/2010 - 06/2013
Direção e administração, Instituto de Informática, .

Cargo ou função
Diretor de Unidade Acadêmica.
04/2013 - 05/2013
Conselhos, Comissões e Consultoria, Instituto de Informática, .

Cargo ou função
Membro da Comissão de Avaliação de Documentação de VINICIUS DA CUNHA MARTINS BORGES para reconhecimento de título de Doutor em Ciências e Tecnologias da Informação. Portaria 1732 de 01 de abril de 2013.
10/2012 - 03/2013
Ensino, Engenharia de Software, Nível: Graduação

Disciplinas ministradas
Experimentação em Engenharia de Software
01/2013 - 02/2013
Ensino, Desenv. de Aplicações Web com Interfaces Ricas, Nível: Especialização

Disciplinas ministradas
Programação Efetiva em Java com Objetos
03/2012 - 07/2012
Ensino, Engenharia de Software, Nível: Graduação

Disciplinas ministradas
Verificação e Validação
01/2012 - 02/2012
Ensino, Desenv. de Aplicações Web com Interfaces Ricas, Nível: Especialização

Disciplinas ministradas
Programação Efetiva em Java com Objetos
08/2011 - 12/2011
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto Final de Curso II
08/2011 - 09/2011
Ensino, Desenv. de Aplicações Web com Interfaces Ricas, Nível: Especialização

Disciplinas ministradas
Programação Efetiva em Java com Objetos
03/2011 - 07/2011
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto Final de Curso I
03/2011 - 04/2011
Ensino, Bando de Dados, Nível: Especialização

Disciplinas ministradas
Introdução à Programação OO - Java
01/2011 - 02/2011
Ensino, Sistema de Informação, Nível: Graduação

Disciplinas ministradas
Introdução à Programação
01/2011 - 02/2011
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Programação I
01/2011 - 02/2011
Ensino, Desenv. de Aplicações Web com Interfaces Ricas, Nível: Especialização

Disciplinas ministradas
Programação Efetiva em Java com Objetos
08/2010 - 12/2010
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto Final de Curso I
08/2010 - 12/2010
Ensino, Mestrado em Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Engenharia de Software
06/2009 - 08/2010
Conselhos, Comissões e Consultoria, Instituto de Informática, .

Cargo ou função
Membro da Comissão de Pós-Graduação e Pesquisa.
03/2010 - 07/2010
Ensino, Sistema de Informação, Nível: Graduação

Disciplinas ministradas
Programação Orientada a Objetos
03/2010 - 07/2010
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto Final de Curso I
03/2008 - 07/2010
Direção e administração, Reitoria, Centro de Seleção.

Cargo ou função
Coordenador de Informática do Centro de Seleção da UFG.
04/2010 - 04/2010
Conselhos, Comissões e Consultoria, Pró-Reitoria de Pesquisa e Pós-Graduação, .

Cargo ou função
Membro da Comissão de Avaliação de Documentação de VINICIUS SEBBA PATTO para reconhecimento de título. Portaria 1771 de 28 de abril de 2010.
08/2009 - 12/2009
Ensino, Sistema de Informação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software
03/2009 - 07/2009
Ensino, Engenharia de Software, Nível: Graduação

Disciplinas ministradas
Introdução à Programação
08/2008 - 12/2008
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software
Programação de Computadores II
04/2008 - 07/2008
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Computação
Linguagem de Programação
04/2008 - 07/2008
Ensino, Engenharia Civil, Nível: Graduação

Disciplinas ministradas
Processamento de Dados
04/2008 - 07/2008
Conselhos, Comissões e Consultoria, Instituto de Informática, .

Cargo ou função
Presidente da Comissão Eleitoral.
07/2006 - 11/2006
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Programação II (ministrada parcialmente)
07/2006 - 11/2006
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto Final de Curso II (ministrada parcialmente)
07/2006 - 11/2006
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Engenharia de Software (ministrada parcialmente)
03/2006 - 09/2006
Ensino, Análise e Projeto de Sistemas de Informação, Nível: Especialização

Disciplinas ministradas
Ant, TomCat e JUnit (04/08/2006 a 01/09/2006)
Orientação a Objetos, UML e Java (10/03/2006 a 17/05/2006)
7/2005 - 8/2006
Conselhos, Comissões e Consultoria, Instituto de Informática, Campus II.

Cargo ou função
Membro da coordenação dos laboratórios do Instituto de Informática.
6/2005 - 8/2006
Conselhos, Comissões e Consultoria, Instituto de Informática, Campus II.

Cargo ou função
Membro da Comissão de Integração com a Sociedade - CIS.
2/2005 - 08/2006
Pesquisa e desenvolvimento , Instituto de Informática, Campus II.

Linhas de pesquisa
Teste de Software
3/2006 - 7/2006
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto Final de Curso II
Projeto Final de Curso I
Introdução à Computação
Linguagens de Programação
1/2006 - 2/2006
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Tópicos I (Teste de Software)
Tópicos II (Teste de Software)
8/2005 - 12/2005
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Estrutura de Dados I
8/2005 - 12/2005
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Algoritmos e Programação II
8/2005 - 12/2005
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Programação II
3/2005 - 7/2005
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Estruturas de Dados I
Tópicos II (Teste de Software)

Universidade Católica de Santos, UNISANTOS, Brasil.
Vínculo institucional

2006 - 2008
Vínculo: Celetista, Enquadramento Funcional: Professor Assistente, Carga horária: 40

Atividades

08/2007 - 12/2007
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Sistemas Computacionais - Software II
02/2007 - 07/2007
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Sistemas Computacionais - Software I
12/2006 - 03/2007
Ensino, MBA em Gestão de Tecnologia da Informação, Nível: Especialização

Disciplinas ministradas
Banco de Dados
Engenharia de Software

Centro Universitário Euripedes de Marília, UNIVEM, Brasil.
Vínculo institucional

2003 - 2005
Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 20

Atividades

8/2004 - 1/2005
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Programação de Computadores
5/2004 - 1/2005
Conselhos, Comissões e Consultoria, Faculdade de Informática, Graduação Em Ciência da Computação.

Cargo ou função
Membro de conselho de curso.
2/2004 - 7/2004
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Programação de Computadores
Sistemas Distribuídos
9/2003 - 11/2003
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Laboratório de Programação

Centro Universitário Central Paulista, UNICEP, Brasil.
Vínculo institucional

1999 - 1999
Vínculo: Professor, Enquadramento Funcional: Professor, Carga horária: 20

Atividades

1/1999 - 7/1999
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Fundamentos de Computação III
Laboratório de Programação III

Universidade de São Paulo, USP, Brasil.
Vínculo institucional

2003 - 2004
Vínculo: RTP, Enquadramento Funcional: Professor MS-I, Carga horária: 20

Vínculo institucional

1997 - 1998
Vínculo: Bolsista PAE, Enquadramento Funcional: Assistente de Ensino (Doutorando), Carga horária: 8

Atividades

9/2003 - 12/2003
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
SCE-151 Linguagens e Técnicas de Programação e Aplicações (ministrada parcialmente)
2/1998 - 7/1998
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
SCE-177 Introdução à Programação de Computadores (sob supervisão do Prof. Dr. José Carlos Maldonado)
8/1997 - 12/1997
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
SCE-151 Linguagens e Técnicas de Programação e Aplicações (sob supervisão do Prof. Dr. José Carlos Maldonado)
2/1997 - 7/1997
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
SCE-177 Introdução à Programação de Computadores (sob supervisão do Prof. Dr. José Carlos Maldonado)

Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
Vínculo institucional

2001 - Atual
Vínculo: Sócio Efetivo, Enquadramento Funcional: Membro da Sociedade, Carga horária: 1

Atividades

10/2011 - 12/2013
Conselhos, Comissões e Consultoria, Comissão Especial de Engenharia de Software, .

Cargo ou função
Membro da Comissão Especial de Engenharia de Software.
08/2011 - 07/2013
Conselhos, Comissões e Consultoria, Comissão de Educação, .

Cargo ou função
Membro da Comissão de Educação.
08/2009 - 07/2011
Conselhos, Comissões e Consultoria, Comissão de Educação, .

Cargo ou função
Membro da Comissão de Educação.

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Vínculo institucional

2007 - 2013
Vínculo: Outro, Enquadramento Funcional: Bolsista, Carga horária: 20

Atividades

10/2007 - 02/2013
Conselhos, Comissões e Consultoria, Conselho Deliberativo, .

Cargo ou função
Consultoria ad hoc projetos.

Fundação de Amparo à Pesquisa do Estado de Goiás, FAPEG, Brasil.
Vínculo institucional

2012 - 2015
Vínculo: Consultor ad-hoc, Enquadramento Funcional: Consultor ad-hoc, Carga horária: 1

Atividades

02/2014 - 03/2014
Serviços técnicos especializados , Fundação de Apoio à Pesquisa do Estado de Goiás, .

Serviço realizado
Consultor ad-hoc - Chamada Pública 13/2013 - Apoio à Projetos do Programa Redes Digiitais da Cidadania.

exBUG Serviços em TIC, EXBUG, Brasil.
Vínculo institucional

2012 - 2016
Vínculo: Sócio Cotista, Enquadramento Funcional: Sócio Cotista - 10% das cotas
Outras informações
A empresa exBUG é especializada em atividades de prestação de serviços na área de teste de software. Atua na geração de base de conhecimento em teste de software para posterior transferência tecnológica.



Linhas de pesquisa


1.
Teste de Software

Objetivo: Estudo e desenvolvimento de técnicas, critérios e ferramentas de teste de software. Condução de estudos experimentais visando a definição de estratégias incrementais e de baixo custo, combinando técnicas de análise estática e dinâmica empregadas na verificação e validação de produtos de software..
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Setores de atividade: Desenvolvimento de Programas (Software) e Prestação de Serviços em Informática.
Palavras-chave: Teste de Software; Teste de Software OO; Teste Funcional; Teste Estrutural; Teste Baseado em Mutação; Desenvolvimento de Ferramentas de Teste.


Projetos de pesquisa


2013 - 2015
Método Automatizado de Inventário Florestal com Câmeras de Profundidade e Redes Neurais Artificiais

Projeto certificado pelo(a) coordenador(a) Fabrízzio Alphonsus Alves de Melo Nunes Soares em 01/04/2013.
Descrição: Os principais objetivos deste projeto são simplificar a atividade de inventário florestal em campo e evitar a necessidade de se adequar um ou mais protótipos dendrométricos durante as estimativas. Desta forma, pretende-se desenvolver um método de medição indireta de diâmetros de árvores do tipo eucalipto para o cálculo de volume total de madeira em plantações e o volume por sortimento. O método proposto permitirá realizar medição de diâmetros na base das árvores a partir de câmeras de profundidade, e estimar os demais diâmetros das árvores a partir de um modelo recursivo de redes neurais artificiais. Como objetivos específicos pretende-se: 1) Experimentar a obtenção dos diâmetros das árvores eucalipto a partir de imagens capturadas com câmeras de profundidade como as câmeras TOF (Time-Of-Flight câmera) -- câmera de tempo de vôo e as câmeras de luz estruturada, para a extração de informações tridimensionais com projeções e capturas de sinais de padrões com infravermelho; 2) Desenvolver o uso das câmeras de profundidade ligadas a dispositivos móveis como netbooks, tablets e smartphones; 3) Desenvolver um protótipo robusto de computação embarcada para viabilizar para a utilização das câmeras em situações de baixa luminosidade, difícil acessibilidade e com condições climáticas adversas, e ainda reduzir a necessidade de intervenção do operador; 4) Associar as imagens a dados georreferenciados para auxiliar no controle da localização das amostras digitalizadas; desenvolver um sistema para o envio e armazenamento das digitalizações tridimensionais para o processamento em laboratório a partir de conexões sem fio à internet como tecnologias 802.11abg, 3G, Edge, bluetooth e outros; 5) Desenvolver uma interface para reconstrução e manipulação das imagens tridimensionais capturadas; 6) Desenvolver um modelo para estabelecer relações geométricas entre as medições reais e as imagens digitalizadas; 7) Construir um modelo recursivo com redes neurais artificiais para estimativa de.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) .
Integrantes: Auri Marcelo Rizzo Vincenzi - Integrante / Fabrízzio Alphonsus Alves de Melo Nunes Soares - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Goiás - Auxílio financeiro.
2013 - 2015
Definição, Implementação e Análise de Recursos de Teste e Validação
Descrição: O teste de produtos de software envolve basicamente quatro etapas: planejamento de testes, projeto de casos de teste, execução e avaliação dos resultados dos testes. Essas etapas devem ser desenvolvidas ao longo do próprio processo de desenvolvimento de software e concretizam-se em três fases de teste: de unidade, de integração e de sistema. Para fornecer uma maneira sistemática para a geração e valiação de conjuntos de casos de teste, técnicas e critérios têm sido desenvolvidos. As técnicas e critérios de teste fornecem ao testador uma abordagem sistemática e teoricamente fundamentada, além de constituírem um mecanismo que pode auxiliar a avaliar a qualidade da atividade de teste. Dada a diversidade de critérios que têm sido estabelecidos, e reconhecido o caráter complementar das técnicas e critérios de teste, um ponto crucial que se coloca nessa perspectiva é a escolha e/ou a determinação de uma estratégia de teste, que em última análise passa pela escolha de critérios de teste, de forma que as vantagens de cada um desses critérios sejam combinadas objetivando uma atividade de teste de maior qualidade. O projeto sendo proposto visa à realização de estudos na área de teste de software, envolvendo teste de programas procedimentais, Orientados a Objetos e componentes de software. Tais estudos envolvem a definição e análise de critérios de teste que possam ser empregados no teste dos programas mencionados acima, além do desenvolvimento de ferramentas de apoio e a realização de estudos comparativos buscando avaliar o custo, eficácia e dificuldade de satisfação dos critérios de teste analisados..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (4) / Doutorado: (6) .
Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / Vinícius Barcelos Silva - Integrante.
2013 - 2015
Vigilância Eletrônica para Enfrentamento do Tráfico de Drogas

Projeto certificado pelo(a) coordenador(a) Fabrízzio Alphonsus Alves de Melo Nunes Soares em 01/04/2013.
Descrição: Este projeto tem como objetivo geral desenvolver um sistema de vídeo vigilância informatizado com reconhecimento automatizado de pedestres e de dados biométricos para enfrentamento do tráfico de drogas. Como objetivos específicos pretende-se: 1) Construir um sistema para consulta e manutenção de uma base dados biométricos e antropométricos de traficantes e negociadores de drogas. Esta base irá conter desde dados básicos como altura e peso estimados até fotos de rosto (frente e perfil) e de corpo inteiro. A base poderá conter dados de pessoas sob investigação ou foragidas. Os dados de negociadores de drogas serão mantidos pelas polícias judiciárias. Ressalta-se que as bases não pretende conter dados e imagens de civis comuns, mas somente a base criminal. Serão desenvolvidas versões para dispositivos móveis como Smartphones e Tablets; 2) Desenvolver técnicas de detecção automatizada de pedestres. A detecção dos pedestres visará a localização de concentração anormal de pessoas em ambientes suspeitos, bem como verificação de atividades suspeitas como aglomerações em locais ou horários impróprios, movimentos furtivos ou exposição de armas. Por fim, será feita também, a detecção de faces para comparação com os padrões da base de dados criminal, bem como a aproximação com demais dados biométricos; 3) Desenvolver protótipos de redes de câmeras digitais para a detecção de pessoas. Os modelos de redes de câmeras poderão envolver câmeras fixas e câmeras móveis. Os protótipos com câmeras fixas pretendem atuar no monitoramento de pontos suspeitos de negociação de drogas ou vias de acesso comum para identificar a localização dos investigados bem como possíveis rotas utilizadas pelos suspeitos. Os protótipos com câmeras móveis serão desenvolvidos de dois tipos: afixados em viaturas ou microcâmeras ocultas instaladas em acessórios como roupas ou óculos. As câmeras móveis poderão também ser associadas a dados georreferenciados. As imagens poderão ser enviadas em tempo real ou sob d.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (1) .
Integrantes: Auri Marcelo Rizzo Vincenzi - Integrante / Fabrízzio Alphonsus Alves de Melo Nunes Soares - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Goiás - Auxílio financeiro.
2010 - 2013
Processo e Técnicas de Teste no Contexto de Sistemas Embarcados Críticos
Descrição: Sistemas embarcados críticos apresentam uma série de restrições no que diz respeito a desempenho, segurança, confiabilidade, dentre outras, tendo em vista que, em geral, falhas nesses sistemas podem resultar em grandes catástrofes tanto em perdas de vidas humanas quanto de grandes quantias de recursos financeiros. A identificação no estado da arte e o domínio de técnicas de desenvolvimento desse tipo de sistemas é de interesse do país, tendo que um dos Institutos Nacionais de Ciência e Tecnologia (INCT) trata, especificamente, em definir uma rede de colaboração para trabalhar no contexto de sistemas embarcados críticos. O projeto aprovado, intitulado ``Sistemas Embarcados Críticos: Aplicações em Segurança e Agricultura'' resultou na criação do Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos (INCT-SEC). Dentre as diferentes metas exploradas no contexto do INCT-SEC, está a criação de uma metodologia para o desenvolvimento de sistemas de software críticos, metodologia esta que, impreterivelmente, terá ênfase em atividades de garantia da qualidade, sendo o teste uma dessas atividades exploradas durante todo o desenvolvimento. Observa-se que tal objetivo também se enquadra em um dos grandes desafios da computação estabelecidos pela SBC para os anos de 2006 a 2016 que é o "desenvolvimento tecnológico de qualidade: sistemas disponíveis, corretos, seguros, escaláveis, persistentes e ubíquos"'. Estudos realizados pelo NIST (\estr{US National Institute of Standard & Technology}) em 2002 demonstrou que os gastos decorrentes do emprego de infra-estruturas inadequadas de teste de software demandam gastos anuais da ordem de 59 bilhões de dólares, desconsiderando os custos associados com as falhas catastróficas de softwares de missão crítica. Assim sendo, o objetivo do presente projeto é investigar processo e técnicas de teste no contexto de sistemas embarcados críticos visando a definir métodos, critérios e ferramentas que possam ser empregados em conju.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / Márcio Eduardo Delamaro - Integrante / Jacson Rodrigues Barbosa - Integrante / Plínio de Sá Leitão Júnior - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 3 / Número de orientações: 1
2008 - 2014
Sistemas Embarcados Críticos: Aplicações em Segurança e Agricultura
Descrição: A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologia importante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meio ambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve grupos de pesquisadores de nove universidades brasileiras e sete empresas. Os principais objetivos mais específicos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes são: a produção de uma metodologia que documente esse conhecimento e possa ser usada para o treinamento de pessoal formado na área; a produção de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Integrantes: Auri Marcelo Rizzo Vincenzi - Integrante / José Carlos Maldonado - Coordenador / Márcio Eduardo Delamaro - Integrante / Plínio de Sá Leitão Júnior - Integrante / Fabrízzio Alphonsus Alves de Melo Nunes Soares - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Número de produções C, T & A: 3 / Número de orientações: 1
2008 - 2011
Combinando Teste Estrutural e Métricas de Software para o Estabelecimento de Confiança em Produtos de Código Aberto
Descrição: O desenvolvimento de produtos de software de código aberto cresceu significativamente nos últimos anos. Junto com o aumento deste modelo de desenvolvimento, aumenta também a demanda pelo uso desses produtos de código aberto. No entanto, muitas organizações ainda têm receio de adotar soluções computacionais baseadas em produtos de código aberto usando o argumento de que tais produtos apresentam problemas relacionados à falta de qualidade, suporte de desenvolvimento, falta de confiabilidade, dentre outras. A comunidade de desenvolvimento de produtos de código aberto utiliza um modelo de desenvolvimento descentralizado e, para garantir um mínimo de qualidade e avaliar o resultado de modificações constantes no código do produto por diferentes desenvolvedores, é comum que sejam criados conjuntos de teste unitários, utilizando arcabouços no estilo do JUnit, para facilitar a execução constante dos testes para aprovar as alterações que são realizadas. Entretanto, mesmo com a adoção desses arcabouços, pouco se conhece da qualidade dos conjuntos de teste desenvolvidos e disponibilizados. Em geral, sendo esses conjuntos de teste caixa-preta, nenhuma medida quantitativa dos mesmos é oferecida, sendo difícil mensurar a qualidade desses conjuntos de teste. Nesse cenário, o objetivo do presente projeto é a avaliação de conjuntos de teste desenvolvidos para a verificação e validação de produtos de código aberto, visando a contribuir tanto com a comunidade de desenvolvimento do produto, quanto com a comunidade de usuários desse produto, no sentido de definir e apresentar uma medida objetiva de qualidade com base em critérios de teste estruturais e métricas de software, auxiliando no estabelecimento de uma estratégia de teste incremental de produtos de teste de código aberto..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) .
Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / José Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante / Fábio Nogueira de Lucena - Integrante / Plínio de Sá Leitão Júnior - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 1
2007 - 2010
QualiPSo - Quality Platform for Open Source Software
Descrição: O projeto QualiPSo é uma aliança entre indústrias, órgãos governamentais e academia que tem como objetivo ajudar indústrias e governos a alcançarem competitividade e inovação por meio do uso de software livre. Para tanto, pretende definir e implementar tecnologias, processos e políticas para facilitar o desenvolvimento e o uso de software de código aberto com o mesmo nível de confiança tradicionalmente oferecido pelo software proprietário. Para mais informações consulte: http://www.qualipso.org/.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Auri Marcelo Rizzo Vincenzi - Integrante / José Carlos Maldonado - Coordenador / Márcio Eduardo Delamaro - Integrante / Adenilso da Silva Simão - Integrante / Marcos Lordello Chaim - Integrante.Financiador(es): Engineering Ingegneria Informatica - SPA - Auxílio financeiro / Comissão Européia - Auxílio financeiro.
2007 - 2010
Estudo e Utilização de Teste Estrutural para Programa Java em Dispositivos Móveis
Descrição: O objetivo deste projeto é dar continuidade ao projeto de pesquisa sobre teste de programas para dispositivos móveis (Processo 478001/04-5) focando, principalmente, na condução de estudos experimentais visando a avaliar a adequação dos critérios de teste estruturais definidos e a ferramenta de teste JaBUTi/ME..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / José Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.Número de orientações: 1
2007 - 2009
Subsídios para atividades de VV&T no desenvolvimento de software
Descrição: O objetivo do projeto é o estudo e exploração de novas estratégias, técnicas e critérios de inspeção e teste que apóiem alguns paradigmas de desenvolvimento utilizados mais recentemente, considerando alguns domínios de aplicação específicos. Uma vez estabelecidas novas propostas para as atividades de VV&T, estudos experimentais serão realizados para avaliá-las e abordagens de mineração visual de dados serão utilizadas para interpretar os dados coletados e estabelecer novas hipóteses de estudo. Além disso, material de ensino e treinamento sobre as abordagens estudadas devem ser preparados com os propósitos de transferir tecnologia para a indústria e de compor os pacotes de laboratório (composição de todos os artefatos necessários para que experimento possa ser replicado) para que os experimentos possam ser conduzidos..
Situação: Concluído; Natureza: Pesquisa.
2005 - 2008
Utilização de Teste Estrutural para Programa Java em Dispositivos Móveis
Descrição: Nos últimos anos, o crescimento de processadores voltados a dispositivos móveis tem sido enorme. Com ele, surge a necessidade da produção de software para tais dispositivos, o que, por sua vez, leva à preocupação com a qualidade, através do desenvolvimento de metodologias específicas para o desenvolvimento de tais softwares. Neste cenário de dispositivos móveis, uma tecnologia que se destaca é J2ME. Ela permite que a linguagem Java seja utilizada no desenvolvimento de software para tais dispositivos, com uma série de vantagens. Entre elas, a habilidade de executar em diferentes plataformas Se, por um lado, novas tecnologias na área de computação trazem benefícios para quem as usa, por outro lado, introduzem novos desafios para desenvolvedores de software e cientistas ligados à Engenharia de Software. Em particular, àqueles envolvidos com a atividade de teste. Esse projeto propõe-se a contribuir com o desenvolvimento de software para dispositivos móveis, baseados na tecnologia Java, através do desenvolvimento de uma ferramenta que permita a aplicação de critérios de teste estruturais nesse ambiente. Dadas as limitações de memória, armazenamento persistente, disponibilidade de conexão de rede, entre outras, os programas para plataformas móveis são desenvolvidos cross platform, em geral, num ambiente desktop. O teste de programas para dispositivos móveis se dá, em geral, em duas etapas distintas, uma no desktop através de sua execução em simuladores ou emuladores e a outra no próprio dispositivo, dado que os simuladores não podem garantir total compatibilidade com o dispositivo alvo. Devido a estas mesmas limitações, é inviável que ferramentas de teste como a JaBUTi sejam executadas no dispositivo móvel. Portanto, a solução que se propõe é a criação de um ambiente em que o teste possa ser executado cross platform..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / José Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 1
2004 - 2005
Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação
Descrição: Este projeto visa a identificar recursos de teste e validação que possam ser empregados no teste de programas Orientado a Objetos (OO). O foco principal tem sido a investigação e o desenvolvimento de critérios e ferramentas, baseados em critérios estrutural e de mutação, para o teste de unidade (intra-método)..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) .
Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / José Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 8
2003 - 2004
Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação
Descrição: Este projeto visa a identificar recursos de teste e validação que possam ser empregados no teste de programas Orientado a Objetos (OO). O foco principal tem sido a investigação e o desenvolvimento de critérios e ferramentas, baseados em critérios estruturia e de mutação, para o teste de unidade (intra-método)..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) .
Integrantes: Auri Marcelo Rizzo Vincenzi - Integrante / José Carlos Maldonado - Coordenador / Márcio Eduardo Delamaro - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 10


Projetos de extensão


2015 - 2015
Introdução à Programação Orientada a Objetos em Java
Descrição: O curso de programa Orientada a Objetos e Teste em Java visa a qualificar os participantes em compreender os conceitos de orientação a objetos para o desenvolvimento de programas de computadores utilizando este paradigma de programação. A prática será realizada utilizando a linguagem de programação Java por ser esta uma linguagem atual e muito utilizada na implementação de soluções computacionais para diferentes dispositivos..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (10) .
Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador.


Projetos de desenvolvimento


2011 - 2013
Estudo e Definição de Processo de Teste de Software para Micro e Pequenas Empresas de TI

Projeto certificado pela empresa Decisão Sistemas em 01/04/2013.
Descrição: O Processo de Teste (PT) define quando testar, o que testar e como testar. O quando diz respeito a fase de desenvolvimento em que o teste será aplicado e qual artefato será testado. Nesse ponto, divide-se a atividade de teste em níveis, visando não apenas reduzir a complexidade da atividade de teste, mas também atacar de forma incremental, diferentes tipos de defeitos existentes no software. Os níveis de teste são: teste unitário, teste de integração, teste de sistema, teste de aceitação e teste de regressão. O que testar corresponde a qual característica do software será testada, como por exemplo, teste de funcionalidade, volume, segurança, dentre outros. E o como testar se refere a quais técnicas e critérios de teste são empregados em cada nível, em função das características do produto de software em teste. Utilizam-se as técnicas funcional e estrutural. Cada uma das técnicas possui um conjunto de critérios de teste que pode ser utilizado tanto para avaliar a qualidade de um conjunto de teste existente, quanto para a geração de casos de teste, direcionando o testador na busca pelos melhores elementos do domínio de entrada de modo a minimizar os custos da atividade de teste, maximizar a detecção de defeitos e ainda decidir quando parar os testes [1]. Por isso, o projeto proposto visa agrupar diferentes atividades de verificação e validação em um PT coerente para o contexto de Micro e Pequenas empresas..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) .
Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / Celso Gonçalves Camilo Junior - Integrante / Cássio Leonardo Rodrigues - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Goiás - Auxílio financeiro.


Membro de corpo editorial


2012 - 2016
Periódico: Journal of Software Engineering Research and Development
2008 - 2011
Periódico: SBC Horizontes


Revisor de periódico


2006 - 2006
Periódico: IEEE Software
2007 - Atual
Periódico: Software Testing, Verification and Reliability
2007 - 2007
Periódico: International Journal of Distance Education Technologies
2009 - 2009
Periódico: Acta Scientiarum. Technology
2012 - Atual
Periódico: Software: Practice and Experience
2008 - 2008
Periódico: The Journal of Systems and Software
2012 - 2012
Periódico: International Transactions in Operational Research
2014 - Atual
Periódico: Journal of Software Engineering Research and Development
2014 - 2014
Periódico: iSys: Revista Brasileira de Sistemas de Informação


Revisor de projeto de fomento


2012 - Atual
Agência de fomento: Fundação de Amparo a Pesquisa do Estado de Goiás
2009 - 2013
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Teste e Validação de Software.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende RazoavelmenteLê Razoavelmente.


Prêmios e títulos


2016
Melhor Ferramenta da Sessão de Ferramentas do VII Congresso Brasileiro de Software: Teoria e Prática, SBC.
2015
Melhores Artigos do XI Simpósio Brasileiro de Sistemas de Informação - SBSI'2015. Trilha Educação em Sistemas de Informação - ESI, Sociedade Brasileira de Computação.
2015
Melhor Relato de Experiência do XIV Simpósio Brasileiro de Qualidade de Software - SBQS'2015, Sociedade Brasileira de Computação.
2015
Melhores Artigos do XXIX Simpósio Brasileiro de Engenharia de Software, SBC.
2013
Melhor artigo do IV Workshop de Engenharia de Software Baseada em Busca com o artigo "Um Algoritmo Genético Coevolucionário com Classificação Genética Controlada aplicado ao Teste de Mutação", Sociedade Brasileira de Computação.
2004
Melhores artigos do XVIII Simpósio Brasileiro de Engenharia de Software, Sociedade Brasileira de Computação.
2003
Melhores ferramentas do XVII Simpósio Brasileiro de Engenharia de Software, Sociedade Brasileira de Computação.


Produções



Produção bibliográfica
Citações

SCOPUS
Total de trabalhos:14
Total de citações:77
Vincenzi, A M R  Data: 18/10/2012

Artigos completos publicados em periódicos

1.
PRADO, MARLLOS PAIVA2018 PRADO, MARLLOS PAIVA ; RIZZO VINCENZI, AURI MARCELO . Towards cognitive support for unit testing: a qualitative study with practitioners. JOURNAL OF SYSTEMS AND SOFTWARE, v. 141, p. 1, 2018.

2.
MONCAO, A. C. B. L.2017MONCAO, A. C. B. L. ; CAMILO-JUNIOR, C. G. ; QUEIROZ, L. T. ; VINCENZI, A. M. R. ; RODRIGUES, C. ; LEITAO-JUNIOR, P. S. ; ARAÚ ; BASÍ ; SOUZA, J. T. . An Evolutionary Approach to Test SELECT SQL Statements using Mutation Analysis. IEEE Latin America Transactions, v. 15, p. 1128-1136, 2017.

3.
VASCONCELLOS, FRANCISCO J.S.2017 VASCONCELLOS, FRANCISCO J.S. ; LANDRE, GERALDO B. ; CUNHA, JOSÉ ADSON O.G. ; OLIVEIRA, JULIANO L. ; FERREIRA, RONALDO A. ; VINCENZI, AURI M.R. . Approaches to strategic alignment of software process improvement: A systematic literature review. JOURNAL OF SYSTEMS AND SOFTWARE, v. 123, p. 45-63, 2017.

4.
ARAÚJO, CLÁUDIO A.2016 ARAÚJO, CLÁUDIO A. ; DELAMARO, MARCIO E. ; MALDONADO, JOSÉ C. ; VINCENZI, AURI M. R. . Correlating automatic static analysis and mutation testing: towards incremental strategies. Journal of Software Engineering Research and Development, v. 4, p. 1-32, 2016.

5.
OLIVEIRA, A. A. L.2014OLIVEIRA, A. A. L. ; CAMILO JUNIOR, C. G. ; VINCENZI, A. M. R. . O Teste de Mutação Apoiado pelo Algoritmo Genético Coevolucionário com Classificação Genética Controlada. Revista de Informática Teórica e Aplicada: RITA, v. 21, p. 57-82, 2014.

6.
ARANTES, G. F.2013ARANTES, G. F. ; LEITAO JUNIOR, P. S. ; VINCENZI, A. M. R. ; LUCENA, F. N. . Functional Software Testing: A Systematic Mapping Study. Software Engineering Advances (ICSEA), 2013 Eighth International Conference on, v. 1, p. 11-17, 2013.

7.
LEMOS, O. A. L.2007 LEMOS, O. A. L. ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; MASIERO, P. C. . Control and data flow structural testing criteria for aspect-oriented programs. The Journal of Systems and Software, v. 80, p. 862-882, 2007.

8.
SILVA, I.O.2007SILVA, I.O. ; VINCENZI, E.F.S. ; VINCENZI, A. M. R. . Physical Evaluation for School Children. The FIEP Bulletin, v. 77, p. 284-288, 2007.

9.
VINCENZI, A. M. R.;VINCENZI, AURI M.R.;VINCENZI, AURI M. R.;VINCENZI, AURI MARCELO RIZZO;VINCENZI, AURI M.;AURI VINCENZI;VINCENZI, AURI;RIZZO VINCENZI, AURI MARCELO2006VINCENZI, A. M. R.; DELAMARO, M. E. ; MALDONADO, J. C. ; WONG, W. E. . Establishing structural testing criteria for Java bytecode. SOFTWARE-PRACTICE & EXPERIENCE, (aceito para publicação), v. 36, p. 1513-1541, 2006.

10.
VINCENZI, A. M. R.;VINCENZI, AURI M.R.;VINCENZI, AURI M. R.;VINCENZI, AURI MARCELO RIZZO;VINCENZI, AURI M.;AURI VINCENZI;VINCENZI, AURI;RIZZO VINCENZI, AURI MARCELO2006VINCENZI, A. M. R.; SIMÃO, A. S. ; DELAMARO, M. E. ; MALDONADO, J. C. . Muta-Pro: Towards the definition of a mutation testing process. Journal of The Brazilian Computer Society (Online), (aceito para publicação), v. 12, p. 49-61, 2006.

11.
VINCENZI, A. M. R.;VINCENZI, AURI M.R.;VINCENZI, AURI M. R.;VINCENZI, AURI MARCELO RIZZO;VINCENZI, AURI M.;AURI VINCENZI;VINCENZI, AURI;RIZZO VINCENZI, AURI MARCELO2005VINCENZI, A. M. R.; MALDONADO, J. C. ; WONG, W. E. ; DELAMARO, M. E. . Coverage Testing of Java Programs and Components. Science of Computer Programming (Print), USA, v. 56, n.1-2, p. 211-230, 2005.

12.
SIMÃO, A. S.2003SIMÃO, A. S. ; MALDONADO, J. C. ; VINCENZI, A. M. R. ; SANTANA, A. C. L. . A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters. CLEI Electronic Journal, v. 6, p. 7, 2003.

13.
VINCENZI, A. M. R.;VINCENZI, AURI M.R.;VINCENZI, AURI M. R.;VINCENZI, AURI MARCELO RIZZO;VINCENZI, AURI M.;AURI VINCENZI;VINCENZI, AURI;RIZZO VINCENZI, AURI MARCELO2002VINCENZI, A. M. R.; NAKAGAWA, E. Y. ; MALDONADO, J. C. ; DELAMARO, M. E. ; ROMERO, R. A. F. . Bayesian-learning based guidelines to determine equivalent mutants. International Journal of Software Engineering and Knowledge Engineering, Estados Unidos, v. 12, n.6, p. 675-689, 2002.

14.
BARBOSA, E. F.2001BARBOSA, E. F. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Towards the determination of sufficient mutant operators for C. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. 11, n.2, p. 113-136, 2001.

15.
VINCENZI, A. M. R.;VINCENZI, AURI M.R.;VINCENZI, AURI M. R.;VINCENZI, AURI MARCELO RIZZO;VINCENZI, AURI M.;AURI VINCENZI;VINCENZI, AURI;RIZZO VINCENZI, AURI MARCELO2001VINCENZI, A. M. R.; MALDONADO, J. C. ; BARBOSA, E. F. ; DELAMARO, M. E. . Unit and Integration Testing Strategies for C Programs Using Mutation-Based Criteria. Software Testing, Verification and Reliability, v. 11, n.4, p. 249-268, 2001.

Livros publicados/organizados ou edições
1.
VINCENZI, A. M. R.; DELAMARO, M. E. ; DIAS NETO, A. C. ; FABBRI, S. C. P. F. ; JINO, M. ; MALDONADO, J. C. . Automatização de teste de software com ferramentas de software livre. 1. ed. Rio de Janeiro, RJ: Elsevier, 2018. v. 1. 256p .

2.
VINCENZI, A. M. R.; SILVA, M. A. G. (Org.) ; OIZUMI, W. N. (Org.) . Trila da Indústria do VII Congresso Brasileiro de Software - Teoria e Prática. 7. ed. Porto Alegre: SBC, 2016. v. 1. 50p .

3.
SOUZA, S. R. S. (Org.) ; VINCENZI, A. M. R. (Org.) . IX Brazilian Workshop on Systematic and Automated Software Testing - SAST?2015. 9. ed. Porto Alegre, RS: SBC, 2015. v. 1. 91p .

4.
VINCENZI, A. M. R.; CAMILO JUNIOR, C. G. (Org.) . V Workshop de Engenharia de Software Baseada em Busca - WESB'2014. 5. ed. Porto Alegre, RS: SBC, 2014. v. 2. 89p .

5.
VINCENZI, A. M. R.. XXVII Brazilian Symposium on Software Engineering -- SBES'2013. 27. ed. Los Alamitos, CA: IEEE Computer Society, 2013.

6.
VINCENZI, A. M. R.; DE OLIVEIRA, J. P. M. (Org.) ; SPINOSA, E. J. (Org.) . XX Workshop sobre Educação em Computação -- WEI'2012. 20. ed. Porto Alegre, RS: SBC, 2012.

7.
VINCENZI, A. M. R.; FEITOSA, M. D. (Org.) ; DA COSTA, U. S. (Org.) . XIX Workshop sobre Educação em Computação - WEI'2011. 19. ed. Porto Alegre, RS: SBC, 2011.

8.
VINCENZI, A. M. R.; CONTE, T. (Org.) ; PRADO, M. P. (Org.) . VII Experimental Software Engineering Latin American Workshop. 7. ed. Goiânia, GO: Instituto de Informática, 2010. v. 1. 138p .

9.
VINCENZI, A. M. R.. XIV Sessão de Ferramentas do XXI Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 2007. 108p .

Capítulos de livros publicados
1.
VINCENZI, A. M. R.; MALDONADO, J. C. ; DELAMARO, M. E. . Introdução. In: Auri Marcelo Rizzo Vincenzi, Márcio Eduardo Delamaro, Arilo Claudio Dias Neto, Sandra C. Pinto Ferraz Fabbri, Mario Jino, José Carlos Maldonado. (Org.). Automatização de teste de software com ferramentas de software livre. 1ed.Rio de Janeiro, RJ: Elsevier, 2018, v. 1, p. 1-6.

2.
VINCENZI, A. M. R.; BARBOSA, J. R. ; FREITAS, E. N. A. . Ferramentas de Execução Automática de Casos de Teste. In: Auri Marcelo Rizzo Vincenzi, Márcio Eduardo Delamaro, Arilo Claudio Dias Neto, Sandra C. Pinto Ferraz Fabbri, Mario Jino, José Carlos Maldonado. (Org.). Automatização de teste de software com ferramentas de software livre. 1ed.Rio de Janeiro, RJ: Elsevier, 2018, v. 1, p. 21-58.

3.
BARBOSA, J. R. ; VINCENZI, A. M. R. . Ferramentas de Gerenciamento da Qualidade de Software. In: Auri Marcelo Rizzo Vincenzi, Márcio Eduardo Delamaro, Arilo Claudio Dias Neto, Sandra C. Pinto Ferraz Fabbri, Mario Jino, José Carlos Maldonado. (Org.). Automatização de teste de software com ferramentas de software livre. 1ed.Rio de Janeiro, RJ: Elsevier, 2018, v. 1, p. 205-224.

4.
Hillah, Lom Messan ; Assad, Rodrigo ; Bertolino, Antonia ; Delamaro, Marcio ; De Rosa, Fabio ; Garcia, Vinicius ; Lonetti, Francesca ; Maesano, Ariele-Paolo ; Maesano, Libero ; Marchetti, Eda ; Miranda, Breno ; VINCENZI, AURI ; Iyoda, Juliano . Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper). Lecture Notes in Computer Science. 17ed.: Springer International Publishing, 2017, v. 10469, p. 388-393.

5.
MACHADO, P. D. L. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Software Testing: An Overview. In: BORBA, P.; CAVALCANTI, A.; SAMPAIO, A.; WOODCOCK, J.. (Org.). Testing Techniques in Software Engineering. 1ed.New York: Springer Berlin Heidelberg, 2010, v. 6153, p. 1-17.

6.
VINCENZI, A. M. R.; DELAMARO, M. E. ; HÖHN, É. N. ; MALDONADO, J. C. . Functional, Control and Data Flow, and Mutation Testing: Theory and Practice. In: BORBA, P.; CAVALCANTI, A.; SAMPAIO, A.; WOODCOCK, J.. (Org.). Testing Techniques in Software Engineering. 1ed.New York: Springer Berlin Heidelberg, 2010, v. 6153, p. 18-58.

7.
FABBRI, S. C. P. F. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Teste Funcional. In: Márcio Eduardo Delamaro; José Carlos Maldonado; Mario Jino. (Org.). Introdução ao Teste de Software. Rio de Janeiro, RJ: Elsevier, 2007, v. , p. 9-26.

8.
BARBOSA, E. F. ; CHAIM, M. L. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; JINO, M. ; MALDONADO, J. C. . Teste Estrutural. In: Márcio Eduardo Delamaro; José Carlos Maldonado; Mario Jino. (Org.). Introdução ao Teste de Software. Rio de Janeiro, RJ: Elsevier, 2007, v. , p. 47-75.

9.
DELAMARO, M. E. ; BARBOSA, E. F. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Teste de Mutação. In: Márcio Eduardo Delamaro; José Carlos Maldonado; Mario Jino. (Org.). Introdução ao Teste de Software. Rio de Janeiro, RJ: Elsevier, 2007, v. , p. 77-118.

10.
VINCENZI, A. M. R.; DOMINGUES, A. L. S. ; DELAMARO, M. E. ; MALDONADO, J. C. . Teste Orientado a Objetos e de Componentes. In: Márcio Eduardo Delamaro; José Carlos Maldonado; Mario Jino. (Org.). Introdução ao Teste de Software. Rio de Janeiro, RJ: Elsevier, 2007, v. , p. 119-174.

11.
SOUZA, S. R. S. ; FABBRI, S. C. P. F. ; BARBOSA, E. F. ; CHAIM, M. L. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; JINO, M. ; MALDONADO, J. C. . Estudos Teóricos e Experimentais. In: Márcio Eduardo Delamaro; José Carlos Maldonado; Mario Jino. (Org.). Introdução ao Teste de Software. Rio de Janeiro, RJ: Elsevier, 2007, v. , p. 251-268.

12.
VINCENZI, A. M. R.; MALDONADO, J. C. ; DELAMARO, M. E. ; SPOTO, E. S. ; WONG, W. E. . Software Baseado em Componentes: Uma Revisão sobre Teste. In: Itana Maria de Souza Gimenes; Elisa Hatsue Moriya Huzita. (Org.). Desenvolvimento Baseado em Componentes. Rio de Janeiro, RJ: Ciência Moderna, 2005, v. , p. 233-280.

13.
BARBOSA, E. F. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; MALDONADO, J. C. . Teste Estrutural e de Mutação no Contexto de Programas OO. In: Sociedade Brasileira de Computação. (Org.). Anais da IV Escola Regional de Infomática de Minas Gerais. Belo Horizonte, MG: FUMARC Gráfica Editora, 2005, v. , p. 313-362.

14.
VINCENZI, A. M. R.; NAKAGAWA, E. Y. ; MALDONADO, J. C. ; DELAMARO, M. E. ; ROMERO, R. A. F. . Bayesian-learning based guidelines to determine equivalent mutants.. In: Du Zhang; Jeffrey J. P. Tsai. (Org.). Machine Learning Applications in Software Engineering. Tuck Link, Singapore: World Scientific Publishing Co., 2005, v. 16, p. 150-164.

15.
VINCENZI, A. M. R.; MALDONADO, J. C. ; DELAMARO, M. E. ; SPOTO, E. S. ; WONG, W. E. . Component-Based Software: An Overview of Testing. In: A. Cechich; M. Piattini; A. Vallecillo. (Org.). Component-Based Software Quality: Methods and Techniques. New York: Springer-Verlag, 2003, v. 2693, p. 99-127.

16.
MALDONADO, J. C. ; VINCENZI, A. M. R. ; BARBOSA, E. F. ; SOUZA, S. R. S. ; DELAMARO, M. E. . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. In: Sociedade Brasileira de Computação. (Org.). VI Escola de Informática da SBC - Regional Sul. : , 1998, v. , p. 53-86.

Textos em jornais de notícias/revistas
1.
LUCENA, F. N. ; VINCENZI, A. M. R. ; Oliveira, J. L. ; LEITAO JUNIOR, P. S. . Engenharia de Software: Graduação (bacharelado) em Engenharia de Software. Engenharia de Software Magazine, p. 16 - 21, 01 fev. 2009.

Trabalhos completos publicados em anais de congressos
1.
OLIVEIRA, A. A. L. ; CAMILO-JUNIOR, C. G. ; FREITAS, E. N. A. ; VINCENZI, A. M. R. . FTScMES: A New Mutation Execution Strategy based on Failed Tests' Mutation Score for Fault Localization. In: International Symposium on Computer and Information Sciences in Conjunction with the IFIP World Congress 2018, 2018, Poznan, Polônia. 32nd International Symposium on Computer and Information Sciences -- ISCIS'2018. Cham: Springer International Publishing, 2018. p. 177-187.

2.
OLIVEIRA, A. A. L. ; CAMILO-JUNIOR, C. G. ; FREITAS, E. N. A. ; VINCENZI, A. M. R. . FTMES: A Failed-Test-Oriented Mutant Execution Strategy for Mutation-based Fault Localization. In: IEEE International Symposium on Software Reliability Engineering (ISSRE), 2018, Memphis, TN, EUA. 29th IEEE International Symposium on Software Reliability Engineering (ISSRE'2018). New York, NY: IEEE Press, 2018.

3.
BARBOSA, J. R. ; MATSUNO, I. P. ; GUIMARAES, E. R. ; REZENDE, S. O. ; VINCENZI, A. M. R. ; DELAMARO, M. E. . Mineração de Textos para Apoiar a Predição de Severidade de Relatórios de Incidentes: um Estudo de Viabilidade. In: Simpósio Brasileiro de Qualidade de Software - SBQS, 2017, Rio de Janeiro, RJ. XVI Simpósio Brasileiro de Qualidade de Software - SBQS'2017. Porto Alegre, RS: SBC, 2017. p. 89-103.

4.
BARBOSA, JACSON R. ; VALLE, PEDRO ; MALDONADO, JOSE ; Delamaro, Marcio ; VINCENZI, AURI M. R. . An experimental evaluation of peer testing in the context of the teaching of software testing. In: 2017 International Symposium on Computers in Education (SIIE), 2017, Lisbon. 2017 International Symposium on Computers in Education (SIIE), 2017. p. 1-6.

5.
FARIA, KENYO ABADIO CROSARA ; FREITAS, EDUARDO NORONHA DE ANDRADE ; VINCENZI, AURI MARCELO RIZZO . Collaborative economy for testing cost reduction on Android ecosystem. In: the 8th ACM SIGSOFT International Workshop, 2017, Paderborn. Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing - A-TEST 2017. New York: ACM Press, 2017. p. 11-18.

6.
SILVA, VINÍCIUS BARCELOS ; ARAUJO, CLÁUDIO ANTONIO ; SPOTO, EDMUNDO SÉRGIO ; VINCENZI, AURI M. R. . Incremental Strategy for Applying Mutation Operators Emphasizing Faults Difficult to be Detected by Automated Static Analyser. In: the 31st Brazilian Symposium, 2017, Fortaleza. Proceedings of the 31st Brazilian Symposium on Software Engineering - SBES'17. New York: ACM Press, 2017. p. 24-33.

7.
VASCONCELLOS, FRANCISCO J.S. ; MINHARE, C. ; FUCHS, L. ; VASCONCELLOS, J. F. A. ; CUNHA, J. A. O. G. ; VINCENZI, A. M. R. . Alinhamento estratégico de melhoria de processos de software: percepções de um processo de apoio à decisão. In: Simpósio Brasileiro de Qualidade de Software - SBQS, 2017, Rio de Janeiro, RJ. XVI Simpósio Brasileiro de Qualidade de Software - SBQS'2017. Porto Alegre: SBC, 2017. p. 119-133.

8.
FREITAS, E. N. A. ; CAMILO JUNIOR, C. G. ; FARIA, K. A. C. ; VINCENZI, A. M. R. . AMT: An Android Mirror Tool for Instant Feedback Across Platform. In: Congresso Brasileiro de Software: Teoria e Prática - Sessão de Ferramentas, 2016, Maringá, PR. VII Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2016 - Sessão de Ferramentas. SBC: SBC, 2016. p. 97-104.

9.
FREITAS, EDUARDO NORONHA DE ANDRADE ; CAMILO-JUNIOR, CELSO GONCALVES ; VINCENZI, AURI MARCELO RIZZO . SCOUT: A Multi-objective Method to Select Components in Designing Unit Testing. In: 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), 2016, Ottawa. 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), 2016. p. 36-46.

10.
FARIA, K. A. C. ; FREITAS, E. N. A. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Pharos: Uma Ferramenta para Identificação de Defeitos em Nível de Métodos a partir de Commits e Gerenciadores de Defeitos. In: Congresso Brasileiro de Software: Teoria e Prática - CBSoft - Sessão de Ferramentas, 2016, Maringá, PR. VII Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2016 - Sessão de Ferramentas. Porto Alegre, RS: SBC, 2016. p. 105-112.

11.
ARANTES, GILMAR F. ; DE FREITAS, DIOGO M. ; LEITÃO-JÚNIOR, PLÍNIO S. ; VINCENZI, AURI M. R. . Systematic Functional Testing with Decision Table. In: the 1st Brazilian Symposium, 2016, Maringa. Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing - SAST. p. 1-10.

12.
VINCENZI, AURI M. R.; BACHIEGA, TIAGO ; DE OLIVEIRA, DANIEL G. ; DE SOUZA, SIMONE R. S. ; MALDONADO, JOSÉ C. . The complementary aspect of automatically and manually generated test case sets. In: the 7th International Workshop, 2016, Seattle. Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016. New York: ACM Press. p. 23-30.

13.
PRADO, MARLLOS P. ; VINCENZI, AURI M. R. . Advances in the Characterization of Cognitive Support for Unit Testing: The Bug-Hunting Game and the Visualization Arsenal. In: 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2016, Ottawa. 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2016. p. 213-220.

14.
CABREJOS, LUIS JORGE ENRIQUE RIVERO ; VINCENZI, AURI MARCELO RIZZO ; MALDONADO, JOSÉ CARLOS ; CONTE, TAYANA . Evaluating Software Engineers? Acceptance of a Technique and Tool for Web Usability Inspection. In: The 27th International Conference on Software Engineering and Knowledge Engineering, 2015. p. 140-145.

15.
PESSONI, V. V. ; FEDERSON, F. M. ; VINCENZI, A. M. R. . Learning Difficulties on Computing Courses: Cognitive Processes Assessment Methods Research and Application. In: Simpósio Brasileiro de Sistemas de Informação - SBSI, 2015, Goiânia, GO. XI Simpósio Brasileiro de Sistemas de Informação - SBSI'2015. SBC: SBC, 2015. p. 31-38.

16.
PINHEIRO, V. S. F. ; VALENTIM, N. M. C. ; VINCENZI, A. M. R. . Um Comparativo na Execução de Testes Manuais e Testes de Aceitação Automatizados em uma Aplicação Web. In: Simpósio Brasileiro de Qualidade de Software - SBQS, 2015, Manaus, AM. XIV Simpósio Brasileiro de Qualidade de Software - SBQS'2015. SBC: SBC, 2015. p. 260-279.

17.
PRADO, MARLLOS P. ; VERBEEK, ERIC ; STOREY, MARGARET-ANNE ; VINCENZI, AURI M. R. . WAP: Cognitive aspects in unit testing: The hunting game and the hunter's perspective. In: 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), 2015, Gaithersbury. 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE). p. 387-392.

18.
SANTOS, J. S. ; VINCENZI, A. M. R. ; DIAS NETO, A. C. . Um Estudo Exploratório sobre a Aplicação de Operadores de Mutação Java em Aplicações Android. In: Workshop on Systematic and Automated Software Testing - SAST, 2015, Belo Horizonte, MG. IX Workshop on Systematic and Automated Software Testing - SAST'2015. SBC: SBC, 2015. p. 11-20.

19.
ARAUJO, CLAUDIO ANTONIO DE ; DELAMARO, MARCIO EDUARDO ; MALDONADO, JOSE CARLOS ; VINCENZI, AURI MARCELO RIZZO . Investigating the Correspondence between Mutations and Static Warnings. In: 2015 29th Brazilian Symposium on Software Engineering (SBES), 2015, Belo Horizonte-MG. 2015 29th Brazilian Symposium on Software Engineering. p. 1-10.

20.
ARAUJO, A. F. ; RODRIGUES, C. L. ; VINCENZI, A. M. R. ; CAMILO JUNIOR, C. G. . Avaliação do Nível de Maturidade em Teste de Software em Micro e Pequenas Empresas do Estado de Goiás. In: Simpósio Brasileiro de Sistemas de Informação. Relatos de Experiência em Sistemas de Informação, 2015, Goiânia, GO. XI Simpósio Brasileiro de Sistemas de Informação -- SBSI'2015. Trilha -- Relatos de Experiência em Sistemas de Informação -- RESI. SBC: SBC, 2015. p. 415-422.

21.
FREITAS, D. M. ; LEITAO JUNIOR, P. S. ; VINCENZI, A. M. R. . Aplicação de Propriedades de Weyuker, Parrish e Zweben a Critérios de Adequação. In: Workshop on Systematic and Automated Software Testing - SAST, 2015, Belo Horizonte, MG. IX Workshop on Systematic and Automated Software Testing - SAST'2015. SBC: SBC, 2015. p. 21-30.

22.
FREITAS, E. N. A. ; VINCENZI, A. M. R. ; CAMILO JUNIOR, C. G. . Prioritization of Artifacts for Unit Testing Using Genetic Algorithm Multi-objective Non Pareto. In: International Conference on Software Engineering Research and Practice - SERP, 2014, Las Vegas, Nevada. XII International Conference on Software Engineering Research and Practice - SERP'14, 2014. p. 196-202.

23.
SILVA, G. ; MARTINS, B. ; OLIVEIRA, A. A. L. ; CAMILO-JUNIOR, CELSO GONCALVES ; VINCENZI, A. M. R. ; LEITAO JUNIOR, P. S. . Um Algoritmo Genético no Modelo de Ilhas para Seleção de Casos de Teste na Análise de Mutantes. In: Workshop de Engenharia de Software Baseada em Busca, 2014, Maceió. V Workshop de Engenharia de Software Baseada em Busca - WESB'2014, 2014. p. 71-80.

24.
MACHADO, B. ; OLIVEIRA, A. A. L. ; MARTINS, B. ; CAMILO-JUNIOR, CELSO GONCALVES ; RODRIGUES, C. L. ; LEITAO JUNIOR, P. S. ; VINCENZI, A. M. R. . SBSTFrame: uma proposta de framework para o teste de software baseado em busca. In: Workshop de Engenharia de Software Baseada em Busca, 2014, Maceió. V Workshop de Engenharia de Software Baseada em Busca - WESB'2014, 2014. p. 61-70.

25.
LUIZ, A. M. ; OLIVEIRA, A. A. L. ; CAMILO-JUNIOR, CELSO GONCALVES ; RODRIGUES, C. L. ; VINCENZI, A. M. R. . Uso de Algoritmo Genético Distribuído na Seleção de Casos de Teste para o Teste de Mutação. In: Workshop de Engenharia de Software Baseada em Busca, 2014, Maceió. V Workshop de Engenharia de Software Baseada em Busca - WESB'2014, 2014.

26.
ARAUJO, C. A. ; DELAMARO, M. E. ; SILVA, J. C. ; VINCENZI, A. M. R. . Uma Investigação Inicial sobre a Correlação entre Defeitos de Software Simulados por Mutantes e Avisos Relatados por uma Ferramenta de Análise Estática. In: Brazilian Workshop on Systematic and Automated Software Testing, 2014, Maceió. VIII Brazilian Workshop on Systematic and Automated Software Testing - SAST'2014, 2014. p. 61-70.

27.
CHIAVEGATTO, R. ; SILVA, L. ; PINHEIRO, M. ; VINCENZI, A. M. R. . Automatização de testes funcionais em dispositivos móveis utilizando a técnica BDD - Relato de Experiência. In: Brazilian Workshop on Systematic and Automated Software Testing, 2014, Maceió. VIII Brazilian Workshop on Systematic and Automated Software Testing - SAST'2014, 2014. p. 107-112.

28.
JORGE, R. F. ; DELAMARO, M. E. ; CAMILO JUNIOR, C. G. ; VINCENZI, A. M. R. . Test Data Generation Based on GUI: A Systematic Mapping. In: International Conference on Software Engineering Advances -- ICSEA, 2014, Nice, França. IX International Conference on Software Engineering Advances -- ICSEA'2014, 2014. p. 240-246.

29.
MARTINS, B. ; OLIVEIRA, A. A. L. ; LEITAO JUNIOR, P. S. ; CAMILO JUNIOR, C. G. ; VINCENZI, A. M. R. . Um Operador de Mutação para Algoritmos Evolucionários na Seleção de Casos de Teste da Análise de Mutantes. In: Encontro Anual de Tecnologia da Informação - EATI, 2014, Santa Maria, RS. V Encontro Anual de Tecnologia da Informação - EATI'2014, 2014. p. 160-167.

30.
NETO, E. ; OLIVEIRA, A. A. L. ; CAMILO JUNIOR, C. G. ; RODRIGUES, C. L. ; LEITAO JUNIOR, P. S. ; VINCENZI, A. M. R. . Avaliação de Técnicas para Redução de Base de Dados de Produção. In: Encontro Anual de Tecnologia da Informação - EATI, 2014, Santa Maria, RS. V Encontro Anual de Tecnologia da Informação - EATI'2014, 2014. p. 152-159.

31.
OLIVEIRA, A. A. L. ; MARTINS, B. ; CAMILO JUNIOR, C. G. ; VINCENZI, A. M. R. . O Algoritmo Genético Coevolucionário para Redução de Subconjuntos de Casos de Teste da Análise de Mutantes. In: Encontro Anual de Tecnologia da Informação - EATI, 2014, Santa Maria, RS. V Encontro Anual de Tecnologia da Informação - EATI'2014, 2014. p. 207-214.

32.
VINCENZI, A. M. R.; RODRIGUES, C. L. ; VIEIRA, I. R. ; SOUZA, L. S. ; MENDONÇA, V. R. L. . Evolução de software livre baseada em métricas de qualidade: Um estudo de caso. In: Simpósio Brasileiro de Sistemas de Informação, 2013, João Pessoa, PB. IX Simpósio Brasileiro de Sistemas de Informação - SBSI'2013, 2013. p. 815-826.

33.
DE OLIVEIRA, ANDRE ASSIS LOBO ; CAMILO-JUNIOR, CELSO GONCALVES ; VINCENZI, AURI M. R. . A coevolutionary algorithm to automatic test case selection and mutant in Mutation Testing. In: 2013 IEEE Congress on Evolutionary Computation (CEC), 2013, Cancun. 2013 IEEE Congress on Evolutionary Computation. p. 829-836.

34.
ARAUJO, A. F. ; RODRIGUES, C. L. ; VINCENZI, A. M. R. ; CAMILO JUNIOR, C. G. ; SILVA, A. F. . A Framework for Maturity Assessment in Software Testing for Small and Medium-Sized Enterprises. In: International Conference on Software Engineering Research and Practice - SERP'13, 2013, Las Vegas, Nevada, EUA. XI International Conference on Software Engineering Research and Practice - SERP'13, 2013. p. 225-230.

35.
ARANTES, G.F. ; LEITAO JUNIOR, P. S. ; VINCENZI, A. M. R. ; LUCENA, F. N. . Functional Software Testing: A Systematic Mapping Study. In: International Conference on Software Engineering Advances - ICSEA, 2013, Veneza, Itália. VIII International Conference on Software Engineering Advances - ICSEA'2013, 2013. p. 11-17.

36.
PRADO, M. P. ; VINCENZI, A. M. R. ; SOARES, F. A. A. M. N. ; CÉSAR, F. ; PAULA, G.P. ; NASCIMENTO, H.A.D. ; SILVA, J. C. ; Oliveira, J. L. ; LIMA, L.C. ; FERNANDES, T. . Characterization of Techniques and Tools of Visualization Applied to Software Comprehension: A Systematic Mapping. In: International Conference on Software Engineering Advances - ICSEA, 2013, Veneza, Itália. VIII International Conference on Software Engineering Advances - ICSEA'2013, 2013. p. 297-303.

37.
MENDONÇA, V. R. L. ; RODRIGUES, C. L. ; SOARES, F. A. A. M. N. ; VINCENZI, A. M. R. . Static Analysis Techniques and Tools: A Systematic Mapping Study. In: International Conference on Software Engineering Advances - ICSEA, 2013, Veneza, Itália. VIII International Conference on Software Engineering Advances - ICSEA'2013, 2013. p. 72-78.

38.
VINCENZI, A. M. R.; SILVA, J. C. ; LEITAO JUNIOR, P. S. ; MALDONADO, J. C. ; DELAMARO, M. E. ; CHAIM, M. L. . How Exception Handling Constructions are Tested: An Initial Investigation with Open Source Software. In: International Conference on Software Engineering Advances - ICSEA, 2013, Veneza, Itália. VIII International Conference on Software Engineering Advances - ICSEA'2013, 2013. p. 38-44.

39.
VINCENZI, A. M. R.; DEUS, G. D. ; SILVA, J. C. ; LEITAO JUNIOR, P. S. ; MALDONADO, J. C. ; DELAMARO, M. E. . The Use of Experimentation Packages for Evaluating the Quality of Mobile Software Products. In: International Conference on Software Engineering Advances - ICSEA, 2013, Veneza, Itália. VIII International Conference on Software Engineering Advances - ICSEA'2013, 2013. p. 31-37.

40.
ALMEIDA, F. A. ; LEITAO JUNIOR, P. S. ; VINCENZI, A. M. R. ; LUCENA, F. N. . Geração de Bases de Dados de Teste pela Aplicação de Programação Evolucionária. In: Brazilian Workshop on Systematic and Automated Software Testing - SAST, 2013, Brasília, DF. VII Brazilian Workshop on Systematic and Automated Software Testing - SAST'2013, 2013.

41.
OLIVEIRA, A. A. L. ; CAMILO JUNIOR, C. G. ; VINCENZI, A. M. R. . Um Algoritmo Genético Coevolucionário com Classificação Genética Controlada aplicado ao Teste de Mutação. In: Workshop de Engenharia de Software Baseada em Busca - WESB, 2013, Brasília, DF. VII Workshop de Engenharia de Software Baseada em Busca - WESB'2013, 2013.

42.
LOUREIRO MONCAO, ANA CLAUDIA B. ; CAMILO-JUNIOR, CELSO G. ; QUEIROZ, LEONARDO T. ; RODRIGUES, CASSIO L. ; DE SA LEITAO-JUNIOR, PLINIO ; VINCENZI, AURI M. R. . Shrinking a database to perform SQL mutation tests using an evolutionary algorithm. In: 2013 IEEE Congress on Evolutionary Computation, 2013, Cancun. 2013 IEEE Congress on Evolutionary Computation. p. 2533.

43.
FILGUEIRAS, A. C. ; SILVA, J. C. ; VINCENZI, A. M. R. . A Prototype for Querying Heterogeneous Data Source on the Web. In: WWW/INTERNET - ICWI, 2013, Fort Worth. IADIS International Conference WWW/INTERNET - ICWI'2013, 2013. p. 19-26.

44.
VIEIRA, I. R. ; SOUZA, L. S. ; MENDONÇA, V. R. L. ; RODRIGUES, C. L. ; VINCENZI, A. M. R. . Dívida Técnica: um estudo de caso com produtos de código aberto. In: Simpósio Brasileiro de Qualidade de Software - SBQS'2013, 2013, Salvador, BA. XII Simpósio Brasileiro de Qualidade de Software - SBQS'2013, 2013. p. 278-285.

45.
LOUZADA, J. ; CAMILO JUNIOR, C. G. ; VINCENZI, A. M. R. ; RODRIGUES, C. L. . An Elitist Evolutionary Algorithm for Automatically Generating Test Data. In: IEEE Congress on Evolutionary Computation, 2012, Brisbane. 2012 IEEE Congress on Evolutionary Computation. New York: IEEE, 2012. p. 1-8.

46.
SILVA, J. C. ; KOWATA, E. T. ; VINCENZI, A. M. R. . Extracting and Exposing Relational Database Metadata on the Web. In: WWW/INTERNET - ICWI, 2012, Madri, Espanha. IADIS International Conference WWW/INTERNET - ICWI'2012, 2012. p. 35-42.

47.
FERREIRA, F. H. ; DELAMARO, M. E. ; CHAIM, M. L. ; MARQUES, F. L. dos S. N. ; VINCENZI, A. M. R. . Geração Aleatória de Dados para Programas Orientados a Objetos. In: Brazilian Workshop on Systematic and Automated Software Testing - SAST, 2012, Natal, RN. VI Brazilian Workshop on Systematic and Automated Software Testing - SAST'2012, 2012. v. 13. p. 73-82.

48.
BARBOSA, J. R. ; SOARES, F. A. A. M. N. ; VINCENZI, A. M. R. . Experimentation Package for Evaluation of Problems Applied to the Software Project Subject Using PBL. In: International Conference on Software Engineering Advances - ICSEA, 2012, Lisboa, Portugal. VII International Conference on Software Engineering Advances - ICSEA'2012, 2012. p. 486-492.

49.
ARAUJO, R. F. ; MALDONADO, J. C. ; DELAMARO, M. E. ; VINCENZI, A. M. R. ; DELEBECQUE, F. . Devising Mutant Operators for Dynamic Systems Models by Applying the HAZOP Study. In: International Conference on Software Engineering Advances - ICSEA, 2011, Barcelona, Espanha. VI International Conference on Software Engineering Advances - ICSEA'2011, 2011. p. 58-64.

50.
BARBOSA, J. R. ; DELAMARO, M. E. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Software Testing in Critical Embedded Systems: a Systematic Review of Adherence to the DO-178B Standard. In: International Conference on Advances in System Testing and Validation Lifecycle - VALID, 2011, Barcelona, Espanha. III International Conference on Advances in System Testing and Validation Lifecycle - VALID'2011, 2011. p. 126-130.

51.
DELAMARO, M. E. ; CHAIM, M. L. ; VINCENZI, A. M. R. ; JINO, M. ; MALDONADO, J. C. . Twenty-five Years of Research in Structural and Mutation. In: Simpósio Brasileiro de Engenharia de Software - SBES, 2011, São Paulo, SP. XXV Simpósio Brasileiro de Engenharia de Software - SBES'2011, 2011. p. 40-49.

52.
CAMILO, C. O. ; SILVA, J. C. ; VINCENZI, A. M. R. ; CARVALHO, C. L. . Mining Association Rules using Ontologies from Structured and Unstructured Data. In: WWW/INTERNET - ICWI, 2011, Rio de Janeiro, RJ. IADIS International Conference WWW/Internet - ICWI'2011, 2011.

53.
RINCON, A. M. ; VINCENZI, A. M. R. ; CHAIM, M. L. ; DELAMARO, M. E. ; MALDONADO, J. C. . Avaliação Empírica de Conjuntos de Testes de Projetos de Software Livre. In: Brazilian Workshop on Systematic and Automated Software Testing - SAST, 2011, São Paulo, SP. V Brazilian Workshop on Systematic and Automated Software Testing - SAST'2011, 2011. p. 51-60.

54.
ROCHA, Adriana ; RINCON, A. M. ; DELAMARO, M. E. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Avaliando a Qualidade de Conjuntos de Teste de Software de Código Aberto por meio de Critérios de Teste Estruturais. In: Workshop de Software Livre, 2010, Porto Alegre, RS. XI Workshop de Software Livre, 2010. p. 68-73.

55.
SANTOS, L. R. ; CAMILO JUNIOR, C. G. ; JORGE, R. F. ; VINCENZI, A. M. R. . Uma Heurística Elitista para o Algoritmo Genético na Geração de Caso de Teste para o Teste de Mutação. In: Joint Conference SBIA/SBRN/JRI - Workshop on Computational Intelligence - WCI, 2010, São Bernardo do Campo, SP. III Workshop on Computational Intelligence - WCI'2010, 2010. p. 512-517.

56.
DEUS, G. D. ; VINCENZI, A. M. R. ; LUCENA, F. N. ; DELAMARO, M. E. . Avaliação da Qualidade de Produtos J2ME por meio do Uso de Pacotes de Experimentação. In: Simpósio Brasileiro de Qualidade de Software - SBQS'2009, 2009, Ouro Preto, MG. VIII Simpósio Brasileiro de Qualidade de Software - SBQS'2009, 2009. p. 264-278.

57.
DELAMARO, M. E. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Evaluating Structural Criteria for Testing Mobile Code. In: Evaluation and Assessment in Software Engineering - EASE'2008, 2008, Bari. XIII Evaluation and Assessment in Software Engineering - EASE'2008, 2008.

58.
DEUS, G. D. ; VINCENZI, A. M. R. ; DELAMARO, M. E. . Criação de um Pacote de Experimentação para a Avaliação de Critérios de Teste Estruturais em Produtos J2ME. In: Experimental Software Engineering Latin American Workshop - ESELAW'2008, 2008, Salvador, BA. V Experimental Software Engineering Latin American Workshop - ESELAW'2008, 2008. p. 1-10.

59.
TEIXERIA, V. S. ; DELAMARO, M. E. ; VINCENZI, A. M. R. . FATEsC - Uma Ferramenta de Apoio ao Teste Estrutural de Componentes. In: Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software, 2007, Campinas, SP. I Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software, 2007. p. 25-32.

60.
TEIXERIA, V. S. ; DELAMARO, M. E. ; VINCENZI, A. M. R. . Uma Estratégia para o Teste de Componentes Utilizando a Técnica de Teste Estrutual. In: Brazilian Workshop on Systematic and Automated Software Testing, 2007, João Pessoa, PB. I Brazilian Workshop on Systematic and Automated Software Testing, 2007. p. 21-28.

61.
DELAMARO, M. E. ; NARDI, P. ; LEMOS, O. A. L. ; MASIERO, P. C. ; SPOTO, E. S. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Static Analysis of Java Bytecode for Domain-specific Software Testing. In: XXI Simpósio Brasileiro de Engenharia de Software, 2007, João Pessoa, PB. XXI Simpósio Brasileiro de Engenharia de Software. Porto Alegre, RS: Sociedade Brasileira de Computação, 2007. p. 325-341.

62.
DELAMARO, M. E. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . A Strategy to Perform Coverage Testing of Mobile Applications. In: First International Workshop on Automation of Software Test (AST'06), 2006, Shanghai. First International Workshop on Automation of Software Test. New York, NY: ACM Press, 2006. p. 118-124.

63.
VINCENZI, A. M. R.; SIMÃO, A. S. ; DELAMARO, M. E. ; MALDONADO, J. C. . Muta-Pro: Towards the Definition of a Mutation Testing Process. In: IEEELatin-AmericanTestWorkshop, 2005, Salvador, BA, Brasil. 6th IEEELatin-AmericanTestWorkshop, 2005. p. 149-154.

64.
NARDI, P. ; SPOTO, E. S. ; DELAMARO, M. E. ; VINCENZI, A. M. R. . JaBUTi/BD: Utilização de critérios estruturais em aplicações de bancos de dados Java. In: SBES - Simpósio Brasileiro de Engenharia de Software, 2005, Uberlândia, MG. XIX SBES - Simpósio Brasileiro de Engenharia de Software, 2005. p. 45-50.

65.
LEMOS, O. A. L. ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; MASIERO, P. C. . Teste de Unidade de Programas Orientados a Aspectos. In: Simpósio Brasileiro de Engenharia de Software, 2004, Brasília. Anais do XVIII Simpósio Brasileiro de Engenharia de Software, 2004. p. 55-70.

66.
LINKMAN, S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . An evaluation of systematic functional testing using mutation testing. In: International Conference on Empirical Assessment in Software Engineering, 2003, Keele, UK. VII International Conference on Empirical Assessment in Software Engineering - EASE'2003, 2003.

67.
VINCENZI, A. M. R.; DELAMARO, M. E. ; MALDONADO, J. C. ; WONG, W. E. . Java bytecode static analysis: Deriving structural testing requirements. In: UK Software Testing Workshop, 2003, York, England. II UK Software Testing Workshop, 2003.

68.
VINCENZI, A. M. R.; WONG, W. E. ; DELAMARO, M. E. ; MALDONADO, J. C. . JaBUTi: A coverage analysis tool for Java Programs. In: Simpósio Brasileiro de Engenharia de Software, 2003, Manaus, AM. XVII Simpósio Brasileiro de Engenharia de Software - SBES'2003, 2003. p. 79-84.

69.
DELAMARO, M. E. ; VINCENZI, A. M. R. . Structural Testing of Mobile Agents. In: International Workshop on Scientific Engineering of Java Distributed Applications (FIDJI'2003), 2003, Luxemburgo. III International Workshop on Scientific Engineering of Java Distributed Applications (FIDJI'2003). Heidelberg: Springer-Verlag, 2003. v. 2952. p. 73-85.

70.
DOMINGUES, A. L. S. ; SIMÃO, A. S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Evaltool: Um ambiente de apoio à avaliação e seleção de ferramentas de teste para programas orientados a objetos.. In: Simpósio Brasileiro de Engenharia de Software, 2002, Gramado. XVI Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2002. p. 384-389.

71.
SIMÃO, A. S. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . mudelgen: A tool for processing mutant operator description. In: Simpósio Brasileiro de Engenharia de Software, 2002, Gramado, RS. XVI Simpósio Brasileiro de Engenharia de Software, 2002. p. 426-431.

72.
SIMÃO, A. S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; SANTANA, A. C. L. . IDeL: A language for software instrumentation. In: Latin-American Conference on Informatics - CLEI, 2002, Montevideo, Uruguay. XXVIII Latin-American Conference on Informatics - CLEI'2002, 2002. p. 96-96.

73.
VINCENZI, A. M. R.; DELAMARO, M. E. ; SIMÃO, A. S. ; WONG, W. E. ; MALDONADO, J. C. . Jabá - a Java bytecode analyzer. In: Simpósio Brasileiro de Engenharia de Software, 2002, Gramado, RS. XVI Simpósio Brasileiro de Engenharia de Software - SBES'2002, 2002. p. 414-419.

74.
DELAMARO, M. E. ; PEZZÈ, M. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Mutant Operators for Testing Concurrent Java Programs. In: XV Simpósio Brasileiro de Engenharia de Software - SBES'2005, 2001, Rio de Janeiro. XV Simpósio Brasileiro de Engenharia de Software - SBES'2005, 2001. p. 272-285.

75.
JORGE, R. F. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; MALDONADO, J. C. . Teste de Mutação: Estratégias Baseadas em Equivalência de Mutantes para Redução do Custo de Aplicação. In: Latin-American Conference on Informatics - CLEI, 2001, Merida, Venezuela. XXVII Latin-American Conference on Informatics - CLEI'2001, 2001.

76.
VINCENZI, A. M. R.; NAKAGAWA, E. Y. ; MALDONADO, J. C. ; DELAMARO, M. E. ; ROMERO, R. A. F. . Bayesian-Learning Based Guidelines to Determine Equivalente Mutants. In: International Conference on Software Engineering & Knowledge Engineering - SEKE'2001, 2001, Buenos Aires. XIII International Conference on Software Engineering & Knowledge Engineering - SEKE'2001, 2001. p. 180-187.

77.
BARBOSA, E. F. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Towards the determination of sufficient mutant operators for C. In: First International Workshop on Automated Program Analysis, Testing and Verification, 2000, Limerick. First International Workshop on Automated Program Analysis, Testing and Verification, 2000.

78.
BARBOSA, E. F. ; MALDONADO, J. C. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; SOUZA, S. R. S. ; JINO, M. . Introdução ao teste de software. In: Simpósio Brasileiro de Engenharia de Software, 2000, João Pessoa. XIV Simpósio Brasileiro de Engenharia de Software, 2000. p. 330-378.

79.
DELAMARO, M. E. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Proteum/IM 2.0: An Integrated Mutation Testing Environment. In: Mutation 2000 Symposium, 2000, San Jose. Mutation 2000 Symposium, 2000. p. 91-101.

80.
MALDONADO, J. C. ; BARBOSA, E. F. ; VINCENZI, A. M. R. ; DELAMARO, M. E. . Evaluation N-Selective Mutation for C Programs: Unit and Integration Testing. In: Mutation 2000 Symposium, 2000, San Jose. Mutation 2000 Symposium, 2000. p. 22-33.

81.
MALDONADO, J. C. ; DELAMARO, M. E. ; FABBRI, S. C. P. F. ; SIMÃO, A. S. ; SUGETA, T. ; VINCENZI, A. M. R. ; MASIERO, P. C. . Proteum: A Family of Tools to Support Specification and Program Testing Based on Mutation. In: Mutation 2000 Symposium, 2000, San Jose. Mutation 2000 Symposium, 2000. p. 113-116.

82.
VINCENZI, A. M. R.; MALDONADO, J. C. ; BARBOSA, E. F. ; DELAMARO, M. E. . Unit and Integration Testing Strategies for C Programs Using Mutation-Based Criteria. In: Mutation 2000 Symposium, 2000, San Jose. Mutation 2000 Symposium, 2000. p. 45-45.

83.
VINCENZI, A. M. R.; MALDONADO, J. C. ; BARBOSA, E. F. ; DELAMARO, M. E. . Operadores Essenciais de Interface: Um Estudo de Caso. In: XIII Simpósio Brasileiro de Engenharia de Software - SBES'1999, 1999, Florianópolis. XIII Simpósio Brasileiro de Engenharia de Software - SBES'1999, 1999. p. 373-391.

84.
BARBOSA, E. F. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Uma Contribuição para a Determinação de um Conjunto Essencial de Operadores de Mutação no Teste de Programas C. In: XII Simpósio Brasileiro de Engenharia de Software, 1998, Maringá. XII Simpósio Brasileiro de Engenharia de Software, 1998. p. 103-120.

85.
VINCENZI, A. M. R.; BARBOSA, E. F. ; SOUZA, S. R. S. ; DELAMARO, M. E. ; MALDONADO, J. C. . Critério Análise de Mutantes: Estado Atual e Perspectivas. In: Workshop do Projeto Validação e Teste de Sistemas de Operação - WPVTSO'1997, 1997, Águas de Lindóia. I Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997. p. 15-26.

Resumos expandidos publicados em anais de congressos
1.
CÉSAR, EDSON ; VINCENZI, AURI MARCELO RIZZO ; LOPES, ADRIANA ; CONTE, TAYANA ; VALENTIM, NATASHA M. COSTA ; MALDONADO, JOSÉ CARLOS . An Acceptance Empirical Assessment of Open Source Test Tools. In: 19th International Conference on Enterprise Information Systems, 2017, Porto. Proceedings of the 19th International Conference on Enterprise Information Systems. Setúbal, Portugal: SCITEPRESS - Science and Technology Publications, Lda, 2017. p. 379-386.

2.
BARBOSA, J. R. ; DELAMARO, M. E. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Teste de software no contexto de sistemas embarcados críticos. In: Computer on the Beach 2011, 2011, Florianópolis, SC. Computer on the Beach 2011, 2011. p. 339-340.

3.
LUCENA, F. N. ; Oliveira, J. L. ; VINCENZI, A. M. R. . Bacharelado em Engenharia de Software na Universidade Federal de Goiás. In: Fórum de Educação em Engenharia de Software, 2008, Campinas, SP. Monografias em Ciência da Computação. Rio de Janeiro, RJ: PUC-RJ, 2008. v. 8. p. 16-20.

Resumos publicados em anais de congressos
1.
MONÇÃO, ANA C.L. ; CAMILO-JR, CELSO G. ; QUEIROZ, LEONARDO T. ; RODRIGUES, CASSIO L. ; LEITÃO-JR, PLÍNIO DE SÁ ; VINCENZI, AURI M.R. . Applying genetic algorithms to data selection for SQL mutation analysis. In: Proceeding of the fifteenth annual conference companion, 2013, Amsterdam. Proceeding of the fifteenth annual conference companion on Genetic and evolutionary computation conference companion - GECCO '13 Companion. New York: ACM Press, 2013. p. 207-208.

2.
SILVA, I.O. ; COELHO, C. ; VINCENZI, E.F.S. ; VINCENZI, A. M. R. . Perfil de adiposidade e percentual de gordura corporal em escolares do Colégio São Francisco de Assis em 2006. In: XI Congresso Paulista de Educação Física, 2007, Rio Claro. V Congresso Internacional de Educação Física e Motricidade Humana e XI Congresso Paulista de Educação Física, 2007. v. 13. p. S121-S122.

3.
SILVA, I.O. ; VINCENZI, E.F.S. ; VINCENZI, A. M. R. ; FARIAS, F. ; SANTOS, D. A. ; TEIXEIRA JÚNIOR, J. ; TEIXEIRA, C. G. O. ; MOTA, P. V. . Medida-certa: Ambiente de Avaliação Física de Escolares. In: Fórum Internacional de Qualidade de Vida e Saúde, 2006, Curitiba, PR. V Fórum Internacional de Qualidade de Vida e Saúde. Curitiba, PR: Editora Korppus, 2006. v. 1. p. 60-60.

4.
VINCENZI, A. M. R.; MALDONADO, J. C. . Orientação a Objetos: Definição e Análise de Recursos de Teste e Validação. In: VI Workshop de Teses e Dissertações em Andamento, 2001, São Carlos. VI Workshop de Teses e Dissertações em Andamento, 2001. p. 17-18.

5.
VINCENZI, A. M. R.; MALDONADO, J. C. . Subsídios para o Estabelecimento de Estratégias de Teste Baseadas na Técnica de Mutação. In: IV Simpósio de Teses e Dissertações Defendidas, 1999, São Carlos. IV Simpósio de Teses e Dissertações Defendidas, 1999. p. 107-118.

6.
VINCENZI, A. M. R.; MALDONADO, J. C. . Subsídios para o Estabelecimento de Estratégias de Teste Baseadas na Técnica de Mutação. In: III Workshop de Teses e Dissertações em Andamento, 1998, São Carlos. III Workshop de Teses e Dissertações em Andamento, 1998. p. 29-30.

7.
VINCENZI, A. M. R.; MALDONADO, J. C. . Subsídios para o Estabelecimento de Estratégias de Teste Utilizando a Técnica de Mutação. In: II Workshop de Teses em Engenharia de Software do XI Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. II Workshop de Teses em Engenharia de Software do XI Simpósio Brasileiro de Engenharia de Software, 1997. p. 93-95.

Apresentações de Trabalho
1.
VINCENZI, A. M. R.. Engenharia de Software Baseada em Busca: Quando, Como e em que Aplicar. 2012. (Apresentação de Trabalho/Conferência ou palestra).

2.
BARBOSA, J. R. ; SOARES, F. A. A. M. N. ; VINCENZI, A. M. R. . Experimental Package for Evaluation of Problems Applied to the Software Project Subject Using PBL. 2012. (Apresentação de Trabalho/Congresso).

3.
SILVA, J. C. ; KOWATA, E. T. ; VINCENZI, A. M. R. . Extracting and Exposing Relational Database Metadata on the Web. 2012. (Apresentação de Trabalho/Congresso).

4.
LUCENA, F. N. ; Oliveira, J. L. ; VINCENZI, A. M. R. . Bacharelado em Engenharia de Software na Universidade Federal de Goiás. 2008. (Apresentação de Trabalho/Outra).

5.
VINCENZI, A. M. R.. Estado da Prática em Teste de Software. 2007. (Apresentação de Trabalho/Conferência ou palestra).

6.
VINCENZI, A. M. R.; DELAMARO, M. E. ; HÖHN, É. N. ; MALDONADO, J. C. . Functional, Control and Data Flow, and Mutation Testing: Theory and Practice. 2007. (Apresentação de Trabalho/Outra).

7.
MALDONADO, J. C. ; VINCENZI, A. M. R. . Introducion to Software Testing. 2007. (Apresentação de Trabalho/Outra).

8.
VINCENZI, A. M. R.. Estado da Prática em Teste de Software. 2007. (Apresentação de Trabalho/Conferência ou palestra).

9.
DELAMARO, M. E. ; NARDI, P. ; LEMOS, O. A. L. ; MASIERO, P. C. ; SPOTO, E. S. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Static Analysis of Java Bytecode for Domain-specific Software Testing. 2007. (Apresentação de Trabalho/Simpósio).

10.
VINCENZI, A. M. R.. Estado da Prática em Teste de Software. 2007. (Apresentação de Trabalho/Conferência ou palestra).

11.
VINCENZI, A. M. R.. Teste de Software: Teoria e Prática. 2006. (Apresentação de Trabalho/Conferência ou palestra).

12.
DELAMARO, M. E. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . A Strategy to Perform Coverage Testing of Mobile Applications. 2006. (Apresentação de Trabalho/Outra).

13.
VINCENZI, A. M. R.. Qualidade no Processo de Produção de Software. 2005. (Apresentação de Trabalho/Conferência ou palestra).

14.
VINCENZI, A. M. R.. Introdução ao Teste de Software. 2005. (Apresentação de Trabalho/Conferência ou palestra).

15.
DELAMARO, M. E. ; PEZZÈ, M. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Mutant Operators for Testing Concurrent Java Programs. 2001. (Apresentação de Trabalho/Simpósio).

16.
VINCENZI, A. M. R.; MALDONADO, J. C. . Orientação a Objetos: Definição e Análise de Recursos de Teste e Validação. 2001. (Apresentação de Trabalho/Outra).

17.
VINCENZI, A. M. R.; MALDONADO, J. C. ; BARBOSA, E. F. ; DELAMARO, M. E. . Operadores Essenciais de Interface: Um Estudo de Caso. 1999. (Apresentação de Trabalho/Simpósio).

18.
VINCENZI, A. M. R.; MALDONADO, J. C. . Subsídios para o Estabelecimento de Estratégias de Teste Baseadas na Técnica de Mutação. 1999. (Apresentação de Trabalho/Simpósio).

19.
VINCENZI, A. M. R.; MALDONADO, J. C. . Subsídios para o Estabelecimento de Estratégias de Teste Baseadas na Técnica de Mutação. 1998. (Apresentação de Trabalho/Simpósio).

20.
VINCENZI, A. M. R.. Critérios de Teste de Software: Análise de Mutantes. 1997. (Apresentação de Trabalho/Conferência ou palestra).

21.
VINCENZI, A. M. R.; BARBOSA, E. F. ; DELAMARO, M. E. ; SOUZA, S. R. S. ; MALDONADO, J. C. . Critério Análise de Mutantes: Estado Atual e Perspectivas. 1997. (Apresentação de Trabalho/Outra).

Outras produções bibliográficas
1.
BRASIL, E. M. ; CHAVES, S. M. ; SOUSA, L. F. E. C. P. ; VINCENZI, A. M. R. . Processo Seletivo 2009-1: Manual do Candidato 2008 (Manual).

2.
VINCENZI, A. M. R.. Orientação a Objeto: Definição, Implementação e Análise de Recursos de Teste e Validação 2004 (Tese de Doutoramento).

3.
VINCENZI, A. M. R.; DELAMARO, M. E. ; MALDONADO, J. C. ; WONG, W. E. . Java Bytecode Static Analysis: Deriving Structural Testing Requirements. São Carlos, SP,: ICMC/USP - Cadernos de Computação, 2003 (Cadernos de Computação).

4.
MALDONADO, J. C. ; BARBOSA, E. F. ; VINCENZI, A. M. R. ; DELAMARO, M. E. . Evaluating N-Selective Mutation for C Programs: Unit and Integration Testing. São Carlos, SP,: ICMC/USP - Cadernos de Computação, 2002 (Cadernos de Computação).

5.
SIMÃO, A. S. ; MALDONADO, J. C. ; VINCENZI, A. M. R. ; SANTANA, A. C. L. . IDeL: A Language for Software Instrumentation. São Carlos, SP,: ICMC/USP - Cadernos de Computação, 2002 (Cadernos de Computação).

6.
VINCENZI, A. M. R.. Subsídios para o Estabelecimento de Estratégias de Teste Baseadas na Técnica de Mutação 1998 (Dissertação de Mestrado).


Produção técnica
Programas de computador sem registro
1.
FREITAS, E. N. A. ; FARIA, K. A. C. ; CAMILO JUNIOR, C. G. ; VINCENZI, A. M. R. . Android Mirror Tool (AMT). 2016.

2.
VINCENZI, A. M. R.; DELAMARO, M. E. ; WONG, W. E. ; MALDONADO, J. C. . JaBUTi: Java Bytecode Understanding and Testing. 2004.

Processos ou técnicas
1.

Trabalhos técnicos
1.
SIMÃO, A. S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; SANTANA, A. C. L. . Software product instrumentation description. 2002.

2.
DELAMARO, M. E. ; PEZZÈ, M. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Mutation Testing to Multi-Threaded JAVA Programs. 2001.

3.
MALDONADO, J. C. ; VINCENZI, A. M. R. ; BARBOSA, E. F. ; SOUZA, S. R. S. ; DELAMARO, M. E. . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. 1998.

Redes sociais, websites e blogs
1.
VINCENZI, A. M. R.; MALDONADO, J. C. ; DELAMARO, M. E. . Automatização de Teste de Software. 2015; Tema: Automatização de Teste de Software. (Site).

2.
VINCENZI, A. M. R.; MALDONADO, J. C. ; DELAMARO, M. E. ; DIAS NETO, A. C. ; CONTE, T. ; Oliveira, J. L. . Material de Treinamento/Capacitação em Automatização de Teste de Software. 2015; Tema: Treinamento e Capacitação em Automatização de Teste de Software. (Site).


Demais tipos de produção técnica
1.
VINCENZI, A. M. R.. Comitê de programa: XI International Workshop on Mutation Analysis - Mutation'2016 do IX IEEE International Conference on Software Testing, Verification and Validation - ICSE'2016. 2016. (Comitê de programa de evento científico).

2.
VINCENZI, A. M. R.. Comitê de programa: XIII Experimental Software Engineering Latin America Workshop - ESELAW'2016 do XIX Congresso Ibero-Americano em Engenharia de Software - CIbSE'2016. 2016. (Comitê de programa de evento científico).

3.
VINCENZI, A. M. R.. Comitê de programa: Trilha da Indústria (Industry Track) do VII Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2016. 2016. (Comitê de programa de evento científico).

4.
VINCENZI, A. M. R.. Comitê de programa: Simposio Latinoamericano de Informática y Sociedad - SLIS'2016 do XLII Conferencia Latinoamericana en Informática - CLEI'2016. 2016. (Comitê de programa de evento científico).

5.
VINCENZI, A. M. R.. Comitê de programa: XXIV Workshop sobre Educação em Computação - WEI'2016 do XXXVI Congresso da Sociedade Brasileira de Computação - CSBC'2016. 2016. (Comitê de programa de evento científico).

6.
VINCENZI, A. M. R.. Comitê de programa: XXX Simpósio Brasileiro de Engenharia de Software - SBES'2016 (Trilha Technical Research) do VII Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2016. 2016. (Comitê de programa de evento científico).

7.
VINCENZI, A. M. R.; DELAMARO, M. E. ; MALDONADO, J. C. . Automatização de teste de software com ênfase em teste de sistema. 2015. (Curso de curta duração ministrado/Extensão).

8.
VINCENZI, A. M. R.. FreeTest - Implantando Processos de Teste. 2015. (Curso de curta duração ministrado/Extensão).

9.
VINCENZI, A. M. R.; DELAMARO, M. E. ; MALDONADO, J. C. . Automatização de teste de software com ênfase em teste unitário e de integração. 2015. (Curso de curta duração ministrado/Extensão).

10.
VINCENZI, A. M. R.. Comitê de programa: XII Experimental Software Engineering Latin America Workshop - ESELAW'2015 do XVIII Congresso Ibero-Americano em Engenharia de Software - CIbSE'2015. 2015. (Comitê de programa de evento científico).

11.
VINCENZI, A. M. R.. Comitê de programa: ESEM Short Papers and Posters do ACM/IEEE International Symposium on Empirical Software Engineering and Measurement - ESEM'2015. 2015. (Comitê de programa de evento científico).

12.
VINCENZI, A. M. R.. Comitê de programa: X International Workshop on Mutation Analysis - Mutation'2015 do VIII IEEE International Conference on Software Testing, Verification and Validation - ICSE'2015. 2015. (Comitê de programa de evento científico).

13.
VINCENZI, A. M. R.. Comitê de programa: Software Testing Track of ACM RACS 2015. 2015. (Comitê de programa de evento científico).

14.
VINCENZI, A. M. R.. Comitê de programa: V Workshop de Teses e Dissertações do CBSoft - WTDSoft'2015 do VI Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2015. 2015. (Comitê de programa de evento científico).

15.
VINCENZI, A. M. R.. Comitê de programa: IX Workshop Brasileiro de Teste de Software Sistemático e Automatizado - SAST'2015 do VI Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2015. 2015. (Comitê de programa de evento científico).

16.
VINCENZI, A. M. R.. Comitê de programa: XXIX Simpósio Brasileiro de Engenharia de Software - SBES'2015 (Trilha Insightful Ideas) do VI Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2015. 2015. (Comitê de programa de evento científico).

17.
VINCENZI, A. M. R.. Comitê de programa: XXIX Simpósio Brasileiro de Engenharia de Software - SBES'2015 (Trilha Technical Research) do VI Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2015. 2015. (Comitê de programa de evento científico).

18.
VINCENZI, A. M. R.. Comitê de programa: III Workshop on Software Visualization, Evolution, and Maintenance - VEM'2015 do VI Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2015. 2015. (Comitê de programa de evento científico).

19.
VINCENZI, A. M. R.. Comitê de programa: VI Workshop de Engenharia de Software Baseada em Busca - WESB'2015 do VI Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2015. 2015. (Comitê de programa de evento científico).

20.
VINCENZI, A. M. R.. Comitê de programa: Trilha da Indústria (Industry Track) do VI Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2015. 2015. (Comitê de programa de evento científico).

21.
VINCENZI, A. M. R.. Comitê de programa: IX Simpósio Brasileiro de Qualidade de Software (Trilha de Trabalhos Técnicos) - SBQS'2015. 2015. (Comitê de programa de evento científico).

22.
VINCENZI, A. M. R.. Comitê de programa: II Workshop de Iniciação Científica em Sistemas de Informação - WICSI'2015 do XI Simpósio Brasileiro de Sistemas de Informação - SBSI'2015. 2015. (Comitê de programa de evento científico).

23.
VINCENZI, A. M. R.. Comitê de programa: Simposio Latinoamericano de Informática y Sociedad - SLIS'2015 do XLI Conferencia Latinoamericana en Informática - CLEI'2015. 2015. (Comitê de programa de evento científico).

24.
VINCENZI, A. M. R.. Geração de Dados de Teste. 2014. .

25.
VINCENZI, A. M. R.. Comitê de programa: International Symposium on Search Based Software Engineering - SSBSE'2014. 2014. (Comitê de programa de evento científico).

26.
VINCENZI, A. M. R.. Comitê de programa: IX International Workshop on Mutation Analysis - Mutation'2014 do VII IEEE International Conference on Software Testing, Verification and Validation - ICSE'2014. 2014. (Comitê de programa de evento científico).

27.
VINCENZI, A. M. R.. Comitê de programa: ESEM Short Papers and Posters do ACM/IEEE International Symposium on Empirical Software Engineering and Measurement - ESEM'2014. 2014. (Comitê de programa de evento científico).

28.
VINCENZI, A. M. R.. Comitê de programa: XI Experimental Software Engineering Latin America Workshop - ESELAW'2014 do XVII Congresso Ibero-Americano em Engenharia de Software - CIbSE'2014. 2014. (Comitê de programa de evento científico).

29.
VINCENZI, A. M. R.. Comitê de programa: VIII Workshop Brasileiro de Teste de Software Sistemático e Automatizado - SAST'2014. 2014. (Comitê de programa de evento científico).

30.
VINCENZI, A. M. R.. Comitê de programa: V Workshop de Engenharia de Software Baseada em Busca - WESB'2014. 2014. (Comitê de programa de evento científico).

31.
VINCENZI, A. M. R.. Comitê de programa: XXVIII Simpósio Brasileiro de Engenharia de Software - SBES'2014 do V Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2014. 2014. (Comitê de programa de evento científico).

32.
VINCENZI, A. M. R.. Comitê de programa: IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais (Trilha de Sistemas Críticos) - SBESC'2014. 2014. (Comitê de programa de evento científico).

33.
VINCENZI, A. M. R.. Comitê de programa: XV International Free Software Workshop - WSL'2014. 2014. (Comitê de programa de evento científico).

34.
VINCENZI, A. M. R.. Comitê de programa: XIII Simpósio Brasileiro de Qualidade de Software (Trilha de Trabalhos Técnicos) - SBQS'2014. 2014. (Comitê de programa de evento científico).

35.
VINCENZI, A. M. R.. Comitê de programa: IV Workshop de Teses e Dissertações do CBSoft - WTDSoft'2014 do V Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2014. 2014. (Comitê de programa de evento científico).

36.
VINCENZI, A. M. R.. Comitê de programa: XII Simpósio Brasileiro de Qualidade de Software. 2013. (Comitê de programa de evento científico).

37.
VINCENZI, A. M. R.. Comitê de programa: XXVII Simpósio Brasileiro de Engenharia de Software -- SBES'2013 do IV Congresso Brasileiro de Software: Teoria e Prática -- CBSoft'2013. 2013. (Comitê de programa de evento científico).

38.
VINCENZI, A. M. R.. Comitê de programa: Trilha Especial do XXVII Simpósio Brasileiro de Engenharia de Software -- SBES'2013 do IV Congresso Brasileiro de Software: Teoria e Prática -- CBSoft'2013. 2013. (Comitê de programa de evento científico).

39.
VINCENZI, A. M. R.. Comitê de programa: Jornada de Pesquisa do Instituto de Informática - JOPINF'2013. 2013. (Comitê de programa de evento científico).

40.
VINCENZI, A. M. R.. Comitê de programa: ESEM Short Papers and Posters do ACM/IEEE International Symposium on Empirical Software Engineering and Measurement -- ESEM'2013. 2013. (Comitê de programa de evento científico).

41.
VINCENZI, A. M. R.. Comitê de programa: X Experimental Software Engineering Latin America Workshop - ESELAW'2013 do XVI Congresso Ibero-Americano em Engenharia de Software - CIbSE'2013. 2013. (Comitê de programa de evento científico).

42.
VINCENZI, A. M. R.. Comitê de programa: VIII International Workshop on Mutation Analysis - Mutation'2013 do VI IEEE International Conference on Software Testing, Verification and Validation - ICSE'2013. 2013. (Comitê de programa de evento científico).

43.
VINCENZI, A. M. R.. Comitê de programa: IV Workshop de Engenharia de Software Baseada em Busca - WESB'2013. 2013. (Comitê de programa de evento científico).

44.
VINCENZI, A. M. R.. Comitê de programa: III Simpósio Brasileiro de Engenharia de Sistemas Computacionais (Trilha de Sistemas Críticos) - SBESC'2013. 2013. (Comitê de programa de evento científico).

45.
VINCENZI, A. M. R.. Comitê de programa: VII Workshop Brasileiro de Teste de Software Sistemático e Automatizado - SAST'2013. 2013. (Comitê de programa de evento científico).

46.
VINCENZI, A. M. R.; DE OLIVEIRA, J. P. M. ; SPINOSA, E. J. . XX Workshop sobre Educação em Computação - WEI. 2012. (Editoração/Anais).

47.
VINCENZI, A. M. R.; FEITOSA, M. D. ; DA COSTA, U. S. . XIX Workshop sobre Educação em Computação - WEI. 2011. (Editoração/Anais).

48.
VINCENZI, A. M. R.; CONTE, T. ; PRADO, M. P. . VII Experimental Software Engineering Latin American Workshop - ESELAW. 2010. (Editoração/Anais).

49.
VINCENZI, A. M. R.. Comitê de programa: XXXV Conferência Latino-Americana de Informática - CLEI'2009. 2009. (Comitê de programa de evento científico).

50.
VINCENZI, A. M. R.. Comitê de programa: XVII Workshop sobre Educação em Computação - WEI'2009. 2009. (Comitê de programa de evento científico).

51.
VINCENZI, A. M. R.. Comitê de programa: VIII Simpósio Brasileiro de Qualidade de Software (Relatos de Experiência) - SBQS'2009. 2009. (Comitê de programa de evento científico).

52.
VINCENZI, A. M. R.. Comitê de programa: Minicursos para o V Simpósio Brasileiro de Sistemas de Informação - SBSI'2009. 2009. (Comitê de programa de evento científico).

53.
VINCENZI, A. M. R.. Comitê de programa: V Simpósio Brasileiro de Sistemas de Informação - SBSI'2009. 2009. (Comitê de programa de evento científico).

54.
VINCENZI, A. M. R.. Revisão de artigos: First International Conference on Software Testing, Verification and Validation - ICST'2008. 2008. (Revisão de artigos para evento científico).

55.
VINCENZI, A. M. R.. Comitê de programa: Minicursos para o IV Simpósio Brasileiro de Sistemas de Informação - SBSI'2008. 2008. (Comitê de programa de evento científico).

56.
VINCENZI, A. M. R.. Comitê de programa: II IEEE International Conference on Secure System Integration and Reliability Improvement ? SSIRI?2008. 2008. (Comitê de programa de evento científico).

57.
VINCENZI, A. M. R.. Comitê de programa: XVI Workshop sobre Educação em Computação - WEI'2008. 2008. (Comitê de programa de evento científico).

58.
VINCENZI, A. M. R.. Comite de programa: V Experimental Software Engineering Latin America Workshop - ESELAW'2008. 2008. (Comitê de programa de evento científico).

59.
VINCENZI, A. M. R.. Comitê de programa: VIII Fórum de Informática e Tecnologia de Maringá - FITEM'2008. 2008. (Comitê de programa de evento científico).

60.
VINCENZI, A. M. R.. Consultoria ad-hoc: Avaliação de Projetos de Pesquisa para a Universidade Federal do Rio Grande do Norte. 2008. (Consultoria ad hoc).

61.
VINCENZI, A. M. R.. XIV Sessão de Ferramentas do Simpósio Brasileiro de Engenharia de Software. 2007. (Editoração/Anais).

62.
VINCENZI, A. M. R.. Comitê de programa: I Brazilian Workshop on Systematic and Automated Software Testing - SAST'2007 - realizado em conjunto com o XXI Simpósio Brasileiro de Engenharia de Software - SBES'2007. 2007. (Comitê de programa de evento científico).

63.
VINCENZI, A. M. R.. Comitê de programa: XIV Sessão de Ferramentas do XXI Simpósio Brasileiro de Engenharia de Software - SBES'2007. 2007. (Comitê de programa de evento científico).

64.
VINCENZI, A. M. R.. Comitê de programa: XXI Simpósio Brasileiro de Engenharia de Software - SBES'2007. 2007. (Comitê de programa de evento científico).

65.
VINCENZI, A. M. R.. Comitê de programa: VIII Argentine Symposium on Software Engineering - ASSE'2007. 2007. (Comitê de programa de evento científico).

66.
VINCENZI, A. M. R.. Comitê de programa: III Escola Regional de Informática - ERI'2007 - Região São Paulo/Oeste - Bauru, Marília e Presidente Prudente. 2007. (Comitê de programa de evento científico).

67.
VINCENZI, A. M. R.. Comitê de programa: XV Workshop sobre Educação em Computação - WEI'2007. 2007. (Comitê de programa de evento científico).

68.
VINCENZI, A. M. R.. Revisão de artigos: VII International Conference on Quality Software - QSIC'2007. 2007. (Revisão de artigos para evento científico).

69.
VINCENZI, A. M. R.. Comitê de programa: IV Experimental Software Engineering Latin America Workshop - ESELAW'2007. 2007. (Comitê de programa de evento científico).

70.
VINCENZI, A. M. R.. Comitê de seleção: XIV Sessão de Ferramentas do XXI Simpósio Brasileiro de Engenharia de Software - SBES'2007. 2007. (Comitê de seleção).

71.
VINCENZI, A. M. R.. Consultoria ad ho: Fundação Educacional Severino Sombra - Universidade Severino Sombra. 2007. (Consultoria ad hoc).

72.
VINCENZI, A. M. R.. Revisão de artigos: VII Workshop de Informática Médica - WIM'2007. 2007. (Revisão de artigos para evento científico).

73.
VINCENZI, A. M. R.. Comitê de programa: XIII Sessão de Ferramentas do XX Simpósio Brasileiro de Engenharia de Software - SBES'2006. 2006. (Comitê de programa de evento científico).

74.
VINCENZI, A. M. R.. Comitê de programa: XIV Workshop sobre Educação em Computação - WEI'2006. 2006. (Comitê de programa de evento científico).

75.
VINCENZI, A. M. R.. Revisão de artigos: XVII International Symposium on Software Reliability Engineering - ISSRE'2006. 2006. (Revisão de artigos para evento científico).

76.
VINCENZI, A. M. R.. Revisão de artigos: II Conferência Internacional de Visões Inovadoras em Tecnologias .Net - IVNET'2006. 2006. (Revisão de artigos para evento científico).

77.
VINCENZI, A. M. R.. Revisão de artigos: V Simpósio Brasileiro de Qualidade de Software - SBQS'2006. 2006. (Revisão de artigos para evento científico).

78.
VINCENZI, A. M. R.. Revisão de artigos: Relatos de Experiência do V Simpósio Brasileiro de Qualidade de Software - SBQS'2006. 2006. (Revisão de artigos para evento científico).

79.
VINCENZI, A. M. R.. Revisão de artigos: VI Workshop de Desenvolvimento Baseado em Componentes - WDBC'2006. 2006. (Revisão de artigos para evento científico).

80.
VINCENZI, A. M. R.. Revisão de artigos: XXXIII Seminário Integrado de Software e Hardware - SEMISH'2006. 2006. (Revisão de artigos para evento científico).

81.
VINCENZI, A. M. R.. Revisão de artigos: V International Symposium on Empirical Software Engineering - ISESE'2006. 2006. (Revisão de artigos para evento científico).

82.
VINCENZI, A. M. R.. Revisão de artigos: XX Simpósio Brasileiro de Engenharia de Software - SBES'2006. 2006. (Revisão de artigos para evento científico).

83.
VINCENZI, A. M. R.; LUCENA, F. N. . Introdução à Linguagem Java. 2005. (Curso de curta duração ministrado/Extensão).

84.
VINCENZI, A. M. R.. Revisão de artigos: XII Sessão de Ferramentas do XIX Simpósio Brasileiro de Engenharia de Software - SBES'2005. 2005. (Revisão de artigos para evento científico).

85.
VINCENZI, A. M. R.. Revisão de artigos: IV Simpósio Brasileiro de Qualidade de Software - SBQS'2005. 2005. (Revisão de artigos para evento científico).

86.
VINCENZI, A. M. R.. Revisão de artigos: Concurso de Teses, Dissertações e TCC'S do II Simpósio Brasileiro de Sistemas de Informação - SBSI'2005. 2005. (Revisão de artigos para evento científico).

87.
VINCENZI, A. M. R.. Revisão de artigos: II Jornada do Conhecimento e da Tecnologia - JCT'2005. 2005. (Revisão de artigos para evento científico).

88.
VINCENZI, A. M. R.. Revisão de artigos: XVIII Simpósio Brasileiro de Engenharia de Software - SBES'2004. 2004. (Revisão de artigos para evento científico).

89.
VINCENZI, A. M. R.. Revisão de artigos: XI Sessão de Ferramentas do XVIII Simpósio Brasileiro de Engenharia de Software - SBES'2004. 2004. (Revisão de artigos para evento científico).

90.
VINCENZI, A. M. R.. Revisão de artigos: X Sessão de Ferramentas do XVII Simpósio Brasileiro de Engenharia de Software - SBES'2003. 2003. (Revisão de artigos para evento científico).

91.
VINCENZI, A. M. R.. Revisão de artigos: XXIX Conferência Latino Americana de Informática - CLEI'2003. 2003. (Revisão de artigos para evento científico).

92.
VINCENZI, A. M. R.. Revisão de artigos: IX Sompósio Brasileiro de Sistemas Multimídia e Web - WEBMÍDIA'2003. 2003. (Revisão de artigos para evento científico).

93.
VINCENZI, A. M. R.. Revisão de artigos: Workshop de Ferramentas e Aplicações do IX Simpósio Brasileiro de Sistemas Multimídia e Web -- WFA-WEBMÍDIA'2003. 2003. (Revisão de artigos para evento científico).

94.
VINCENZI, A. M. R.. Revisão de artigos: Minicursos do XVI Simpósio Brasileiro de Engenharia de Software - SBES'2002. 2002. (Revisão de artigos para evento científico).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
FABBRI, S. C. P. F.; VINCENZI, A. M. R.; FERRARI, F. C.. Participação em banca de Gabriel Giovannini Malimpensa. Uma Abordagem para a Priorização de Casos de Teste de Regressão Baseada em Rastreabilidade. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

2.
OLIVEIRA, H. C.; GARCIA, R. E.; VINCENZI, A. M. R.. Participação em banca de Fernando Aparecido Nogueira. Levantamento e Especificação de Requisitos de Software Utilizando Modelos de Processos de Negócio. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual Paulista Júlio de Mesquita Filho.

3.
CAMILO-JUNIOR, C. G.; RODRIGUES, C. L.; VINCENZI, A. M. R.. Participação em banca de Jailton Alkimin Louzada. FreeTest 2.0: Uma Evolução do Método FreeTest para a Melhoria no Processo de Teste de Software em Micro e Pequenas Empresas. 2017. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

4.
CAMILO-JUNIOR, C. G.; SOARES, T. W. L.; VINCENZI, A. M. R.. Participação em banca de Vinicius Paulo Lopes de Oliveira. Uma Proposta de Representação de Operadores Genéticos para Algoritmos Evolucionários Aplicados no Reparo Automatizado de Software. 2017. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

5.
MALDONADO, J. C.; VINCENZI, A. M. R.; GIMENES, I. M. S.; SOUZA, S. R. S.. Participação em banca de Nilton Mendes de Souza. RAModelTI: Agregando Informações de Teste de Software no Modelos para Arquiteturas de Referência (RAModel). 2017. Dissertação (Mestrado em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.

6.
MARQUES, F. L. dos S. N.; VINCENZI, A. M. R.; JACKOWSKI, M. P.; PARABONI, I.. Participação em banca de Davi Silva Rodrigues. TAIGA: Uma Abordagem para Geração de Dados de Teste por meio de Algoritmo Genético para Programas de Processamento de Imagens. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

7.
CHAIM, M. L.; VINCENZI, A. M. R.; BEDER, D. M.; FANTINATO, M.. Participação em banca de Fábio Pereira da Silva. Visualização de Informação de Depuração: Uma Avaliação Experimental. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

8.
DIAS NETO, A. C.; VINCENZI, A. M. R.; CORDEIRO, L. C.. Participação em banca de Jonathas Silva dos Santos. Insumos para a utilização de teste baseado em erro em aplicações móveis. 2016. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Amazonas.

9.
SOUZA, S. R. S.; VINCENZI, A. M. R.; SIMÃO, A. S.. Participação em banca de Marcos Pereira dos Santos. Estudo sobre adaptação de critérios de teste de programas concorrentes para o teste de integração de sistemas robóticos móveis. 2016. Dissertação (Mestrado em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.

10.
FEDERSON, F. M.; VINCENZI, A. M. R.; LUCENA, F. N.. Participação em banca de Vinícius Vieira Pessoni. Pesquisa e Aplicação de Método de Medição do Desenvolvimento Cognitivo de Discentes de Cursos de Computação. 2016. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

11.
SOUZA, S. R. S.; SIMÃO, A. S.; VINCENZI, A. M. R.; DIAS NETO, A. C.. Participação em banca de Ricardo Ferreira Vilela. Evidências sobre o uso de técnicas de geração automática de dados de teste em programas concorrentes. 2016. Dissertação (Mestrado em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.

12.
LEITAO-JUNIOR, P. S.; LUCENA, F. N.; VINCENZI, A. M. R.. Participação em banca de Daniella de Oliveira Costa. Avaliação de Processos de Teste pelo Modelo de Maturidade TMMi em Pequenas Empresas. 2016. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

13.
VINCENZI, A. M. R.; LEITAO-JUNIOR, P. S.; DIAS NETO, A. C.. Participação em banca de Daniel Gomes de Oliveira. Avaliação de Ferramentas de Geração Automática de Dados de Teste para Programas Java. 2016. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

14.
MALDONADO, J. C.; VINCENZI, A. M. R.; DIAS NETO, A. C.; SOUZA, S. R. S.. Participação em banca de Pedro Henrique Dias Valle. Jogos Educacionais: Uma Contribuição para o Ensino de Teste de Software. 2016. Dissertação (Mestrado em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.

15.
FERRARI, F. C.; CAMARGO, V. V.; VINCENZI, A. M. R.. Participação em banca de Thiago Gaspar Levin. Avaliação inter-paradigma de conjuntos de testes no contexto de programas orientados a objetos e programas orientados a aspectos. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

16.
DIAS NETO, A. C.; BARRETO, R. S.; VINCENZI, A. M. R.. Participação em banca de Sílvia Regina Assis Meireles. Evolução da Ferramenta Web Guitar para Geração Automática de Casos de Teste de Interface para Aplicações Web. 2015. Dissertação (Mestrado em Informática) - Universidade Federal do Amazonas.

17.
SOUZA, P. S. L.; GUARDIA, H. C.; VINCENZI, A. M. R.. Participação em banca de Rafael Negrisoli Batista. Otimizando o Teste Estrutural de Programas Concorrentes: Uma Abordagem Determinística e Paralela. 2015. Dissertação (Mestrado em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.

18.
BEDER, D. M.; VINCENZI, A. M. R.; CHAIM, M. L.. Participação em banca de Eloisa Cristina Silva Santos. Integração da Abordagem Domain-Driven Design, e das Técnicas Test-Driven Development e Behaviour-Driven Development no Desenvolvimento de Aplicações Web. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

19.
VINCENZI, A. M. R.; VALENTE, M. T. O.; LUCENA, F. N.. Participação em banca de Cláudio Antônio de Araújo. Uma Investigação da Correspondência entre Mutações e Avisos Relatados por Ferramenta de Análise Estática. 2015. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

20.
RODRIGUES, C. L.; ALVES, V. R.; VINCENZI, A. M. R.. Participação em banca de Leonardo da Silva Sousa. Uma Infraestrutura Baseada em Serviço para Evolução do Teste de Mutação Utilizando Tamanho Semântico do Mutante. 2014. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

21.
SOUZA, S. R. S.; VINCENZI, A. M. R.; SIMÃO, A. S.. Participação em banca de José Dario Pintor da Silva. Geração Automática de Dados de Teste para Programas Concorrentes com Meta-Heurística. 2014. Dissertação (Mestrado em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.

22.
RODRIGUES, C. L.; LEITAO JUNIOR, P. S.; MASSONI, T. L.; VINCENZI, A. M. R.. Participação em banca de Adailton Ferreira de Araújo. Um arcabouço para avaliação do nível de maturidade em teste de software para micro e pequenas empresas. 2013. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

23.
CAMILO JUNIOR, C. G.; MALDONADO, J. C.; VINCENZI, A. M. R.. Participação em banca de André Assis Lôbo de Oliveria. Abordagem Coevolucionária para Seleção de Casos de Testes e Mutantes no Contexto do Teste de Mutação. 2013. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

24.
SILVA, J. C.; SIQUEIRA, S. W. M.; VINCENZI, A. M. R.. Participação em banca de Elisabete Tomomi Kowata. Metadados de Banco de Dados Relacionais: Extração e Exposição com o Protocolo OAI-PMH. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

25.
Oliveira, J. L.; VINCENZI, A. M. R.; CONTE, T.. Participação em banca de Patrícia Gomes Fernandes. Cultura Organizacional com Apoio à Institucionalização de Processos de Software. 2010. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

26.
SIMÃO, A. S.; MASIERO, P. C.; VINCENZI, A. M. R.. Participação em banca de Jorge Francisco Cutigi. Uma Estratégia para Redução de Conjuntos de Sequências de Teste para Máquinas de Estados Finitos. 2010. Dissertação (Mestrado em Ciência da Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

27.
JINO, M.; VINCENZI, A. M. R.; RICARTE, I. L. M.. Participação em banca de Andrea Gonçalves Cabeça. Análise de Mutantes em Aplicaçõoes SQL de Banco de Dados. 2009. Dissertação (Mestrado em Mestrado em Engenharia Elétrica e de Computação) - Universidade Estadual de Campinas.

28.
VERGÍLIO, S. R.; VINCENZI, A. M. R.. Participação em banca de Lucilia Yoshie Araki. Um Algoritmo Evolutivo de Geração de Dados de Teste para Satisfazer Critérios Baseados em Código Objeto Java. 2009. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Paraná.

29.
VINCENZI, A. M. R.; LUCENA, F. N.; SPOTO, E. S.. Participação em banca de Gilcimar Divino de Deus. Avaliação de Técnicas de Teste para Dispositivos Móveis por Meio de Experimentação. 2009. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

30.
NAKAHARA, J. Jr; VINCENZI, A. M. R.; FREITAS, D. S.. Participação em banca de Samáris Ramiro Pereira Carfi. O Sistema Criptográfico de Chave Pública RSA. 2008. Dissertação (Mestrado em Informática) - Universidade Católica de Santos.

31.
TURINE, M. A. S.; VINCENZI, A. M. R.. Participação em banca de Eberson Omar Weschter. Arquitetura do Gerador de Aplicação Web Baseado no Framework Titan. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

32.
FABBRI, S. C. P. F.; SANCHES, R.; VINCENZI, A. M. R.. Participação em banca de Marcos Danilo Chiodi Martins. Geração de Pontos de Casos de Uso no Ambiente COCAR. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

33.
FABBRI, S. C. P. F.; SANCHES, R.; VINCENZI, A. M. R.. Participação em banca de André Di'Thomamazo. Gerenciamento de Requisitos no Ambiente COCAR. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

34.
SPOTO, E. S.; CAGNIN, M. I.; VINCENZI, A. M. R.. Participação em banca de Christiano Ferreira Silva. Proposta de uma Ferramenta de Apoio ao Desenvolvimento de Componentes Baseado em Casos de Usos e Regras de Negócios. 2006. Dissertação (Mestrado em Mestrado Em Ciência da Computação) - Centro Universitário Euripedes de Marília.

35.
VINCENZI, A. M. R.; DELAMARO, M. E.; FABBRI, S. C. P. F.. Participação em banca de Lucia Emi Shiraisi Sartori. Melhoria do Processo de Teste para Pequenas Empresas. 2005. Dissertação (Mestrado em Mestrado Em Ciência da Computação) - Centro Universitário Euripedes de Marília.

36.
DELAMARO, M. E.; VINCENZI, A. M. R.; SPOTO, E. S.. Participação em banca de Leonardo Souza Silva. Segurança em Código Móvel no Ambiente muCode. 2004. Dissertação (Mestrado em Ciência da Computação) - Centro Universitário Euripedes de Marília.

Teses de doutorado
1.
VINCENZI, A. M. R.; MURADAS, F. M.; ELEUTERIO, J. D. A. S.; TURINE, M. A. S.; JORGE, R. F.; FERREIRA, RONALDO A.; BORGES, V. A.. Participação em banca de Francisco José Silveira de Vasconcellos. A Theory of Decision-Making in Strategic Alignment of Software Process Improvement. 2018. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

2.
FABBRI, S. C. P. F.; VINCENZI, A. M. R.; FERRARI, F. C.; CONTE, TAYANA; KALINOWSKI, M.. Participação em banca de Fábio Roberto Octaviano. Scas-Fuzzy: Uma Estratégia Semiautomática para Seleção de Estudos Primários em Estudos Secundários. 2018. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de São Carlos.

3.
SIMÃO, A. S.; FORTES, R. P. M.; BRAGA, R. T. V.; VINCENZI, A. M. R.; CHAIM, M. L.. Participação em banca de Ricardo Ramos de Oliveira. Avaliação da Portabilidade Entre Fornecedores de Teste Como Serviço na Computação em Nuvem. 2017. Tese (Doutorado em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.

4.
VINCENZI, A. M. R.; FERRARI, F. C.; DIAS NETO, A. C.; RODRIGUES, C. L.; LEITAO JUNIOR, P. S.. Participação em banca de Eduardo Noronha de Andrade Freitas. SCOUT: A Novel Method for Selecting Components to Design Unit Testing Based on Multiobjective Real Context. 2016. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Goiás.

5.
VINCENZI, A. M. R.; OLIVEIRA, C. S.; JUBILEU, A. P.; CAMILO JUNIOR, C. G.; LEITAO JUNIOR, P. S.. Participação em banca de Rodrigo Funabashi Jorge. Estudo, Definição e Proposta de Representação de Interface Web Visando à Atividade de Teste de Software. 2016. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Goiás.

6.
MORANDIN JUNIOR, O.; VINCENZI, A. M. R.; MUNARI JUNIOR, P. A.; SANCHES, D. S.; CARVALHO, V. O.. Participação em banca de Vinícius Fernandes Caridá. Modelo Fuzzy Cascata Multiatributos, Preditivo e Bi-objetivo para Despacho de AGVS em FMS. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos.

7.
MOURA, H. P.; SILVA, F.; Oliveira, J. L.; VINCENZI, A. M. R.. Participação em banca de José Adson Oliveira Guedes da Cunha. A Substantive Theory of Decision-Making in Software Project Management. 2016. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

8.
GEROSA, M. A.; HIRATA JUNIOR, R.; VINCENZI, A. M. R.; VALENTE, M. T. O.; SANTOS JUNIOR, C. D.. Participação em banca de Igor Scaliante Wiese. Predição de mudanças conjuntas de artefatos de software com base em informações contextuais. 2016. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

9.
FABBRI, S. C. P. F.; CAURIN, G. A. P.; GIMENES, I. M. S.; VINCENZI, A. M. R.. Participação em banca de Erik Aceiro Antonio. RTSS: Uma Família de Técnicas de Leitura para Suporte à Inspeção de Modelos SYSML e SIMULINK. 2014. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de São Carlos.

Qualificações de Doutorado
1.
VINCENZI, A. M. R.; RIBEIRO, M. M.; SOUZA, S. R. S.. Participação em banca de Alessandro Viola Pizzoleto. Investigação de Estratégias para Redução de Custo do Teste de Mutação. 2017. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de São Carlos.

2.
DELAMARO, M. E.; FERRARI, F. C.; SOUZA, S. R. S.; VINCENZI, A. M. R.. Participação em banca de Delcio Nonato Araujo da Silva. Geração de Dados de Teste para Sistemas Adaptativos Usando Técnicas Baseadas em Busca. 2017. Exame de qualificação (Doutorando em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.

3.
SOUZA, S. R. S.; SIMÃO, A. S.; FORTES, R. P. M.; VINCENZI, A. M. R.. Participação em banca de Victor Hugo Santiago Costa Pinto. Teste de software em aplicações na nuvem: evidências empíricas sobre a efetividade, custo e aplicabilidade. 2016. Exame de qualificação (Doutorando em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.

4.
VINCENZI, A. M. R.; CAMILO JUNIOR, C. G.; CHAIM, M. L.; RODRIGUES, C. L.. Participação em banca de André Assis Lôbo de Oliveria. Applying Mutation Analysis in Fault Localization Problem. 2016. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Universidade Federal de Goiás.

5.
VINCENZI, A. M. R.; FERRARI, F. C.; FALBO, R. A.. Participação em banca de Fábio Roberto Octaviano. SCAS: Uma Estratégia Semiautomática para Seleção de Estudos Primários em Estudos Secundários. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de São Carlos.

6.
PAIVA, F. F.; VINCENZI, A. M. R.; TRAVIESO, G.. Participação em banca de Daniel Cosmo Pizetta. PyMR - um framework para programação de sistemas de ressonância magnética. 2016. Exame de qualificação (Doutorando em Doutorado em Fisica Aplicada - Instituto de Física de São Carlos/USP/SÃO CA) - Universidade de São Paulo.

7.
VINCENZI, A. M. R.; HORA, A. C.; CAFEO, B. B. P.. Participação em banca de Francisco José Silveira Vasconcellos. Alinhamento Estratégico de Melhoria de Processos de Software - Uma Teoria Substantiva. 2016. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

8.
VINCENZI, A. M. R.; MALDONADO, J. C.; CAMILO JUNIOR, C. G.. Participação em banca de Kenyo Abadio Crosara Faria. Uma Contribuição à Predição de Defeitos em Artefatos de Código para Minimização de Esforço no Processo de Testes de Software. 2016. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Universidade Federal de Goiás.

9.
VINCENZI, A. M. R.; DIAS NETO, A. C.; RODRIGUES, C. L.; NASCIMENTO, H.A.D.. Participação em banca de Marllos Paiva Prado. Estudo, Definição e Implementação de Técnicas de Visualização para Compreensão de Software e Apoio ao Teste. 2014. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Universidade Federal de Goiás.

10.
DIAS NETO, A. C.; VINCENZI, A. M. R.; BARRETO, R. S.. Participação em banca de Clayton Barreto Rodrigues. Framework de Apoio à Aplicação de Automatização de Teste de Software. 2014. Exame de qualificação (Doutorando em Doutorado em Informática) - Universidade Federal do Amazonas.

11.
VINCENZI, A. M. R.; CAMILO JUNIOR, C. G.; LEITAO JUNIOR, P. S.; CHAIM, M. L.. Participação em banca de Rodrigo Funabashi Jorge. Estudo, Definição e Implementação de Técnicas para Geração de Dados de Teste a partir de GUI. 2013. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Universidade Federal de Goiás.

12.
VINCENZI, A. M. R.; DIAS NETO, A. C.; LEITAO JUNIOR, P. S.; RODRIGUES, C. L.. Participação em banca de Eduardo Noronha de Andrade e Freitas. Arcabouço para Priorização de Artefatos de Testes Unitários Baseado em Abordagem Evolucionária Multiobjetiva. 2013. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Universidade Federal de Goiás.

Qualificações de Mestrado
1.
LUCREDIO, D.; VINCENZI, A. M. R.; RODRIGUES, E. M.. Participação em banca de Alex Malmann Becker. O Impacto do Uso de Micro Serviços na Evolução de uma Linha de Produto de Software. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.

2.
FERRARI, F. C.; VINCENZI, A. M. R.; ELER, M. M.. Participação em banca de Lucas Diniz Dallilo. Investigação de Similaridade entre Programas para Apoiar o Teste de Mutação. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.

3.
VINCENZI, A. M. R.; DELAMARO, M. E.; JORGE, R. F.. Participação em banca de Vinícius Barcelos Silva. Reduzindo o Custo do Teste de Mutação com Base em Informações de Análise Estática. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.

4.
FABBRI, S. C. P. F.; VINCENZI, A. M. R.; FERRARI, F. C.. Participação em banca de Rodrigo Ramos. Uma Proposta para Determinar a Rastreabilidade entre Requisitos de Teste. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.

5.
OLIVEIRA, H. C.; VINCENZI, A. M. R.; GARCIA, R. E.. Participação em banca de Fernando Aparecido Nogueira. Levantamento de requisitos de software utilizando modelos de processos de negócio. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Estadual Paulista Júlio de Mesquita Filho.

6.
BEDER, D. M.; LUCREDIO, D.; VINCENZI, A. M. R.. Participação em banca de Fernanda Zampieri Canaver. Uma API para sincronização de dados baseada em microserviços, para o suporte ao desenvolvimento de aplicação multiplataforma offline. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.

7.
RODRIGUES, C. L.; CAMILO-JUNIOR, C. G.; VINCENZI, A. M. R.. Participação em banca de Ludmila Irineu Toledo. Seleção de Dados de Teste de Aplicação de Banco de Dados usando Análise de Mutantes. 2016. Exame de qualificação (Mestrando em Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

8.
CAMILO-JUNIOR, C. G.; RODRIGUES, C. L.; VINCENZI, A. M. R.. Participação em banca de Jailton Alkimin Louzada. FreeTest 2.0 - Uma Melhoria no Framework de Apoio ao Processo de Teste de Software para Micro, Pequenas Empresas e Startups. 2016. Exame de qualificação (Mestrando em Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

9.
CAMARGO, V. V.; LUCREDIO, D.; VINCENZI, A. M. R.. Participação em banca de Bruno César Gasparini. Visualização de Não-Conformidades Arquiteturais em UML no Contexto de ADM. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.

10.
FABBRI, S. C. P. F.; VINCENZI, A. M. R.; LUCREDIO, D.. Participação em banca de Gabriel Giovannini Malimpensa. Uma Proposta de Abordagem para a Priorização de Casos de Teste no Contexto de Testes de Regressão. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.

11.
BEDER, D. M.; VINCENZI, A. M. R.; SANTOS, M. T. P.. Participação em banca de Erick Vansim Previato. Metodologias de Desenvolvimento de Jogos Eletrônicos: Um Estudo Comparativo. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.

12.
CHAIM, M. L.; VINCENZI, AURI M.R.; ELER, M.. Participação em banca de Henrique Lemos Ribeiro. On the use of control- and data-flow in fault localization. 2015. Exame de qualificação (Mestrando em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo.

13.
DIAS NETO, A. C.; VINCENZI, A. M. R.; CORDEIRO, L. C.. Participação em banca de Jonathas Silva dos Santos. Teste de Mutação para Aplicações Móveis - Uma Abordagem na Plataforma Android. 2015. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Amazonas.

14.
DIAS NETO, A. C.; FEITOSA, E.; VINCENZI, A. M. R.. Participação em banca de Isabel Karina Villanes Rojas. Automação de Testes para Aplicações Móveis como Serviço. 2015. Exame de qualificação (Mestrando em Mestrado em Informática) - Universidade Federal do Amazonas.

15.
SOUZA, S. R. S.; VINCENZI, A. M. R.; MALDONADO, J. C.. Participação em banca de Ricardo Ferreira Vilela. Avaliação Experimental de Abordagens para a Geração Automática de Dados de Teste para Programas Concorrentes. 2015. Exame de qualificação (Mestrando em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

16.
FABBRI, S. C. P. F.; FERRARI, F. C.; VINCENZI, A. M. R.. Participação em banca de Cleiton Rodrigo Queiroz Silva. Estratégias para Aplicação de Snowballing em Estudos Secundários em Engenharia de Software. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.

17.
DIAS NETO, A. C.; VINCENZI, A. M. R.; BARRETO, R. S.. Participação em banca de Silvia Regina Assis Meireles. Customização do Framework GUITAR para Geração Automática de Casos de Teste de Interface para Aplicações Web. 2014. Exame de qualificação (Mestrando em Mestrado em Informática) - Universidade Federal do Amazonas.

18.
SOUZA, S. R. S.; MALDONADO, J. C.; VINCENZI, A. M. R.. Participação em banca de Ricardo Fontao Verhaeg. Estudo e Implementação de Técnicas para Redução de Esforço na Atividade de Teste no Contexto de Métodos Ágeis. 2014. Exame de qualificação (Mestrando em Mestrado em Ciências da Computação) - Instituto de Ciências Matemáticas e de Computação.

19.
SOUZA, S. R. S.; SIMÃO, A. S.; VINCENZI, A. M. R.. Participação em banca de José Dário Pintor da Silva. Geração automática de dados de teste para programas concorrentes. 2013. Exame de qualificação (Mestrando em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.

Monografias de cursos de aperfeiçoamento/especialização
1.
VINCENZI, A. M. R.; SPOTO, E. S.. Participação em banca de André R C. Borges, Bruno G. Bernardes e Gil C. C. Gonçalves. Sincronizando o Oracle Dabatase Mobile Server com uma Aplicação Móvel. 2013. Monografia (Aperfeiçoamento/Especialização em Bando de Dados) - Universidade Federal de Goiás.

2.
VINCENZI, A. M. R.; LUCENA, F. N.. Participação em banca de Hugo Eduardo Ramos dos Santos; Lindiomar Vieira Patrício. Proposta de Melhoria da Estratégia, Planejamento e Automatização dos Processos de Testes de Software para Aplicações Web - Um Estudo de Caso: Fábrica de Software Politec Ltda - Unidade Goiânia. 2006. Monografia (Aperfeiçoamento/Especialização em Análise e Projeto de Sistemas de Informação) - Universidade Federal de Goiás.

3.
LUCENA, F. N.; VINCENZI, A. M. R.. Participação em banca de Wedson Quintanilha da Silva. Análise e Projeto de Software Orientado a Objetos: SCE-Sistema de Comércio Eletrônico. 2006. Monografia (Aperfeiçoamento/Especialização em Análise e Projeto de Sistemas de Informação) - Universidade Federal de Goiás.

4.
LUCENA, F. N.; VINCENZI, A. M. R.. Participação em banca de Caroline de Oliveira Gondin; Daiane Hack; Raquel Almeida de. Especificação de Requisitos de Software do SISPG. 2006. Monografia (Aperfeiçoamento/Especialização em Análise e Projeto de Sistemas de Informação) - Universidade Federal de Goiás.

5.
LUCENA, F. N.; VINCENZI, A. M. R.. Participação em banca de Bruno R. M. Vinhal; Keila S. Silva; Walmer A. S. dos Santos. Requerimento: Implementação de um Componente do SISPG. 2006. Monografia (Aperfeiçoamento/Especialização em Análise e Projeto de Sistemas de Informação) - Universidade Federal de Goiás.

6.
LUCENA, F. N.; VINCENZI, A. M. R.. Participação em banca de Paulo H. R. Faleiros; Pollyana M. R. Barbosa. Implementação de um Sistema de Gerenciamento de Informações Acerda de Pessoas Físicas e Jurídicas. 2006. Monografia (Aperfeiçoamento/Especialização em Análise e Projeto de Sistemas de Informação) - Universidade Federal de Goiás.

7.
LUCENA, F. N.; VINCENZI, A. M. R.. Participação em banca de Sylvio Mendonça Júnior. Projeto Dirigido pelo Domínio. 2006. Monografia (Aperfeiçoamento/Especialização em Análise e Projeto de Sistemas de Informação) - Universidade Federal de Goiás.

Trabalhos de conclusão de curso de graduação
1.
VINCENZI, A. M. R.; ABIB, S.; LUCREDIO, D.. Participação em banca de Jhosefer França Pereira.Avaliação Estrutural de Arquitetura de Software Utilizando Métricas de Software Estáticas. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de São Carlos.

2.
PEREIRA, S. G. M.; TRINDADE, C. C.; VINCENZI, A. M. R.. Participação em banca de Rodrigo Domingues Ramos; Ricardo da Silva Sampaio.Utilização de Métricas para a Priorização no Teste de Software. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Católica de Santos.

3.
PEREIRA, S. G. M.; TRINDADE, C. C.; VINCENZI, A. M. R.. Participação em banca de Vanessa Tamashiro Fernandes.Análise Comparativa de Ferramentas de Automatização de Testes de Código Livre para Aplicativos WEB. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Católica de Santos.

4.
PEREIRA, S. G. M.; MACEDO, F. C.; VINCENZI, A. M. R.. Participação em banca de Suelen Santos da Silveira; Vanessa Matos de Matos.Teste de Aplicações com Banco de Dados Utilizando o Framework DBUnit. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Católica de Santos.

5.
PEREIRA, S. G. M.; VINCENZI, A. M. R.; MACEDO, F. C.. Participação em banca de Felipe Villa Cunha; Mileny Carvalho da Cunha.A Utilização da Metodologia XP na Melhoria de Processos de Teste. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Católica de Santos.

6.
MACEDO, F. C.; VINCENZI, A. M. R.; TRINDADE, C. C.. Participação em banca de Thiago Menezes.Qualidade de Software e Metodologias Ágeis - SCRUM. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Católica de Santos.

7.
VINCENZI, A. M. R.; SPOTO, E. S.. Participação em banca de Maurício Giacomini Penteado.Uso de Padrão de Processo Ágil no Desenvolvimento de Aplicação. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário Euripedes de Marília.

8.
VINCENZI, A. M. R.. Participação em banca de Renato Bueno de Camargo.Estudo e Desenvolvimento de uma Aplicação para Dispositivos Portáteis Utilizando J2ME. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário Euripedes de Marília.

9.
VINCENZI, A. M. R.. Participação em banca de Éder Fabrício Ernandes.EFPR -Um Sistema Embutido Fingerprint Reconfigurável. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário Euripedes de Marília.

10.
VINCENZI, A. M. R.; MARQUES, F. L. dos S. N.. Participação em banca de Rafael Takatu.Estudo e Implementação de Visualização de Informação para Sistemas de Informação. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário Euripedes de Marília.

11.
VINCENZI, A. M. R.. Participação em banca de Daniel dos Santos Silva.Implementação de Algoritmos para Reconhecimento de Assinaturas. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário Euripedes de Marília.

12.
SPOTO, E. S.; VINCENZI, A. M. R.. Participação em banca de Luiz Henrique da Ponte Matos.Teste e Avaliação de Desempenho em Banco Open Source Usando Kylix. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário Euripedes de Marília.

13.
VINCENZI, A. M. R.; SPOTO, E. S.. Participação em banca de Oscar Branco Denis.Análise e Implementação de Recursos de Visualização de Programas Orientados a Objetos. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário Euripedes de Marília.

14.
VINCENZI, A. M. R.; MONARD, M. C.. Participação em banca de Luís Manoel Silveira de Andrade.Desenvolvimento, Qualidade e Teste de Software. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação.



Participação em bancas de comissões julgadoras
Concurso público
1.
LUCREDIO, D.; VINCENZI, A. M. R.; FERNANDES, H. C.; GARCIA, I. C.; PONTI, M. A.. Banca Examinadora do Concurso Público de Provas e Títulos - Edital 028/2017 - DC/UFSCar. 2017. Universidade Federal de São Carlos.

2.
VINCENZI, A. M. R.; PISTORI, J.; TURINE, M. A. S.. Banca Examinadora de Concurso Público para Ingresso na Carreira do Magistério Superior. 2015. Universidade Federal de Mato Grosso do Sul.

3.
VINCENZI, A. M. R.; CHAIM, M. L.; SPOTO, E. S.. Banca Examinadora de Concurso para Professor do Magistério Superior da Universidade Federal de Goiás. 2013. Universidade Federal de Goiás.

4.
Oliveira, J. L.; VINCENZI, A. M. R.; DELAMARO, M. E.. Banca Examinadora de Concurso para Professor Adjunto da Universidade Federal de Goiás. 2010. Universidade Federal de Goiás.

5.
LEITAO JUNIOR, P. S.; VINCENZI, A. M. R.; LIMA, F.. Banca Examinadora de Concurso para Professor Assitente da Universidade Federal de Goiás. 2009. Universidade Federal de Goiás.

6.
Oliveira, J. L.; VINCENZI, A. M. R.; DELAMARO, M. E.. Banca Examinadora de Concurso para Professor Adjunto da Universidade Federal de Goiás. 2009. Universidade Federal de Goiás.

7.
LEITAO JUNIOR, P. S.; VINCENZI, A. M. R.; LIMA, F.. Banca Examinadora de Concurso para Professor Adjunto da Universidade Federal de Goiás. 2009. Universidade Federal de Goiás.

8.
Oliveira, J. L.; VINCENZI, A. M. R.; DELAMARO, M. E.. Banca Examinadora de Concurso para Professor Adjunto da Universidade Federal de Goiás. 2009. Universidade Federal de Goiás.

Outras participações
1.
VINCENZI, A. M. R.. Parecerista Ad-hoc de Projetos de Iniciação Científica Tecnológica da UFSCar. 2016. Universidade Federal de São Carlos.

2.
VINCENZI, A. M. R.; CACERES, E. N.; ZEFERINO, C. A.; AMO, S. A.. Membro da Comissão da da área de Ciência da Computação do Prêmio CAPES de Tese - Edição 2013. 2013. Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
IV Semana de Engenharia e Tecnologia do IFG.Estratégia de Teste Incremental Cobrindo Testes Funcionais, Estruturais e de Mutação. 2017. (Outra).

2.
Integração dos Novos Servidores. 2015. (Outra).

3.
Intel IoT Roadshow. 2015. (Outra).

4.
IX Workshop on Systematic and Automated Software Testing.Aplicação de Propriedades de Weyuker, Parrish e Zweben a Critérios de Adequação. 2015. (Oficina).

5.
Seminários em Computação.Teste de Software e Automatização. 2015. (Seminário).

6.
V Workshop de Engenharia de Software.FreeTest - Implantando Processos de Teste. 2015. (Oficina).

7.
Escola Avançada de Teste de Software.Geração de Dados de Teste. 2014. (Encontro).

8.
International Conference WWW/Internet 2013. A Prototype for Querying Heterogeneous Data Source on the Web. 2013. (Congresso).

9.
IV Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2013. 2013. (Congresso).

10.
IV Workshop de Engenharia de Software.Teste de Software. 2013. (Oficina).

11.
VIII International Conference on Software Engineering Advances. The Use of Experimentation Packages for Evaluating the Quality of Mobile Software Products. 2013. (Congresso).

12.
VIII International Conference on Software Engineering Advances. Characterization of Techniques and Tools of Visualization Applied to Software Comprehension: A Systematic Mapping. 2013. (Congresso).

13.
VIII International Conference on Software Engineering Advances. Functional Software Testing: A Systematic Mapping Study. 2013. (Congresso).

14.
VIII International Conference on Software Engineering Advances. Static Analysis Techniques and Tools: A Systematic Mapping Study. 2013. (Congresso).

15.
VIII International Conference on Software Engineering Advances. How Exception Handling Constructions are Tested: An Initial Investigation with Open Source Software. 2013. (Congresso).

16.
II Encontro de Propriedade Intelectual e Industria na Graduação da UFG. 2009. (Encontro).

17.
Escola Regional de Informática do Centro-Oeste - ERI-CO'2008. 2008. (Outra).

18.
Fórum de Educação em Engenharia de Software.Bacharelado em Engenharia de Software na Universidade Federal de Goiás. 2008. (Outra).

19.
II Brazilian Workshop on Systematic and Automated Software Testing. 2008. (Outra).

20.
VIII Jornada Goiana em Engenharia de Software. 2008. (Outra).

21.
XXII Simpósio Brasileiro de Engenharia de Software. 2008. (Simpósio).

22.
Encontro de Tecnologia e Informática - ETI'2007.Estado da Prática em Teste de Software. 2007. (Encontro).

23.
I Brazilian Workshop on Systematic and Automated Software Testing - SAST'2007. 2007. (Outra).

24.
III Encontro do Centro de Ciências Exatas e Tecnológicas - EXATEC'2007.Estado da Prática em Teste de Software. 2007. (Encontro).

25.
II Pernambuco School on Software Engineering.Functional, Control and Data Flow, and Mutation Testing: Theory and Practice. 2007. (Outra).

26.
IV Experimental Software Engineering Latin America Workshop - ESELAW'2007. 2007. (Outra).

27.
Seminários de Computação do ICMC/USP.Estado da Prática em Teste de Software. 2007. (Seminário).

28.
Summes School on Advanced Techniques in Software Development.Introducion to Software Testing. 2007. (Outra).

29.
XIV Sessão de Ferramentas do XXI Simpósio Brasileiro de Engenharia de Software. 2007. (Outra).

30.
XXII Congresso Internacional de Educação Física ? FIEP?2007. 2007. (Congresso).

31.
XXI Simpósio Brasileiro de Engenharia de Software.Static Analysis of Java Bytecode for Domain-specific Software Testing. 2007. (Simpósio).

32.
First International Workshop on Automation of Software Test (AST'06). First International Workshop on Automation of Software Test (AST'06). 2006. (Congresso).

33.
I Workshop de Qualidade no Teste.Teste de Software: Teoria e Prática. 2006. (Outra).

34.
Encontro de Tecnologia e Informática - ETI'2005. 2005. (Encontro).

35.
Feira do Empreendedor do SEBRAE-GO.Qualidade no Processo de Produção de Software. 2005. (Outra).

36.
Festival Latino Americano de Instalação de Software Livre -- FLISOL'2005. 2005. (Outra).

37.
II Congresso de Pesquisa, Ensino e Extensão da UFG - CONPEEX'2005. 2005. (Congresso).

38.
VI Reunião do SPIN-GO.Introdução ao Teste de Software. 2005. (Outra).

39.
The 2004 ACM-International Collegiate Programming Contest. 2004. (Outra).

40.
VI Workshop de Teses e Dissertações em Andamento.Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação. 2001. (Outra).

41.
XV Simpósio Brasileiro de Engenharia de Software - SBES'2005.Mutant Operators for Testing Concurrent Java Programs. 2001. (Simpósio).

42.
IV Semana da Computação. 2000. (Outra).

43.
IV Simpósio de Teses e Dissertações Defendidas.Subsídio para o Estabelecimento de Estratégias de Teste Baseadas na Técnica de Mutação. 1999. (Simpósio).

44.
XIII Simpósio Brasileiro de Engenharia de Software - SBES'1999.Operadores Essenciais de Interface: Um Estudo de Caso. 1999. (Simpósio).

45.
III Workshop de Teses e Dissertações em Andamento.Subsídios para o Estabelecimento de Estratégias de Teste Baseadas na Técnica de Mutação. 1998. (Simpósio).

46.
II Semana da Computação. 1998. (Outra).

47.
XII Simpósio Brasileiro de Engenharia de Software - SBES'1998. 1998. (Simpósio).

48.
II Simpósio de Teses e Dissertações. 1997. (Simpósio).

49.
Workshop do Projeto Validação e Teste de Sistemas de Operação - WPVTSO'1997.Critério Análise de Mutantes: Estado Atual e Perspectivas. 1997. (Outra).

50.
X Simpósio Brasileiro de Engenharia de Software - SBES'1996. 1996. (Simpósio).

51.
II Encontro Interuniversitário de Informática do Paraná. 1994. (Encontro).

52.
VI Semana de Informática. 1994. (Outra).

53.
I Simpósio Brasileiro de Automação Inteligente. 1993. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
VINCENZI, A. M. R.. Trilha da Indústria (Industry Track) do VII Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2016. 2016. (Congresso).

2.
SOUZA, S. R. S. ; VINCENZI, A. M. R. . IX Workshop on Systematic and Automated Software Testing - SAST'2015 do do VI Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2015. 2015. (Congresso).

3.
VINCENZI, A. M. R.; CAMILO JUNIOR, C. G. . V Workshop de Engenharia de Software Baseada em Busca - WESB'2014 do V Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2014. 2014. (Congresso).

4.
VINCENZI, A. M. R.. XXVII Simpósio Brasileiro de Engenharia de Software - SBES'2013. 2013. (Congresso).

5.
VINCENZI, A. M. R.; DE OLIVEIRA, J. P. M. ; SPINOSA, E. J. . Workshop sobre Educação em Computação - WEI. 2012. (Congresso).

6.
VINCENZI, A. M. R.; MALDONADO, J. C. . Trilha Especial do SBES'2012 - Grandes desafios da Engenharia de Software/Sistema. 2012. (Congresso).

7.
VINCENZI, A. M. R.; FEITOSA, M. D. ; DA COSTA, U. S. . Workshop sobre Educação em Computação - WEI. 2011. (Congresso).

8.
FABBRI, S. C. P. F. ; VINCENZI, A. M. R. . VI Experimental Software Engineering Latin America Workshop. 2009. (Congresso).

9.
LEITAO JUNIOR, P. S. ; VINCENZI, A. M. R. . Escola Regional de Informática - Centro-Oeste - ERI-CO'2008. 2008. (Outro).

10.
VINCENZI, A. M. R.. II Brazilian Workshop on Systematic and Automated Software Testing - SAST'2008. 2008. (Outro).

11.
VINCENZI, A. M. R.. Sessão de Ferramentas do IV Experimental Software Engineering Latin America Workshop. 2007. (Congresso).

12.
VINCENZI, A. M. R.. Sessão de Ferramentas do XXI Simpósio Brasileiro de Engenharia de Software. 2007. (Congresso).

13.
VINCENZI, A. M. R.. Encontro de Tecnologia e Informática - ETI'2006. 2006. (Outro).

14.
VINCENZI, A. M. R.. Encontro de Tecnologia e Informática - ETI'2005. 2005. (Outro).

15.
VINCENZI, A. M. R.. Festival Latino Americano de Instalação de Software Livre -- FLISOL'2005. 2005. (Festival).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Pedro Henrique Kuroishi. Detecção de Mutantes Equivalentes via Análise Estática Automatizada: Vantagens e Desvantagens. Início: 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Coorientador).

2.
Anderson Luiz de Souza. Comparação de Atividades de Garantia da Qualidade: Estudo Experimental via Web. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos. (Orientador).

3.
Filipe Santos Araujo. Geração Automática de Dados de Teste para Mutantes em Arcos Primitivos. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

4.
Vinícius Barcelos Silva. Um Arcabouço para Avaliação de Qualidade de Ferramentas de Analise Estática: Estudo de Caso para Programas C e Java. Início: 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Tese de doutorado
1.
Taciana Novo Kudo. Rastreabilidade entre Padrões de Requisitos, Padrões de Projeto e Padrões de Teste de Software. Início: 2018. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Coorientador).

2.
Luiz Cavamura. Impacto do Uso de Perfil Operacional em Atividades de Engenharia de Software. Início: 2018. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Coorientador).

3.
Kenyo Abadio Crosara Faria. Uma Contribuição à Predição de Defeitos em Artefatos de Código para Minimização de Esforço no Processo de Testes de Software. Início: 2014. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Goiás. (Orientador).

4.
André Assis Lôbo de Oliveria. Applying Mutation Analysis in Fault Localization Problem. Início: 2014. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Goiás. (Coorientador).

Orientações de outra natureza
1.
José Fernando Garcia Junior. Estagio Orientado em Automatização de Teste de Software. Início: 2016. Orientação de outra natureza. Universidade Federal de São Carlos. (Orientador).

2.
Eduardo Fernando Stenico. Estagio Orientado em Teste de Software em Sistemas de Telecomunicações. Início: 2016. Orientação de outra natureza. Universidade Federal de São Carlos. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Vinícius Vieira Pessoni. Pesquisa e Aplicação de Método de Medição do Desenvolvimento Cognitivo de Discentes de Cursos de Computação. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, . Coorientador: Auri Marcelo Rizzo Vincenzi.

2.
Daniel Gomes de Oliveira. Estudo Exploratório sobre Ferramentas de Geração Automática de Dados de Teste para Programas Java. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, . Orientador: Auri Marcelo Rizzo Vincenzi.

3.
Cláudio Antônio de Araújo. Uma Investigação da Correspondência entre Mutações e Avisos Relatados por Ferramenta de Análise Estática. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, . Orientador: Auri Marcelo Rizzo Vincenzi.

4.
Igor Rodrigues Vieira. Avaliando a Dívida Técnica em Produtos de Código Aberto por meio de Estudos Experimentais. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, . Orientador: Auri Marcelo Rizzo Vincenzi.

5.
Vinícius Rafael Lobo de Mendonça. Estudo, Definição e Implementação de um Sistema de Recomendação para Priorizar Avisos Gerados por Ferramentas de Análise Estática. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Auri Marcelo Rizzo Vincenzi.

6.
Adailton Ferreira de Araújo. Um arcabouço para avaliação do nível de maturidade em teste de software para micro e pequenas empresas. 2013. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Goiás, Fundação de Amparo à Pesquisa do Estado de Goiás. Coorientador: Auri Marcelo Rizzo Vincenzi.

7.
Jacson Rodrigues Barbosa. Estudo e Definição de uma Metodologia de Teste de Software no Contexto de Sistemas Embarcados Críticos. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, Fundação de Amparo à Pesquisa do Estado de Goiás. Orientador: Auri Marcelo Rizzo Vincenzi.

8.
Adriana Rocha Vidal. Teste Funcional Sistemático Estendido: Uma Contribuição na Aplicação de Critérios de Teste Caixa-Preta. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, . Orientador: Auri Marcelo Rizzo Vincenzi.

9.
André Mesquita Rincon. Qualidade de Conjuntos de Teste de Software de Código Aberto: Uma Análise Baseada em Critérios Estruturais. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, . Orientador: Auri Marcelo Rizzo Vincenzi.

10.
Gilcimar Divino de Deus. Teste Estrutural de Aplicações para Dispositivos Móveis: Estudo de Caso com Aplicações J2ME. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, . Orientador: Auri Marcelo Rizzo Vincenzi.

11.
Lucia Emi Shiraiasi Sartori. Melhoria do Processo de Teste para Pequenas Empresas. 2005. 176 f. Dissertação (Mestrado em Mestrado Em Ciência da Computação) - Centro Universitário Euripedes de Marília, . Orientador: Auri Marcelo Rizzo Vincenzi.

Tese de doutorado
1.
Marllos Paiva Prado. Contribuições ao Suporte Cognitivo em Teste de Software Unitário: Um Framework de Tarefas e uma Agenda de Pesquisa. 2018. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Goiás, Fundação de Amparo a Pesquisa do Estado de Goiás. Orientador: Auri Marcelo Rizzo Vincenzi.

2.
Francisco José Silveira de Vasconcelos. A Theory of Decision-Making in Strategic Alignment of Software Process Improvement. 2018. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Auri Marcelo Rizzo Vincenzi.

3.
Eduardo Noronha de Andrade Freitas. SCOUT: A Multi-objective Method to Select Components in Designing Unit Testing. 2016. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Goiás, . Orientador: Auri Marcelo Rizzo Vincenzi.

4.
Rodrigo Funabashi Jorge. Estudo, Definição e Implementação de Técnicas para a Geração de Dados de Teste a partir de GUI. 2016. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Fundação de Apoio e Desenvolvimento do Ensino, Ciência e Tecnologia do MS. Orientador: Auri Marcelo Rizzo Vincenzi.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Hugo Eduardo Ramos dos Santos. Proposta de Melhoria da Estratégia, Planejamento e Automatização dos Processos de Testes de Software para Aplicações Web - Um Estudo de Caso: Fábrica de Software Politec Ltda - Unidade Goiânia. 2006. 0 f. Monografia. (Aperfeiçoamento/Especialização em Análise e Projeto de Sistemas de Informação) - Universidade Federal de Goiás. Orientador: Auri Marcelo Rizzo Vincenzi.

2.
Lindiomar Vieira Patrício. Proposta de Melhoria da Estratégia, Planejamento e Automatização dos Processos de Testes de Software para Aplicações Web - Um Estudo de Caso: Fábrica de Software Politec Ltda - Unidade Goiânia. 2006. 0 f. Monografia. (Aperfeiçoamento/Especialização em Análise e Projeto de Sistemas de Informação) - Universidade Federal de Goiás. Orientador: Auri Marcelo Rizzo Vincenzi.

Trabalho de conclusão de curso de graduação
1.
Rodrigo Domingues Ramos; Ricardo da Silva Sampaio. Utilização de Métricas para a Priorização no Teste de Software. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Católica de Santos. Orientador: Auri Marcelo Rizzo Vincenzi.

2.
Vanessa Tamashiro Fernandes. Análise Comparativa de Ferramentas de Automatização de Testes de Código Livre para Aplicativos WEB. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Católica de Santos. Orientador: Auri Marcelo Rizzo Vincenzi.

3.
Suelen Santos da Silveira; Vanessa Matos de Matos. Teste de Aplicações com Banco de Dados Utilizando o Framework DBUnit. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Católica de Santos. Orientador: Auri Marcelo Rizzo Vincenzi.

4.
Felipe Villa Cunha; Mileny Carvalho da Cunha. A Utilização da Metodologia XP na Melhoria de Processos de Teste. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Católica de Santos. Orientador: Auri Marcelo Rizzo Vincenzi.

5.
Marllos Paiva Prado. Testando Ferramentas de Testes: Um Estudo de Caso com a Ferramenta JaBUTi. 2006. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Goiás. Orientador: Auri Marcelo Rizzo Vincenzi.

6.
Marllos Paiva Prado. Testando Ferramentas de Testes: Um Estudo de Caso com a Ferramenta JaBUTi. 2006. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Goiás. Orientador: Auri Marcelo Rizzo Vincenzi.

7.
Adriana Rocha. Documentação de Testes Visando Geração Automática de Dados de Testes. 2005. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Goiás. Orientador: Auri Marcelo Rizzo Vincenzi.

8.
Eduardo Morais Silva. Impacto do Uso de Obfuscador na Atividade de Teste de Software: Um Estudo de Caso com Programas Java. 2005. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Goiás. Orientador: Auri Marcelo Rizzo Vincenzi.

9.
Flávio Lúcio Pereira. Avaliação do Teste Funcional Sistemático versus Teste Estrutural no Contexto de Programas Orientado a Objetos. 2005. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Goiás. Orientador: Auri Marcelo Rizzo Vincenzi.

10.
Jorge Augusto de Sousa. Avaliação do Teste Funcional Sistemático em Programas Procedimentais. 2005. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Goiás. Orientador: Auri Marcelo Rizzo Vincenzi.

11.
Jacson Rodrigues Barbosa. Análise do Modelo TMM no Contexto do MPS.Br. 2005. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Goiás. Orientador: Auri Marcelo Rizzo Vincenzi.

12.
Maurício Giacomini Penteado. Uso de padrão de processo ágil no desenvolvimento de aplicação. 2004. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Centro Universitário Euripedes de Marília. Orientador: Auri Marcelo Rizzo Vincenzi.

13.
Oscar Branco Denis. Análise e Implementação de Recursos de Visualização de Programas. 2004. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Centro Universitário Euripedes de Marília. Orientador: Auri Marcelo Rizzo Vincenzi.

Iniciação científica
1.
Flávio Lúcio Pereira. Avaliação do Teste Funcional Sistemático versus Teste Estrutural no Contexto de Programas Orientado a Objetos. 2005. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Auri Marcelo Rizzo Vincenzi.

2.
Jorge Augusto de Sousa. Avaliação do Teste Funcional Sistemático em Programas Procedimentais. 2005. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Auri Marcelo Rizzo Vincenzi.

Orientações de outra natureza
1.
José Fernando Garcia Junior. Estagio Orientado em Automatização de Teste de Software. 2016. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de São Carlos. Orientador: Auri Marcelo Rizzo Vincenzi.

2.
Eduardo Fernando Stenico. Estagio Orientado em Teste de Software em Sistemas de Telecomunicações. 2016. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de São Carlos. Orientador: Auri Marcelo Rizzo Vincenzi.

3.
Lenon Tejeda Estrella Camargo. Estagio Orientado em Desenvolvimento Web. 2015. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de São Carlos. Orientador: Auri Marcelo Rizzo Vincenzi.

4.
Adriana Rocha. Desenvolver Metodologia para Testes de Homologação De Software. 2005. 0 f. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Auri Marcelo Rizzo Vincenzi.

5.
Isabel Lacordaire Ribeiro. Desenvolvimento de Metodologia para aProdução de Manual do Usuário. 2005. 0 f. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Auri Marcelo Rizzo Vincenzi.



Inovação



Programa de computador sem registro
1.
VINCENZI, A. M. R.; DELAMARO, M. E. ; WONG, W. E. ; MALDONADO, J. C. . JaBUTi: Java Bytecode Understanding and Testing. 2004.

2.
FREITAS, E. N. A. ; FARIA, K. A. C. ; CAMILO JUNIOR, C. G. ; VINCENZI, A. M. R. . Android Mirror Tool (AMT). 2016.


Processos ou técnicas
1.


Projetos de pesquisa

Projeto de desenvolvimento tecnológico


Educação e Popularização de C & T



Programa de Computador sem registro de patente
1.
FREITAS, E. N. A. ; FARIA, K. A. C. ; CAMILO JUNIOR, C. G. ; VINCENZI, A. M. R. . Android Mirror Tool (AMT). 2016.

2.
VINCENZI, A. M. R.; DELAMARO, M. E. ; WONG, W. E. ; MALDONADO, J. C. . JaBUTi: Java Bytecode Understanding and Testing. 2004.


Cursos de curta duração ministrados
1.
VINCENZI, A. M. R.; DELAMARO, M. E. ; MALDONADO, J. C. . Automatização de teste de software com ênfase em teste de sistema. 2015. (Curso de curta duração ministrado/Extensão).

2.
VINCENZI, A. M. R.. Geração de Dados de Teste. 2014. .

3.
VINCENZI, A. M. R.. FreeTest - Implantando Processos de Teste. 2015. (Curso de curta duração ministrado/Extensão).

4.
VINCENZI, A. M. R.; DELAMARO, M. E. ; MALDONADO, J. C. . Automatização de teste de software com ênfase em teste unitário e de integração. 2015. (Curso de curta duração ministrado/Extensão).


Redes sociais, websites e blogs
1.
VINCENZI, A. M. R.; MALDONADO, J. C. ; DELAMARO, M. E. . Automatização de Teste de Software. 2015; Tema: Automatização de Teste de Software. (Site).

2.
VINCENZI, A. M. R.; MALDONADO, J. C. ; DELAMARO, M. E. ; DIAS NETO, A. C. ; CONTE, T. ; Oliveira, J. L. . Material de Treinamento/Capacitação em Automatização de Teste de Software. 2015; Tema: Treinamento e Capacitação em Automatização de Teste de Software. (Site).



Outras informações relevantes


- ISTQB Certified Tester - CTFL - jun/2012.

- Aprovado em segundo lugar no concurso público para Professor Adjunto A-DE, edital 141/14, do Departamento de Computação da Universidade Federal de São Carlos (UFSCar) - dezembro/2014.

- Aprovado em primeiro lugar no concurso público de Professor de Ensino Básico, Técnico e Tecnológico, edital 050/2014, do Instituto Federal de São Paulo (IFSP) - julho/2014.

- Aprovado no concurso público de Professor Adjunto, edital 025/2007, da Universidade Federal de Goiás (INF/UFG) - fevereiro/2008.

- Aprovado no concurso público de Professor Temporário, edital 55/2007-PRH, da Universidade Estadual de Maringá (DIN/UEM) - julho/2007.

- Aprovado no concurso público de Professor Não-Titular, edital 04/2007-PRH, da Universidade Estadual de Maringá (DIN/UEM) - junho/2007.

- Aprovado no concurso público de Professor Assistente, edital 048/2004, da Universidade Federal de Goiás (INF/UFG) - novembro/2004.

- Aprovado no processo seletivo de Professor MS-1, edital 063/2003, do Instituto de Ciências Matemáticas e de Computação (ICMC/USP) - setembro/2003.



Página gerada pelo Sistema Currículo Lattes em 15/11/2018 às 7:04:26