Rede de Colaboração
Diretório de grupos de pesquisa

Auri Marcelo Rizzo Vincenzi
Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

Bacharel em Ciência da Computação pela Universidade Estadual de Londrina UEL (1995) e mestre (1998) e doutor (2004) 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 professor colaborador no Centro Universitário Eurípides de Marília UNIVEM (2004-2005). Desde 2008 retornou à Universidade Federal de Goiás - UFG como professor adjunto. 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. É pesquisador Nível 2 do CNPq e membro da Sociedade Brasileira de Computação (SBC) e Association for Computing Machinery (ACM).
(Texto informado pelo autor)

Última atualização do currículo em 24/08/2009
Endereço para acessar este CV:
http://lattes.cnpq.br/0611351138131709
Dados pessoais
NomeAuri Marcelo Rizzo Vincenzi
Nome em citações bibliográficasVINCENZI, A. M. R.
SexoMasculino
Endereço profissionalUniversidade Federal de Goiás, Instituto de Informática, Campus II.
Bloco do IMF-I, Sala 239, Campus II - Samambaia
Itatiaia
74001-970 - Goiania, GO - Brasil - Caixa-Postal: 131
Telefone: (62) 35211181 Ramal: 1510 Fax: (62) 35211182

Formação acadêmica/Titulação
1999 - 2004Doutorado em Ciência da Computação e Matemática Computacional .
Universidade de São Paulo, USP, Brasil.
com período co-tutela em Centro Universitário Euripedes de Marília(Orientador:Márcio Eduardo Delamaro ).
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.
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 / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Setores de atividade: Informática; Qualidade e Produtividade.
1996 - 1998Mestrado 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: 1999.
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 / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Setores de atividade: Informática; Qualidade e Produtividade.
1992 - 1995Graduação em Ciência da Computação .
Universidade Estadual de Londrina, UEL, Brasil.
Título: Sistemas de Hipertexto.
Orientador: Fabio Sakuray.

Formação complementar
2008 - 2008Alternativas Pedagógicas para Inovação Curricular. (Carga horária: 8h).
Universidade Federal de Goiás, UFG, Brasil.
2007 - 2007Fundamental Aspects of Empirical Soft. Engineering. (Carga horária: 2h).
Universidade de São Paulo, USP, Brasil.
2005 - 2005Introdução ao MPS.Br. (Carga horária: 4h).
Universidade Católica de Brasília.
2002 - 2003Computer Science.
University Of Texas At Dallas.
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.
2002 - 2002 Curso de Curta Duração.
Telcordia Technologies.
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.
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.
2001 - 2001 Extensão universitária em Semântica Denotacional. (Carga horária: 9h).
Instituto de Ciências Matemáticas e de Computação.
2000 - 2000Inspeção de Software. (Carga horária: 8h).
Instituto de Pesquisas Eldorado.
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.
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.
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.
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.
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.
1997 - 1997Treinamento e Avaliação de Produtos de Software. (Carga horária: 138h).
Fundação Centro Tecnológico para Informática.
1996 - 1996Tipos e Estruturas de Dados. (Carga horária: 192h).
Instituto de Ciências Matemáticas e de Computação.
1996 - 1996Goal-Oriented Measurement. (Carga horária: 4h).
Sociedade Brasileira de Computação.
1996 - 1996Mét. de Anal. de Sist. de Tempo Real Usando Téc OO. (Carga horária: 4h).
Sociedade Brasileira de Computação.
1994 - 1994Biologia Computacional. (Carga horária: 6h).
Universidade Estadual de Maringá.

Atuação profissional
Universidade Federal de Goiás, UFG, Brasil.
Vínculo institucional
2008 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto-I, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações O pesquisador já teve outro vínculo com a Universidade Federal de Goiás - UFG, durante o período de 02/2005 a 09/2006.
Atividades
08/2009 - AtualEnsino, Sistema de Informação, Nível: Graduação.
Disciplinas ministradas
Engenharia de Software
06/2009 - AtualConselhos, Comissões e Consultoria, Instituto de Informática, .
Cargo ou função
Membro da Comissão de Pós-Graduação e Pesquisa.
03/2009 - AtualDireção e administração, Reitoria, Centro de Seleção.
Cargo ou função
Coordenador de Informática.
11/2008 - AtualAtividades de Participação em Projeto, Instituto de Informática, .
Projetos de pesquisa
Combinando Teste Estrutural e Métricas de Software para o Estabelecimento de Confiança em Produtos de Código Aberto
07/2008 - AtualAtividades de Participação em Projeto, Instituto de Informática, .
Projetos de pesquisa
Sistemas Embarcados Críticos: Aplicações em Segurança e Agricultura
12/2007 - AtualAtividades de Participação em Projeto, Instituto de Informática, .
Projetos de pesquisa
QualiPSo - Quality Platform for Open Source Software
10/2007 - AtualAtividades de Participação em Projeto, Instituto de Informática, .
Projetos de pesquisa
Estudo e Utilização de Teste Estrutural para Programa Java em Dispositivos Móveis
03/2009 - 07/2009Ensino, Engenharia de Software, Nível: Graduação.
Disciplinas ministradas
Introdução à Programação
08/2008 - 12/2008Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Engenharia de Software
Programação de Computadores II
04/2008 - 07/2008Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Introdução à Computação
Linguagem de Programação
04/2008 - 07/2008Ensino, Engenharia Civil, Nível: Graduação.
Disciplinas ministradas
Processamento de Dados
04/2008 - 07/2008Conselhos, Comissões e Consultoria, Instituto de Informática, .
Cargo ou função
Presidente da Comissão Eleitoral.
07/2006 - 11/2006Ensino, Engenharia de Computação, Nível: Graduação.
Disciplinas ministradas
Algoritmos e Programação II (ministrada parcialmente)
07/2006 - 11/2006Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Projeto Final de Curso II (ministrada parcialmente)
07/2006 - 11/2006Ensino, Ciência da Computação, Nível: Pós-Graduação.
Disciplinas ministradas
Engenharia de Software (ministrada parcialmente)
03/2006 - 09/2006Ensino, 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/2006Conselhos, 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/2006Conselhos, 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/2006Pesquisa e desenvolvimento , Instituto de Informática, Campus II.
Linhas de pesquisa
Teste de Software
3/2006 - 7/2006Ensino, 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/2006Ensino, 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/2005Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Estrutura de Dados I
8/2005 - 12/2005Ensino, Engenharia Elétrica, Nível: Graduação.
Disciplinas ministradas
Algoritmos e Programação II
8/2005 - 12/2005Ensino, Engenharia de Computação, Nível: Graduação.
Disciplinas ministradas
Algoritmos e Programação II
3/2005 - 7/2005Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Estruturas de Dados I
Tópicos II (Teste de Software)
Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Vínculo institucional
2007 - Atual Vínculo: Outro, Enquadramento Funcional: Bolsista, Carga horária: 20
Atividades
10/2007 - AtualConselhos, Comissões e Consultoria, Conselho Deliberativo, .
Cargo ou função
Consultoria ad hoc projetos.
Universidade Católica de Santos, UNISANTOS, Brasil.
Vínculo institucional
2006 - 2008 Vínculo: Celetista, Enquadramento Funcional: Professor Assistente, Carga horária: 40
Atividades
09/2006 - 03/2008Pesquisa e desenvolvimento , Mestrado em Informática, .
Linhas de pesquisa
Teste de Software
09/2005 - 01/2008Atividades de Participação em Projeto, Mestrado em Informática, .
Projetos de pesquisa
Utilização de Teste Estrutural para Programa Java em Dispositivos Móveis
08/2007 - 12/2007Ensino, Engenharia Elétrica, Nível: Graduação.
Disciplinas ministradas
Sistemas Computacionais - Software II
02/2007 - 07/2007Ensino, Engenharia Elétrica, Nível: Graduação.
Disciplinas ministradas
Sistemas Computacionais - Software I
12/2006 - 03/2007Ensino, 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/2005Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Programação de Computadores
6/2004 - 1/2005Pesquisa e desenvolvimento , Faculdade de Informática, Mestrado Em Ciência da Computação.
Linhas de pesquisa
Teste de Software
5/2004 - 1/2005Conselhos, 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.
01/2004 - 1/2005Atividades de Participação em Projeto, Faculdade de Informática, Mestrado Em Ciência da Computação.
Projetos de pesquisa
Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação
2/2004 - 7/2004Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Programação de Computadores
Sistemas Distribuídos
9/2003 - 11/2003Ensino, 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/1999Ensino, 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
2007 - AtualAtividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, .
Projetos de pesquisa
Subsídios para atividades de VV&T no desenvolvimento de software
01/2004 - 01/2005Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, Departamento de Ciências da Computação.
Projetos de pesquisa
Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação
9/2003 - 12/2003Ensino, 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/1998Ensino, 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/1997Ensino, 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/1997Ensino, 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)

Linhas de Pesquisa
1. Teste de Software
Objetivos: Desenvolvimento de recursos de teste e validação para programas Orientado a Objeto. No contexto deste projeto, atenção especial é dada aos critérios de teste estruturais e baseados em mutação, juntamente com o desenvolvimento de ferramentas de apoio à realização dos testes..
2. Teste de Software
Objetivos: Estudo e desenvolvimento de técnicas, critérios e ferramentas de teste. Condução de estudos experimentais visando a definição de estratégias de testes incrementais e de baixo custo..
Grande área: Ciências Exatas e da Terra / Área: Ciência 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.
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.
3. Teste de Software
Objetivos: Estudo e desenvolvimento de recursos computacionais para viabilizar a aplicação de critérios de teste de forma automática ou semi-automática..
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).
Palavras-chave: Técnicas e Critérios de Teste; Ferramenta de Teste; Seleção de Ferramentas de Teste.

Projetos de Pesquisa
2008 - 2011Sistemas 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: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 1) .
Integrantes: José Carlos Maldonado - Coordenador / Márcio Eduardo Delamaro - Integrante / Fábio Nogueira de Lucena - Integrante / Plínio de Sá Leitão Júnior - Integrante / Juliano Lopes de Oliveira - Integrante / Auri Marcelo Rizzo Vincenzi - 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..
2008 - 2011Combinando 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: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 2) .
Integrantes: José Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante / Fábio Nogueira de Lucena - Integrante / Plínio de Sá Leitão Júnior - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2007 - 2010QualiPSo - 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: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) / Mestrado acadêmico ( 1) .
Integrantes: José Carlos Maldonado - Coordenador / Márcio Eduardo Delamaro - Integrante / Adenilso da Silva Simão - Integrante / Marcos Lordello Chaim - Integrante / Auri Marcelo Rizzo Vincenzi - Integrante.
Financiador(es): Engineering Ingegneria Informatica - SPA - Auxílio financeiro / Comissão Européia - Auxílio financeiro..
2007 - 2010Estudo 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: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) / Mestrado acadêmico ( 1) .
Integrantes: José Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.Número de orientações: 1.
2007 - 2009Subsí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: Em andamento; Natureza: Pesquisa.
Integrantes: José Carlos Maldonado - Coordenador / Márcio Eduardo Delamaro - Integrante / Simone Rocio Sender de Souza - Integrante / Sandra Camargo Pinto Ferraz Fabbri - Integrante / Adenilso da Silva Simão - Integrante / Paulo Cesar Masiero - Integrante / Elisa Yume Nakagawa - Integrante / Auri Marcelo Rizzo Vincenzi - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2005 - 2008Utilizaçã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 profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: José Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 2.
2004 - 2005Orientaçã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: José Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador.
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 - Bolsa / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
Número de produções C, T & A: 8.
2003 - 2004Orientaçã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: José Carlos Maldonado - Coordenador / Márcio Eduardo Delamaro - Integrante / Auri Marcelo Rizzo Vincenzi - 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.

Membro de corpo editorial
2008 - Atual Periódico: SBC Horizontes

Revisor de periódico
2006 - Atual Periódico: IEEE Software
2007 - Atual Periódico: Software Testing, Verification and Reliability
2007 - 2007 Periódico: International Journal of Distance Education Technologies
2009 - Atual Periódico: Acta Scientiarum. Technology

Á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.

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

Prêmios e títulos
2004Melhores artigos do XVIII Simpósio Brasileiro de Engenharia de Software, Sociedade Brasileira de Computação.
2003Melhores ferramentas do XVII Simpósio Brasileiro de Engenharia de Software, Sociedade Brasileira de Computação.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1.   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. Journal of Systems and Software, v. 80, p. 862-882, 2007.
2. SILVA, I.O. ; VINCENZI, E.F.S. ; VINCENZI, A. M. R. . Physical Evaluation for School Children. The FIEP Bulletin, v. 77, p. 284-288, 2007.
3.   VINCENZI, 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.
4.   VINCENZI, 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, (aceito para publicação), v. 12, p. 47-61, 2006.
5.   VINCENZI, A. M. R. ; MALDONADO, J. C. ; WONG, W. E. ; DELAMARO, M. E. . Coverage Testing of Java Programs and Components. Science of Computer Programming, USA, v. 56, n. 1-2, p. 211-230, 2005.
6. SIMÃ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.
7.   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. International Journal of Software Engineering and Knowledge Engineering, Estados Unidos, v. 12, n. 6, p. 675-689, 2002.
8. BARBOSA, E. F. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Towards the determination of sufficient mutant operators for C. Software Testing, Verification and Reliability, v. 11, n. 2, p. 113-136, 2001.
9. 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. Software Testing, Verification and Reliability, v. 11, n. 4, p. 249-268, 2001.
Livros publicados/organizados ou edições
1. VINCENZI, A. M. R. (Org.) . XIV Sessão de Ferramentas do XXI Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 2007. 108 p.
Capítulos de livros publicados
1. 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.
2. 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.
3. 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.
4. 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.
5. 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.
6. VINCENZI, A. M. R. ; MALDONADO, J. C. ; DELAMARO, M. E. ; SPOTO, Edmundo Sérgio ; 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.
7. 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.
8. 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.
9. VINCENZI, A. M. R. ; MALDONADO, J. C. ; DELAMARO, M. E. ; SPOTO, Edmundo Sérgio ; 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.
10. 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. 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.
2. 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.
3. 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.
4. 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.
5. 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.
6. DELAMARO, M. E. ; NARDI, P. ; LEMOS, O. A. L. ; MASIERO, P. C. ; SPOTO, Edmundo Sérgio ; 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.
7. 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.
8. 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.
9. NARDI, P. ; SPOTO, Edmundo Sérgio ; 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.
10. 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.
11. 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.
12. 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.
13. 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.
14. 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.
15. 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.
16. 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.
17. 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.
18. 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.
19. 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.
20. 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.
21. 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.
22. 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.
23. 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.
24. 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.
25. 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.
26. 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.
27. 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.
28. 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.
29. 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.
30. 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. 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. I Fórum de Educação em Engenharia de Software. Rio de Janeiro, RJ : PUC-RJ, 2008. v. 8. p. 16-20.
Resumos publicados em anais de congressos
1. 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.
2. 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.
3. 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.
4. 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.
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: 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.
6. 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.
Artigos aceitos para publicação
1. VINCENZI, A. M. R. ; MALDONADO, J. C. ; DELAMARO, M. E. ; HÖHN, É. N. . Functional, Control and Data Flow, and Mutation Testing: Theory and Practice. Lecture Notes in Computer Science (LNCS), 2009.
2. MACHADO, P. D. L. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Software Testing: An Overview. Lecture Notes in Computer Science (LNCS), 2009.
Apresentações de Trabalho
1. VINCENZI, A. M. R. . Estado da Prática em Teste de Software. 2007. (Apresentação de Trabalho/Conferência ou palestra).
2. 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).
3. MALDONADO, J. C. ; VINCENZI, A. M. R. . Introducion to Software Testing. 2007. (Apresentação de Trabalho/Outra).
4. VINCENZI, A. M. R. . Estado da Prática em Teste de Software. 2007. (Apresentação de Trabalho/Conferência ou palestra).
5. DELAMARO, M. E. ; NARDI, P. ; LEMOS, O. A. L. ; MASIERO, P. C. ; SPOTO, Edmundo Sérgio ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Static Analysis of Java Bytecode for Domain-specific Software Testing. 2007. (Apresentação de Trabalho/Simpósio).
6. VINCENZI, A. M. R. . Estado da Prática em Teste de Software. 2007. (Apresentação de Trabalho/Conferência ou palestra).
7. VINCENZI, A. M. R. . Teste de Software: Teoria e Prática. 2006. (Apresentação de Trabalho/Conferência ou palestra).
8. 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).
9. VINCENZI, A. M. R. . Qualidade no Processo de Produção de Software. 2005. (Apresentação de Trabalho/Conferência ou palestra).
10. VINCENZI, A. M. R. . Introdução ao Teste de Software. 2005. (Apresentação de Trabalho/Conferência ou palestra).
11. 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).
12. 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).
13. 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).
14. 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).
15. 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).
16. VINCENZI, A. M. R. . Critérios de Teste de Software: Análise de Mutantes. 1997. (Apresentação de Trabalho/Conferência ou palestra).
17. 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).
Demais tipos de produção bibliográfica
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
Softwares sem registro de patente
1. DELAMARO, M. E. ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; WONG, W. E. . JaBUTi: Java Bytecode Understanding and Testing. 2003.
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.
Demais tipos de produção técnica
1. 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).
2. 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).
3. 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).
4. 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).
5. 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).
6. 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).
7. 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).
8. 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).
9. 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).
10. VINCENZI, A. M. R. . Comite de programa: V Experimental Software Engineering Latin America Workshop - ESELAW'2008. 2008. (Comitê de programa de evento científico).
11. 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).
12. 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).
13. VINCENZI, A. M. R. . XIV Sessão de Ferramentas do Simpósio Brasileiro de Engenharia de Software. 2007. (Editoração/Anais).
14. 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).
15. 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).
16. 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).
17. VINCENZI, A. M. R. . Comitê de programa: VIII Argentine Symposium on Software Engineering - ASSE'2007. 2007. (Comitê de programa de evento científico).
18. 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).
19. 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).
20. 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).
21. VINCENZI, A. M. R. . Comitê de programa: IV Experimental Software Engineering Latin America Workshop - ESELAW'2007. 2007. (Comitê de programa de evento científico).
22. 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).
23. VINCENZI, A. M. R. . Consultoria ad ho: Fundação Educacional Severino Sombra - Universidade Severino Sombra. 2007. (Consultoria ad hoc).
24. 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).
25. 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).
26. 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).
27. 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).
28. 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).
29. 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).
30. 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).
31. 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).
32. 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).
33. 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).
34. 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).
35.
VINCENZI, A. M. R. ; LUCENA, F. N. . Introdução à Linguagem Java. 2005. (Curso de curta duração ministrado/Extensão).
36. 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).
37. 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).
38. 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).
39. 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).
40. 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).
41. 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).
42. 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).
43. 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).
44. 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).
45. 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).
46. 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 examinadoras
Dissertações
1. JINO, M.; RICARTE, I. L. M.; VINCENZI, A. M. R.. 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.
2. LUCENA, F. N.; SPOTO, Edmundo Sérgio; VINCENZI, A. M. R.. 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.
3. 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á.
4. NAKAHARA, J. Jr; FREITAS, D. S.; VINCENZI, A. M. R.. 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.
5. 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.
6. 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.
7. 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.
8. SPOTO, Edmundo Sérgio; 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.
9. DELAMARO, M. E.; FABBRI, S. C. P. F.; VINCENZI, A. M. R.. 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.
10. DELAMARO, M. E.; SPOTO, Edmundo Sérgio; VINCENZI, A. M. R.. 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.
Monografias de cursos de aperfeiçoamento/especialização
1. LUCENA, F. N.; VINCENZI, A. M. R.. 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.
2. 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.
3. 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.
4. 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.
5. 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.
6. 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. MACEDO, F. C.; TRINDADE, C. C.; VINCENZI, A. M. R.. 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.
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.; MACEDO, F. C.; VINCENZI, A. M. R.. 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. SPOTO, Edmundo Sérgio; VINCENZI, A. M. R.. 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.
7. 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.
8. 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.
9. MARQUES, F. L. dos S. N.; VINCENZI, A. M. R.. 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.
10. 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.
11. SPOTO, Edmundo Sérgio; 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.
12. SPOTO, Edmundo Sérgio; VINCENZI, A. M. R.. 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.
13. MONARD, M. C.; VINCENZI, A. M. R.. 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. LEITAO JUNIOR, P. S.; LIMA, F.; VINCENZI, A. M. R.. Banca Examinadora de Concurso para Professor Assitente da Universidade Federal de Goiás. 2009. Universidade Federal de Goiás.
2. Oliveira, J. L.; DELAMARO, M. E.; VINCENZI, A. M. R.. Banca Examinadora de Concurso para Professor Adjunto da Universidade Federal de Goiás. 2009. Universidade Federal de Goiás.
3. LEITAO JUNIOR, P. S.; LIMA, F.; VINCENZI, A. M. R.. Banca Examinadora de Concurso para Professor Adjunto da Universidade Federal de Goiás. 2009. Universidade Federal de Goiás.
4. Oliveira, J. L.; DELAMARO, M. E.; VINCENZI, A. M. R.. Banca Examinadora de Concurso para Professor Adjunto da Universidade Federal de Goiás. 2009. Universidade Federal de Goiás.

Eventos
Participação em eventos
1. XXII Simpósio Brasileiro de Engenharia de Software. 2008. (Simpósio).
2. Escola Regional de Informática do Centro-Oeste - ERI-CO'2008. 2008. (Outra).
3. VIII Jornada Goiana em Engenharia de Software. 2008. (Outra).
4. II Brazilian Workshop on Systematic and Automated Software Testing. 2008. (Outra).
5. Fórum de Educação em Engenharia de Software.Bacharelado em Engenharia de Software na Universidade Federal de Goiás. 2008. (Outra).
6. XXII Congresso Internacional de Educação Física FIEP 2007. 2007. (Congresso).
7. Seminários de Computação do ICMC/USP.Estado da Prática em Teste de Software. 2007. (Seminário).
8. XXI Simpósio Brasileiro de Engenharia de Software.Static Analysis of Java Bytecode for Domain-specific Software Testing. 2007. (Simpósio).
9. Encontro de Tecnologia e Informática - ETI'2007.Estado da Prática em Teste de Software. 2007. (Encontro).
10. III Encontro do Centro de Ciências Exatas e Tecnológicas - EXATEC'2007.Estado da Prática em Teste de Software. 2007. (Encontro).
11. Summes School on Advanced Techniques in Software Development.Introducion to Software Testing. 2007. (Outra).
12. XIV Sessão de Ferramentas do XXI Simpósio Brasileiro de Engenharia de Software. 2007. (Outra).
13. IV Experimental Software Engineering Latin America Workshop - ESELAW'2007. 2007. (Outra).
14. II Pernambuco School on Software Engineering.Functional, Control and Data Flow, and Mutation Testing: Theory and Practice. 2007. (Outra).
15. I Brazilian Workshop on Systematic and Automated Software Testing - SAST'2007. 2007. (Outra).
16. First International Workshop on Automation of Software Test (AST'06).First International Workshop on Automation of Software Test (AST'06). 2006. (Congresso).
17. I Workshop de Qualidade no Teste.Teste de Software: Teoria e Prática. 2006. (Outra).
18. II Congresso de Pesquisa, Ensino e Extensão da UFG - CONPEEX'2005. 2005. (Congresso).
19. Encontro de Tecnologia e Informática - ETI'2005. 2005. (Encontro).
20. Festival Latino Americano de Instalação de Software Livre -- FLISOL'2005. 2005. (Outra).
21. Feira do Empreendedor do SEBRAE-GO.Qualidade no Processo de Produção de Software. 2005. (Outra).
22. VI Reunião do SPIN-GO.Introdução ao Teste de Software. 2005. (Outra).
23. The 2004 ACM-International Collegiate Programming Contest. 2004. (Outra).
24. XV Simpósio Brasileiro de Engenharia de Software - SBES'2005.Mutant Operators for Testing Concurrent Java Programs. 2001. (Simpósio).
25. 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).
26. IV Semana da Computação. 2000. (Outra).
27. XIII Simpósio Brasileiro de Engenharia de Software - SBES'1999.Operadores Essenciais de Interface: Um Estudo de Caso. 1999. (Simpósio).
28. 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).
29. XII Simpósio Brasileiro de Engenharia de Software - SBES'1998. 1998. (Simpósio).
30. 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).
31. II Semana da Computação. 1998. (Outra).
32. II Simpósio de Teses e Dissertações. 1997. (Simpósio).
33. 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).
34. X Simpósio Brasileiro de Engenharia de Software - SBES'1996. 1996. (Simpósio).
35. II Encontro Interuniversitário de Informática do Paraná. 1994. (Encontro).
36. VI Semana de Informática. 1994. (Outra).
37. I Simpósio Brasileiro de Automação Inteligente. 1993. (Simpósio).
Organização de eventos
1. FABBRI, S. C. P. F. ; VINCENZI, A. M. R. . VI Experimental Software Engineering Latin America Workshop. 2009. (Congresso).
2. LEITAO JUNIOR, P. S. ; VINCENZI, A. M. R. . Escola Regional de Informática - Centro-Oeste - ERI-CO'2008. 2008. (Outro).
3. VINCENZI, A. M. R. . II Brazilian Workshop on Systematic and Automated Software Testing - SAST'2008. 2008. (Outro).
4. VINCENZI, A. M. R. . Sessão de Ferramentas do XXI Simpósio Brasileiro de Engenharia de Software. 2007. (Congresso).
5. VINCENZI, A. M. R. . Sessão de Ferramentas do IV Experimental Software Engineering Latin America Workshop. 2007. (Congresso).
6. VINCENZI, A. M. R. . Encontro de Tecnologia e Informática -- ETI'2006. 2006. (Outro).
7. VINCENZI, A. M. R. . Encontro de Tecnologia e Informática -- ETI'2005. 2005. (Outro).
8. VINCENZI, A. M. R. . Festival Latino Americano de Instalação de Software Livre -- FLISOL'2005. 2005. (Festival).

Orientações
Orientações em andamento
Dissertação de mestrado
1. Jacson Rodrigues Barbosa. Definição de Processo de Teste para Sistemas Embarcados Críticos. Início: 2009. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Goiás. (Orientador).
2. André Mesquita de Rincon. Avaliação de Qualidade de Produtos de Código Aberto por Meio de Métricas e Teste Estrutural. Início: 2008. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Goiás. (Orientador).
3. Adriana Rocha Vidal. Estudo e Avaliação Critérios Estruturais no Teste de Componentes de Software de Código Aberto. Início: 2008. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Goiás. (Orientador).
Supervisões e orientações concluídas
Dissertação de mestrado
1. 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.
2. 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.
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. 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. Orientador: Auri Marcelo Rizzo Vincenzi.
Orientações de outra natureza
1. Adriana Rocha. Desenvolver Metodologia para Testes de Homologação De Software. 2005. 0 f. Orientação de outra natureza - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Auri Marcelo Rizzo Vincenzi.
2. Isabel Lacordaire Ribeiro. Desenvolvimento de Metodologia para aProdução de Manual do Usuário. 2005. 0 f. Orientação de outra natureza - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Auri Marcelo Rizzo Vincenzi.

Outras informações relevantes 
- 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 16/03/2010 às 16:27:16