Auri Marcelo Rizzo Vincenzi
Professor auxiliar no Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto (2025-atual). Graduado em Ciência da Computação pela Universidade Estadual de Londrina, UEL (1995). Possui títulos de mestrado (1998) e doutorado (2004) em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo ICMC/USP. Realizou doutorado sanduíche na University of Texas at Dallas - UTDallas - EUA (2011-2012) e pós-doutorado no Instituto de Ciências Matemáticas e de Computação - ICMC/US (2014-2015) e na Faculdade de Engenharia da Universidade do Porto (2023-2024). Professor titular licenciado do Departamento de Computação da Universidade Federal de São Carlos (2015-2025), 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 de 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). Foi vice-coordenador do Programa de Pós-Graduação em Ciência da Computação - PPGCC/UFSCar (2019-2020). 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 para o Progresso da Ciência (SBPC), 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).
Informações coletadas do Lattes em 07/05/2026
Acadêmico
Formação acadêmica
Doutorado em Ciência da Computação e Matemática Computacional
1999 - 2004
Universidade de São Paulo
Título: Orientação a Objeto: Definição, Implementação e Análise de Recursos de Teste e Validação
Orientador: em University Of Texas At Dallas ( Eric Wong)
com , Ano de obtenção: 2004. 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 / Á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.
Mestrado em Ciência da Computação e Matemática Computacional
1996 - 1998
Universidade de São Paulo
Título: Subsídios para o Estabelecimento de Estratégias de Teste Baseadas na Técnica de Mutação
, Ano de Obtenção: 1998.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.
Graduação em Ciência da Computação
1992 - 1995
Universidade Estadual de Londrina
Título: Sistemas de Hipertexto
Orientador: Fabio Sakuray
Pós-doutorado
2023 - 2024
Pós-Doutorado. , Universidade do Porto, U.PORTO, Portugal. , Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. , 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.
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 / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software. , 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 de Capacitação em CMS Joomla 3.1. (Carga horária: 56h). , Independência Consultoria e Treinamento LTDA, INCONTRE, 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.
2012 - 2012
Certified Tester, Foundation Level (CTFL). (Carga horária: 4h). , International Software Testing Qualification Board, ISTQB, Bélgica.
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
Aggregation of Software Engineering Experiments. (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
Revisão Sistemática: Pesquisa Científica em Engen. (Carga horária: 8h). , 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
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 Semântica Denotacional. (Carga horária: 9h). , 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.
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 Method for Soft Quality Spec., Planning, Control. (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 Pract. Perspective for Soft. Process Improvement. (Carga horária: 3h). , 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.
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.
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.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Razoavelmente, Lê Razoavelmente.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuaçã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.
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.
Grande área: Outros / Área: Microeletrônica / Subárea: Teste e Tolerância a Falhas.
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: Sistemas de Computação.
Organização de eventos
NAKAGAWA, E. Y. ; BRAGA, R. V. ; CAMARGO, V. V. ; VINCENZI, A. M. R. ; LUCREDIO, D. ; OLIVEIRA, L. B. R. . Congresso Brasileiro de Software: Teoria e Prática. 2018. (Congresso).
VINCENZI, A. M. R. . Trilha da Indústria (Industry Track) do VII Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2016. 2016. (Congresso).
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).
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).
VINCENZI, A. M. R. . XXVII Simpósio Brasileiro de Engenharia de Software - SBES'2013. 2013. (Congresso).
VINCENZI, A. M. R. ; DE OLIVEIRA, J. P. M. ; SPINOSA, E. J. . Workshop sobre Educação em Computação - WEI. 2012. (Congresso).
VINCENZI, A. M. R. ; MALDONADO, J. C. . Trilha Especial do SBES'2012 - Grandes desafios da Engenharia de Software/Sistema. 2012. (Congresso).
VINCENZI, A. M. R. ; FEITOSA, M. D. ; DA COSTA, U. S. . Workshop sobre Educação em Computação - WEI. 2011. (Congresso).
FABBRI, S. C. P. F. ; VINCENZI, A. M. R. . VI Experimental Software Engineering Latin America Workshop. 2009. (Congresso).
LEITAO JUNIOR, P. S. ; VINCENZI, A. M. R. . Escola Regional de Informática - Centro-Oeste - ERI-CO'2008. 2008. (Outro).
VINCENZI, A. M. R. . II Brazilian Workshop on Systematic and Automated Software Testing - SAST'2008. 2008. (Outro).
VINCENZI, A. M. R. . Sessão de Ferramentas do XXI Simpósio Brasileiro de Engenharia de Software. 2007. (Congresso).
VINCENZI, A. M. R. . Sessão de Ferramentas do IV Experimental Software Engineering Latin America Workshop. 2007. (Congresso).
VINCENZI, A. M. R. . Encontro de Tecnologia e Informática - ETI'2006. 2006. (Outro).
VINCENZI, A. M. R. . Encontro de Tecnologia e Informática - ETI'2005. 2005. (Outro).
VINCENZI, A. M. R. . Festival Latino Americano de Instalação de Software Livre -- FLISOL'2005. 2005. (Festival).
Participação em eventos
Congresso Brasileiro de Software: Teoria e Prática - CBSoft. Loggi: Treinamento Localizado em Automatização de Teste de Software em Ambiente Empresarial. 2020. (Congresso).
Congresso Brasileiro de Software: Teoria e Prática - CBSoft. Introduction to Automated Software Testing with Emphasis on Unit Testing. 2019. (Congresso).
Congresso Brasileiro de Software: Teoria e Prática - CBSoft. 2019. (Congresso).
Simpósio Brasileiro de Engenharia de Software - SBES'2019.A Conceptual Metamodel to Bridging Requirement Patterns to Test. 2019. (Simpósio).
Workshop on Software Visualization, Evolution and Maintenance - VEM'2019.BULNER: BUg Localization with word embeddings and NEtwork Regularization. 2019. (Outra).
Congresso Brasileiro de Software: Teoria e Prática - CBSoft. 2018. (Congresso).
Oficina de Aula interativa - utilização de recursos tecnológicos em sala de aula. 2018. (Oficina).
IV Semana de Engenharia e Tecnologia do IFG.Estratégia de Teste Incremental Cobrindo Testes Funcionais, Estruturais e de Mutação. 2017. (Outra).
Integração dos Novos Servidores. 2015. (Outra).
Intel IoT Roadshow. 2015. (Outra).
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).
Seminários em Computação.Teste de Software e Automatização. 2015. (Seminário).
V Workshop de Engenharia de Software.FreeTest - Implantando Processos de Teste. 2015. (Oficina).
Escola Avançada de Teste de Software.Geração de Dados de Teste. 2014. (Encontro).
International Conference WWW/Internet 2013. A Prototype for Querying Heterogeneous Data Source on the Web. 2013. (Congresso).
IV Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2013. 2013. (Congresso).
IV Workshop de Engenharia de Software.Teste de Software. 2013. (Oficina).
VIII International Conference on Software Engineering Advances. Static Analysis Techniques and Tools: A Systematic Mapping Study. 2013. (Congresso).
VIII International Conference on Software Engineering Advances. The Use of Experimentation Packages for Evaluating the Quality of Mobile Software Products. 2013. (Congresso).
VIII International Conference on Software Engineering Advances. How Exception Handling Constructions are Tested: An Initial Investigation with Open Source Software. 2013. (Congresso).
VIII International Conference on Software Engineering Advances. Characterization of Techniques and Tools of Visualization Applied to Software Comprehension: A Systematic Mapping. 2013. (Congresso).
VIII International Conference on Software Engineering Advances. Functional Software Testing: A Systematic Mapping Study. 2013. (Congresso).
II Encontro de Propriedade Intelectual e Industria na Graduação da UFG. 2009. (Encontro).
Escola Regional de Informática do Centro-Oeste - ERI-CO'2008. 2008. (Outra).
Fórum de Educação em Engenharia de Software.Bacharelado em Engenharia de Software na Universidade Federal de Goiás. 2008. (Outra).
II Brazilian Workshop on Systematic and Automated Software Testing. 2008. (Outra).
VIII Jornada Goiana em Engenharia de Software. 2008. (Outra).
XXII Simpósio Brasileiro de Engenharia de Software. 2008. (Simpósio).
Encontro de Tecnologia e Informática - ETI'2007.Estado da Prática em Teste de Software. 2007. (Encontro).
I Brazilian Workshop on Systematic and Automated Software Testing - SAST'2007. 2007. (Outra).
III Encontro do Centro de Ciências Exatas e Tecnológicas - EXATEC'2007.Estado da Prática em Teste de Software. 2007. (Encontro).
II Pernambuco School on Software Engineering.Functional, Control and Data Flow, and Mutation Testing: Theory and Practice. 2007. (Outra).
IV Experimental Software Engineering Latin America Workshop - ESELAW'2007. 2007. (Outra).
Seminários de Computação do ICMC/USP.Estado da Prática em Teste de Software. 2007. (Seminário).
Summes School on Advanced Techniques in Software Development.Introducion to Software Testing. 2007. (Outra).
XIV Sessão de Ferramentas do XXI Simpósio Brasileiro de Engenharia de Software. 2007. (Outra).
XXII Congresso Internacional de Educação Física ? FIEP?2007. 2007. (Congresso).
XXI Simpósio Brasileiro de Engenharia de Software.Static Analysis of Java Bytecode for Domain-specific Software Testing. 2007. (Simpósio).
First International Workshop on Automation of Software Test (AST'06). First International Workshop on Automation of Software Test (AST'06). 2006. (Congresso).
I Workshop de Qualidade no Teste.Teste de Software: Teoria e Prática. 2006. (Outra).
Encontro de Tecnologia e Informática - ETI'2005. 2005. (Encontro).
Feira do Empreendedor do SEBRAE-GO.Qualidade no Processo de Produção de Software. 2005. (Outra).
Festival Latino Americano de Instalação de Software Livre -- FLISOL'2005. 2005. (Outra).
II Congresso de Pesquisa, Ensino e Extensão da UFG - CONPEEX'2005. 2005. (Congresso).
VI Reunião do SPIN-GO.Introdução ao Teste de Software. 2005. (Outra).
The 2004 ACM-International Collegiate Programming Contest. 2004. (Outra).
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).
XV Simpósio Brasileiro de Engenharia de Software - SBES'2005.Mutant Operators for Testing Concurrent Java Programs. 2001. (Simpósio).
IV Semana da Computação. 2000. (Outra).
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).
XIII Simpósio Brasileiro de Engenharia de Software - SBES'1999.Operadores Essenciais de Interface: Um Estudo de Caso. 1999. (Simpósio).
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).
II Semana da Computação. 1998. (Outra).
XII Simpósio Brasileiro de Engenharia de Software - SBES'1998. 1998. (Simpósio).
II Simpósio de Teses e Dissertações. 1997. (Simpósio).
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).
X Simpósio Brasileiro de Engenharia de Software - SBES'1996. 1996. (Simpósio).
II Encontro Interuniversitário de Informática do Paraná. 1994. (Encontro).
VI Semana de Informática. 1994. (Outra).
I Simpósio Brasileiro de Automação Inteligente. 1993. (Simpósio).
Participação em bancas
ABREU, R. F. L. M.;VINCENZI, A. M. R.; LIMA, B. M. C.. Understanding Developer Reasoning in Addressing Vulnerability Alerts. 2025. Dissertação (Mestrado em Master in Informatics and Computing Engineering) - Universidade do Porto.
PAULO, J. T. M.;VINCENZI, A. M. R.; FERNANDES, J. M. L.. Web scraping techniques for football data collection and development of a club ranking web application. 2025. Dissertação (Mestrado em Mestrado em Engenharia Informática) - Universidade do Minho.
GARCIA, R. E.VINCENZI, A. M. R.; ELER, D. M.;ELER, M. M.; PEREIRA, D. R.. Automatic Test Case Generation Guided by Ensemble Bug Prediction. 2024.
CHAIM, M. L.SOUZA, S. R. S.VINCENZI, A. M. R.. Localização de Defeitos Baseado em Espectro e a Prática de Integração Contínua. 2024. Dissertação (Mestrado em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.
FEITOSA, M. D.VINCENZI, A. M. R.AZEVEDO, M. M.. MELHORIA DO TESTE DE SOFTWARE EM PROCESSO ÁGIL DE DESENVOLVIMENTO DE MICRO SERVIÇOS: UMA PROPOSTA DE ROADMAP. 2023. Dissertação (Mestrado em Gestão e Tecnologia em Sistemas Produtivos) - Centro Estadual de Educação Tecnológica Paula Souza.
FERRARI, F. C.RIBEIRO, M. M.VINCENZI, A. M. R.. SiMut: Um framework automatizado para apoiar a redução do custo do teste de mutação com base em similaridade de programas. 2022. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
RODRIGUES, C. L.LEITAO JUNIOR, P. S.VINCENZI, A. M. R.. Teste de Aceitação com Requisitos de Acessibilidade para Pessoa Surda. 2022. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
MALDONADO, J. C.VINCENZI, A. M. R.LOUZADA NETO, F.DELAMARO, M. E.. Indústria 4.0: Análise da viabilidade do uso de métodos e ferramentas baseadas em RA como estratégia para diminuição do tempo de parada durante a configuração (set-up) de máquinas CNC e CMM na indústria manufatureira. 2021. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
VINCENZI, A. M. R.FERRARI, F. C.JORGE, R. F.. Reduzindo o custo do teste de mutação com base no conceito de arcos primitivos. 2021. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
VINCENZI, A. M. R.BEDER, D. M.FREITAS, E. N. A.. AVALIAÇÃO DE GERADORES AUTOMÁTICOS DE DADOS DE TESTE COM ÊNFASE NO TESTE DE MUTAÇÃO. 2021. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
VINCENZI, A. M. R.BEDER, D. M.DELAMARO, M. E.. Reduzindo o custo do teste de mutação com base em informações de análise estática. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
SOUZA, P. S. L.ENDO, A. T.VINCENZI, A. M. R.SIMÃO, A. S.. Structural testing criteria for concurrent programs considering loop executions. 2019. Dissertação (Mestrado em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.
FABBRI, S. C. P. F.VINCENZI, A. M. R.FERRARI, F. C.. 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.
BEDER, D. M.VINCENZI, A. M. R.CHAIM, M. L.. Uma Abordagem de Desenvolvimento Solo de Aplicações Utilizando Princípios Ágeis. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
CAMARGO, V. V.VINCENZI, A. M. R.DURELLI, R. S.. Visualização de não-conformidades arquiteturais em UML no contexto da ADM. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
SILVA, J. C.RIBEIRO, L. A.VINCENZI, A. M. R.. Benchmark para Métodos de Consultas por Palavras-Chave a Bancos de Dados Relacionais. 2018. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
FABBRI, S. C. P. F.VINCENZI, A. M. R.SCANNAVINO, K. R. F.. Uma abordagem para determinar a rastreabilidade entre requisitos e casos de teste com foco em priorização de casos de teste de regressão. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
OLIVEIRA, H. C.GARCIA, R. E.VINCENZI, A. M. R.. 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.
CAMILO-JUNIOR, C. G.RODRIGUES, C. L.VINCENZI, A. M. R.. 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.
CAMILO-JUNIOR, C. G.SOARES, T. W. L.VINCENZI, A. M. R.. 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.
MALDONADO, J. C.VINCENZI, A. M. R.GIMENES, I. M. S.SOUZA, S. R. S.. 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.
MARQUES, F. L. dos S. N.VINCENZI, A. M. R.JACKOWSKI, M. P.PARABONI, I.. 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.
CHAIM, M. L.VINCENZI, A. M. R.BEDER, D. M.FANTINATO, M.. 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.
DIAS NETO, A. C.VINCENZI, A. M. R.CORDEIRO, L. C.. 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.
FEDERSON, F. M.VINCENZI, A. M. R.LUCENA, F. N.. 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.
SOUZA, S. R. S.SIMÃO, A. S.VINCENZI, A. M. R.DIAS NETO, A. C.. 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.
LEITAO-JUNIOR, P. S.LUCENA, F. N.VINCENZI, A. M. R.. 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.
VINCENZI, A. M. R.LEITAO-JUNIOR, P. S.DIAS NETO, A. C.. 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.
MALDONADO, J. C.VINCENZI, A. M. R.DIAS NETO, A. C.SOUZA, S. R. S.. 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.
SOUZA, S. R. S.VINCENZI, A. M. R.SIMÃO, A. S.. 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.
FERRARI, F. C.CAMARGO, V. V.VINCENZI, A. M. R.. 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.
DIAS NETO, A. C.BARRETO, R. S.VINCENZI, A. M. R.. 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.
SOUZA, P. S. L.GUARDIA, H. C.VINCENZI, A. M. R.. 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.
BEDER, D. M.VINCENZI, A. M. R.CHAIM, M. L.. 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.
VINCENZI, A. M. R.VALENTE, M. T. O.LUCENA, F. N.. 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.
RODRIGUES, C. L.ALVES, V. R.VINCENZI, A. M. R.. 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.
SOUZA, S. R. S.VINCENZI, A. M. R.SIMÃO, A. S.. 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.
RODRIGUES, C. L.LEITAO JUNIOR, P. S.MASSONI, T. L.VINCENZI, A. M. R.. 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.
CAMILO JUNIOR, C. G.MALDONADO, J. C.VINCENZI, A. M. R.. 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.
SILVA, J. C.SIQUEIRA, S. W. M.VINCENZI, A. M. R.. 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.
Oliveira, J. L.VINCENZI, A. M. R.CONTE, T.. 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.
SIMÃO, A. S.MASIERO, P. C.VINCENZI, A. M. R.. 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.
JINO, M.VINCENZI, A. M. R.RICARTE, I. L. M.. 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.
VINCENZI, A. M. R.LUCENA, F. N.SPOTO, E. S.. 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.
VERGÍLIO, S. R.VINCENZI, A. M. R.. 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á.
NAKAHARA, J. JrVINCENZI, A. M. R.FREITAS, D. S.. O Sistema Criptográfico de Chave Pública RSA. 2008. Dissertação (Mestrado em Informática) - Universidade Católica de Santos.
TURINE, M. A. S.VINCENZI, A. M. R.. 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.
FABBRI, S. C. P. F.SANCHES, R.VINCENZI, A. M. R.. 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.
FABBRI, S. C. P. F.SANCHES, R.VINCENZI, A. M. R.. Gerenciamento de Requisitos no Ambiente COCAR. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
SPOTO, E. S.CAGNIN, M. I.VINCENZI, A. M. R.. 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.
VINCENZI, A. M. R.DELAMARO, M. E.FABBRI, S. C. P. F.. 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.
DELAMARO, M. E.VINCENZI, A. M. R.SPOTO, E. S.. 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.
DELAMARO, M. E.VINCENZI, A. M. R.CAMARGO, V. V.SOUZA, P. S. L.. Uma contribuição metodológica à realização de Ensaios de Proficiência em software. 2025. Tese (Doutorado em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.
PAIVA, A. C. R.; FARIA, J. C. P.;VINCENZI, A. M. R.. GAMFLEW: Um jogo sério para ensinar testes de software. 2024. Tese (Doutorado em Master in Informatics and Computing Engineering) - Faculdade de Engenharia da Universidade do Porto.
CAMILO-JUNIOR, C. G.LEITAO-JUNIOR, P. S.; OLIVEIRA, S. S. T.;VINCENZI, A. M. R.SOUZA, J. T.. Aplicação de CNN e LLM na Localização de Defeitos de Software. 2024. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Goiás.
VINCENZI, A. M. R.BARBOSA, J. R.FREITAS, E. N. A.FERRARI, F. C.LUCREDIO, D.. Combinando perfil operacional do software e perfil de teste: para uma estratégia de teste aderente às necessidades dos usuários. 2022. Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos.
FERRARI, F. C.LUCREDIO, D.VINCENZI, A. M. R.MENDONCA, N. C.BLANCO, J. Z.. Microcontroladores: definição e implementação de controladores estruturalmente flexíveis para sistemas adaptativos. 2022. Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos.
FERRARI, F. C.VINCENZI, A. M. R.SOUZA, S. R. S.DURELLI, VINICIUS H. S.LUCREDIO, D.. Investigação de Estratégia para Redução de Custo do Teste de Mutação. 2022. Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos.
FERRARI, F. C.VINCENZI, A. M. R.LUCREDIO, D.SCANNAVINO, K. R. F.ISOTANI, S.. GSA: Um framework e uma estratégia para a implantação da gamificação em atividades de engenharia de software. 2021. Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos.
CAMARGO, V. V.VINCENZI, A. M. R.LUCREDIO, D.VALENTE, M. T.NUNES, I. O.. REMEDY: Checagem de Conformidade Arquitetural para Sistemas Adaptativos. 2021. Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos.
VINCENZI, A. M. R.LUCREDIO, D.; PAIVA, A. C. R.;SCANNAVINO, K. R. F.CARVALHO, S. T.. UM METAMODELO PARA ALINHAMENTO DE PADRÕES DE REQUISITOS E PADRÕES DE TESTES E UM FRAMEWORK PARA AVALIAÇÃO DE METAMODELOS. 2021. Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos.
VINCENZI, A. M. R.CARVALHO, W. V.KULESZA, U.CAMARGO, V. V.NERIS, V. P. A.. Uma abordagem holística para o desenvolvimento de software multiplataforma. 2020. Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos.
VINCENZI, A. M. R.LEITAO-JUNIOR, P. S.SOARES, F. A. A. M. N.MALDONADO, J. C.FREITAS, E. N. A.. Uma solução baseada em economia colaborativa para escalar o teste de aplicações Android em dispositivos reais. 2019. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Goiás.
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.. 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.
FABBRI, S. C. P. F.VINCENZI, A. M. R.FERRARI, F. C.CONTE, TAYANAKALINOWSKI, M.. 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.
VINCENZI, A. M. R.FABBRI, S. C. P. F.JORGE, R. F.RODRIGUES, C. L.BULCAO NETO, R. F.. 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.
LEJBMAN, A. G. V.VINCENZI, A. M. R.SIMÃO, A. S.CHAIM, M. L.LEMOS, O. A. L.. Avaliação de Localização de Defeitos Baseada em Espectro para Uso Prático. 2018. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.
SOUZA, S. R. S.COLANZI, T. E.VINCENZI, A. M. R.SATO, L. M.DELAMARO, M. E.. Teste baseado em busca para geração de sequencias de sincronização para o teste de mutação de programas concorrentes. 2018. Tese (Doutorado em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.
STAA, A. V.KALINOWSKI, M.GARCIA, A. F.MURTA, L. G. P.VINCENZI, A. M. R.. Unifying Agile Requirements Specification Quality Control and Implementation Conformance Assurance. 2018. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.
SIMÃO, A. S.; GAULDEL, M. A. R.;VINCENZI, A. M. R.OLIVEIRA, M. V. M.MOREIRA, A. M.. Teste de mutação formal aplicado na álgebra de processos Circus. 2018. Tese (Doutorado em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.
CAMILO-JUNIOR, C. G.RODRIGUES, C. L.FREITAS, E. N. A.LEITAO JUNIOR, P. S.VINCENZI, AURI M.R.. FTMES@r: Um Método de Localização de Defeitos Baseado em Estratégias de Execução de Mutantes. 2018. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Goiás.
SIMÃO, A. S.FORTES, R. P. M.BRAGA, R. T. V.VINCENZI, A. M. R.CHAIM, M. L.. 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.
VINCENZI, A. M. R.FERRARI, F. C.DIAS NETO, A. C.RODRIGUES, C. L.LEITAO JUNIOR, P. S.. 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.
VINCENZI, A. M. R.OLIVEIRA, C. S.JUBILEU, A. P.CAMILO JUNIOR, C. G.LEITAO JUNIOR, P. S.. 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.
MORANDIN JUNIOR, O.VINCENZI, A. M. R.MUNARI JUNIOR, P. A.SANCHES, D. S.CARVALHO, V. O.. 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.
MOURA, H. P.SILVA, F.Oliveira, J. L.VINCENZI, A. M. R.. 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.
GEROSA, M. A.HIRATA JUNIOR, R.VINCENZI, A. M. R.VALENTE, M. T. O.SANTOS JUNIOR, C. D.. 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.
FABBRI, S. C. P. F.CAURIN, G. A. P.GIMENES, I. M. S.VINCENZI, A. M. R.. 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.
VINCENZI, A. M. R.; GARCIA, L. P. F.;SILVA, T. L. C.. Meta-learning driven approach for transparent Automated Natural Language Processing. 2024. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de São Carlos.
CAMILO JUNIOR, C. G.VINCENZI, A. M. R.LEITAO JUNIOR, P. S.. Aplicando Redes Neurais Profundas na Localização de Falhas de Software. 2022. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Goiás.
DELAMARO, M. E.OLIVEIRA, L. F. M.VINCENZI, A. M. R.SOUZA, F. C. M.. Uso da similaridade entre programas como preditor de mutantes equivalentes. 2022. Exame de qualificação (Doutorando em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.
LUCREDIO, D.VINCENZI, A. M. R.ANDRADE, R. M. C.. Um Controlador de Teste de Regressão para a Minimização e Seleção de Conjuntos de Testes em Runtime para Sistemas Adaptativos. 2019. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de São Carlos.
VINCENZI, A. M. R.LUCREDIO, D.ISOTANI, S.. Usando gamificação como agente facilitador no desenvolvimento de software. 2018. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de São Carlos.
SOUZA, S. R. S.COLANZI, T. E.VINCENZI, A. M. R.MALDONADO, J. C.. Geração automática de dados testes para programas concorrentes. 2018. Exame de qualificação (Doutorando em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.
VINCENZI, A. M. R.RIBEIRO, M. M.SOUZA, S. R. S.. 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.
DELAMARO, M. E.FERRARI, F. C.SOUZA, S. R. S.VINCENZI, A. M. R.. 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.
VINCENZI, A. M. R.MALDONADO, J. C.CAMILO JUNIOR, C. G.. 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.
VINCENZI, A. M. R.CAMILO JUNIOR, C. G.CHAIM, M. L.RODRIGUES, C. L.. 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.
VINCENZI, A. M. R.FERRARI, F. C.FALBO, R. A.. 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.
PAIVA, F. F.VINCENZI, A. M. R.TRAVIESO, G.. 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.
VINCENZI, A. M. R.HORA, A. C.CAFEO, B. B. P.. 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.
SOUZA, S. R. S.SIMÃO, A. S.FORTES, R. P. M.VINCENZI, A. M. R.. 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.
VINCENZI, A. M. R.DIAS NETO, A. C.RODRIGUES, C. L.NASCIMENTO, H.A.D.. 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.
DIAS NETO, A. C.VINCENZI, A. M. R.BARRETO, R. S.. 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.
VINCENZI, A. M. R.CAMILO JUNIOR, C. G.LEITAO JUNIOR, P. S.CHAIM, M. L.. 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.
VINCENZI, A. M. R.DIAS NETO, A. C.LEITAO JUNIOR, P. S.RODRIGUES, C. L.. 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.
ENDO, A. T.VINCENZI, A. M. R.; RODRIGUEZ, L. M. G.. Estratégias de Teste Exploratório para Desenvolvedores de Software. 2025. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.
ENDO, A. T.VINCENZI, A. M. R.VERGÍLIO, S. R.. Uma Abordagem baseada em DevOps para Detecção de Testes Flaky. 2024. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.
MALDONADO, J. C.VINCENZI, A. M. R.SOUZA, S. R. S.. PORTAS - Em direção documentação como código em softwares críticos. 2024. Exame de qualificação (Mestrando em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.
SOUZA, S. R. S.VINCENZI, A. M. R.MACHADO, R. C. S.. Teste de Mutação para Avaliação da Segurança de Aplicações Android em Ensaios de Proficiência de Software?. 2023. Exame de qualificação (Mestrando em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.
SIMÃO, A. S.VINCENZI, A. M. R.PARDO, T. A. S.. Uso de LLM para a criação de casos de teste. 2023. Exame de qualificação (Mestrando em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.
FERRARI, F. C.LUCREDIO, D.VINCENZI, A. M. R.. Emprego de Similaridade entre Programas como Recurso para Aplicação de Teste de Mutação com Custo Reduzido. 2020. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.
SOUZA, S. R. S.SIMÃO, A. S.VINCENZI, A. M. R.. Study and definition of project attributes for selection of testing techniques for concurrent software. 2019. Exame de qualificação (Mestrando em Ciência da Computação e Matemática Computacional) - Universidade de São Paulo.
VINCENZI, A. M. R.DELAMARO, M. E.BEDER, D. M.. Geração Automática de Dados de Teste Para Critérios de Teste Baseados em Mutação. 2019. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.
BULCÃO-NETO, RENATO F.GRACIANO NETO, V. V.VINCENZI, AURI M.R.. Suporte Automatizado para o Uso de Padrões de Requisitos Baseados em Comportamento. 2019. Exame de qualificação (Mestrando em Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
LUCREDIO, D.VINCENZI, A. M. R.RODRIGUES, E. M.. 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.
FERRARI, F. C.VINCENZI, A. M. R.ELER, M. M.. 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.
VINCENZI, A. M. R.DELAMARO, M. E.JORGE, R. F.. 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.
FABBRI, S. C. P. F.VINCENZI, A. M. R.FERRARI, F. C.. 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.
OLIVEIRA, H. C.VINCENZI, A. M. R.GARCIA, R. E.. 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.
BEDER, D. M.LUCREDIO, D.VINCENZI, A. M. R.. 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.
RODRIGUES, C. L.CAMILO-JUNIOR, C. G.VINCENZI, A. M. R.. 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.
CAMILO-JUNIOR, C. G.RODRIGUES, C. L.VINCENZI, A. M. R.. 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.
CAMARGO, V. V.LUCREDIO, D.VINCENZI, A. M. R.. 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.
FABBRI, S. C. P. F.VINCENZI, A. M. R.LUCREDIO, D.. 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.
BEDER, D. M.VINCENZI, A. M. R.SANTOS, M. T. P.. 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.
CHAIM, M. L.VINCENZI, AURI M.R.ELER, M.. 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.
DIAS NETO, A. C.VINCENZI, A. M. R.CORDEIRO, L. C.. 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.
DIAS NETO, A. C.FEITOSA, E.VINCENZI, A. M. R.. 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.
SOUZA, S. R. S.VINCENZI, A. M. R.MALDONADO, J. C.. 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.
FABBRI, S. C. P. F.FERRARI, F. C.VINCENZI, A. M. R.. 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.
DIAS NETO, A. C.VINCENZI, A. M. R.BARRETO, R. S.. 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.
SOUZA, S. R. S.MALDONADO, J. C.VINCENZI, A. M. R.. 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.
SOUZA, S. R. S.SIMÃO, A. S.VINCENZI, A. M. R.. 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.
VINCENZI, A. M. R.SPOTO, E. S.. 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.
VINCENZI, A. M. R.LUCENA, F. N.. 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.
LUCENA, F. N.VINCENZI, A. M. R.. 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.
LUCENA, F. N.VINCENZI, A. M. R.. 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.
LUCENA, F. N.VINCENZI, A. M. 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.
LUCENA, F. N.VINCENZI, A. M. R.. 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.
LUCENA, F. N.VINCENZI, A. M. R.. 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.
BEDER, D. M.VINCENZI, A. M. R.LUCREDIO, D.. Um Estudo sobre Jogos Eletrônicos para o Ensino de Engenharia de Software. 2025. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de São Carlos.
ENDO, A. T.VINCENZI, A. M. R.LUCREDIO, D.. Um estudo sobre o uso de módulos core em testes automatizados de aplicações Node.js. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de São Carlos.
VINCENZI, A. M. R.ENDO, A. T.BEDER, D. M.. Study And Quality Evaluation Of LLM?s Generated Unit Test Sets For C Programs. 2024. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de São Carlos.
VINCENZI, A. M. R.ENDO, A. T.BEDER, D. M.. ANÁLISE DE METODOLOGIAS E ESTRATÉGIAS DE TESTES DE API REST: UM ESTUDO DE CASO. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de São Carlos.
VINCENZI, A. M. R.ENDO, A. T.BEDER, D. M.. An Initial Investigation of Chatgpt Unit Test Generation Capability. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de São Carlos.
VINCENZI, A. M. R.ENDO, A. T.BEDER, D. M.. Mock Objects: Um Estudo de Caso de uma Aplicação na Indústria. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de São Carlos.
VINCENZI, A. M. R.ANDRADE, S. A.FERRARI, F. C.. Um estudo comparativo de ferramentas de apoio ao teste de mutação para Python. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de São Carlos.
CIFERRI, R. R.VINCENZI, A. M. R.; PORTES, A. C. R. B.. Validação de workflows de ETL no Orange 3 baseados no modelo conceitual Intuitive. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de São Carlos.
CIFERRI, R. R.VINCENZI, A. M. R.; PORTES, A. C. R. B.. Validação do modelo Intuitive para workflows de ETL utilizando draw.io. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de São Carlos.
FERRARI, F. C.VINCENZI, A. M. R.CAMARGO, V. V.. Estudo comparativo entre ferramentas de automatização de teste de software em plataforma web. 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de São Carlos.
VINCENZI, A. M. R.BEDER, D. M.LUCREDIO, D.. Aplicação de Avaliação de Cobertura de Código e Testes Automatizados em Robot Framework. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de São Carlos.
VINCENZI, A. M. R.ABIB, S.LUCREDIO, D.. 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.
MACEDO, F. C.VINCENZI, A. M. R.TRINDADE, C. C.. 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.
PEREIRA, S. G. M.TRINDADE, C. C.VINCENZI, A. M. R.. 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.
PEREIRA, S. G. M.TRINDADE, C. C.VINCENZI, A. M. R.. 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.
PEREIRA, S. G. M.MACEDO, F. C.VINCENZI, A. M. R.. 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.
PEREIRA, S. G. M.VINCENZI, A. M. R.MACEDO, F. C.. 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.
VINCENZI, A. M. R.SPOTO, E. S.. 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.
VINCENZI, A. M. R.. 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.
VINCENZI, A. M. R.. 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.
VINCENZI, A. M. R.MARQUES, F. L. dos S. N.. 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.
VINCENZI, A. M. R.. 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.
SPOTO, E. S.VINCENZI, A. M. R.. 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.
VINCENZI, A. M. R.SPOTO, E. S.. 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.
VINCENZI, A. M. R.MONARD, M. C.. 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.
CARVALHO, M. A. G.; FRANCA, B. B. N.; MARTINS, L. E. G.;FANTINATO, M.VINCENZI, A. M. R.. Concurso público de provas e títulos de Professor Doutor nível MS-3.1. 2024. Universidade Estadual de Campinas.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Orientou
Improve LLM-generated test oracle based on product specifications; Início: 2025; Dissertação (Mestrado em Master in Software Engineering) - Universidade do Porto; (Coorientador);
On the Relationship Between Best Practices for Written Test Cases and Test Smells; Início: 2025; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos; (Orientador);
On the quality of LLM generated test cases for C programs; Início: 2025; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos; (Orientador);
Serious Game to Teach Software Testing; Início: 2025; Dissertação (Mestrado em Master in Software Engineering) - Universidade do Porto; (Coorientador);
Assembly-Level Mutation Operators for Android Apps; Início: 2025; Dissertação (Mestrado em Master in Informatics and Computing Engineering) - Universidade do Porto; (Coorientador);
Modelos de Distribuição de Computação em Nuvem Visando Minimizar os Custos de Aplicações Móveis; Início: 2021; Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos; (Orientador);
Investigação de Técnicas de Aprendizado de Máquina na Melhoria de Conjuntos de Testes de Microsserviços; Início: 2021; Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos; (Orientador);
Análise comparativa de métodos de detecção automática de mensagens ofensivas em textos curtos e ruidosos; 2025; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, ; Orientador: Auri Marcelo Rizzo Vincenzi;
Avaliação de Geradores Automáticos de Dados de Teste com Ênfase no Teste de Mutação; 2021; 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: Auri Marcelo Rizzo Vincenzi;
Reduzindo o custo do teste de mutação com base no conceito de arcos primitivos; 2021; 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: Auri Marcelo Rizzo Vincenzi;
Reduzindo o Custo do Teste de Mutação com Base em Informações de Análise Estática; 2019; 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: Auri Marcelo Rizzo Vincenzi;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
Towards a strategy and tool support for test generation based on good software testing practices: classification and prioritization; 2025; Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Auri Marcelo Rizzo Vincenzi;
Automated Testing of Mobile Applications: Methodological Foundations and a Practical Device Farm Solution; 2025; Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Auri Marcelo Rizzo Vincenzi;
Combinando perfil operacional do software e perfil de teste para uma estratégia de teste aderente às necessidades dos usuários; 2022; Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos, ; Orientador: Auri Marcelo Rizzo Vincenzi;
Um metamodelo para alinhamento de padrões de requisitos e padrões de testes e um framework para avaliação de metamodelos; 2021; Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos, ; Orientador: Auri Marcelo Rizzo Vincenzi;
Uma solução baseada em economia colaborativa para escalar o teste de aplicações Android em dispositivos móveis; 2019; Tese (Doutorado em Doutorado 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;
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;
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;
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;
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;
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;
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;
Análise de Metodologias e Estratégias de Testes de API Rest: Um Estudo de Caso; 2023; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal de São Carlos; Orientador: Auri Marcelo Rizzo Vincenzi;
An Initial Investigation of ChatGPT Unit Test Generation Capability; 2023; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal de São Carlos; Orientador: Auri Marcelo Rizzo Vincenzi;
Um estudo comparativo de ferramentas de apoio ao teste de mutação para Python; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Auri Marcelo Rizzo Vincenzi;
Aplicação de Avaliação de Cobertura de Código e Testes Automatizados em Robot Framework; 2018; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal de São Carlos; Orientador: Auri Marcelo Rizzo Vincenzi;
Avaliação Estrutural da 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; Orientador: Auri Marcelo Rizzo Vincenzi;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
Geração Automática de Casos de Teste com LLM: Desenvolvimento de Prompts para Teste Unitário em Java; 2023; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Auri Marcelo Rizzo Vincenzi;
Estudo e avaliação de geradores de dados de teste no contexto de programas Python; 2022; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Auri Marcelo Rizzo Vincenzi;
Um estudo comparativo de ferramentas de apoio ao teste de mutação para Python; 2021; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São Carlos, Fundação de Desenvolvimento da Pesquisa; Orientador: Auri Marcelo Rizzo Vincenzi;
Estudo e Definição de uma API para Desenvolvimento de Jogos 2D Voltada ao Ensino de Programação em Linguagem C; 2021; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Auri Marcelo Rizzo Vincenzi;
Estudo e Avaliação de Geradores de Dados de Teste no Contexto de Programas Java; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Auri Marcelo Rizzo Vincenzi;
Impacto de Ferramentas de Análise Estática em Detectar Defeitos em Programas Procedimentais e Orientados a Objetos; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Auri Marcelo Rizzo Vincenzi;
Combinando Teste Estrutural e Métricas de Software para o Estabelecimento de Confiança em Produtos de Código Aberto; 2011; 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;
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;
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;
Teste de Software na Tokenlab; 2021; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Auri Marcelo Rizzo Vincenzi;
Teste de Software no Santander; 2021; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Auri Marcelo Rizzo Vincenzi;
Teste de Software no Santander; 2021; Orientação de outra natureza; (Engenharia de Computação) - Universidade Federal de São Carlos; Orientador: Auri Marcelo Rizzo Vincenzi;
Teste de Software no Santander; 2021; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Auri Marcelo Rizzo Vincenzi;
Teste de Software na Gryfo; 2021; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Auri Marcelo Rizzo Vincenzi;
Teste de Software no PagBank/PagSeguro; 2021; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Auri Marcelo Rizzo Vincenzi;
Teste de Software na Bidie; 2020; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Auri Marcelo Rizzo Vincenzi;
Teste de Software na PagSeguro; 2020; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Auri Marcelo Rizzo Vincenzi;
Teste de Software na Monitora Soluções Tecnológicas; 2020; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Auri Marcelo Rizzo Vincenzi;
Teste de Software no Instituto de Pesquisa Eldorado; 2020; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Auri Marcelo Rizzo Vincenzi;
Teste de Software na DXC Technology; 2020; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Auri Marcelo Rizzo Vincenzi;
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;
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;
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;
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;
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;
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;
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;
Produções bibliográficas
-
KUROISHI, PEDRO HENRIQUE ; PAIVA, ANA CRISTINA RAMADA ; MALDONADO, JOSÉ CARLOS ; VINCENZI, AURI MARCELO RIZZO . Testing infrastructures to support mobile application testing: A systematic mapping study. INFORMATION AND SOFTWARE TECHNOLOGY , v. 177, p. 107573, 2025.
-
VINCENZI, AURI M.R. ; KUROISHI, PEDRO H. ; BISPO, JOÃO ; DA VEIGA, ANA R.C. ; DA MATA, DAVID R.C. ; AZEVEDO, FRANCISCO B. ; PAIVA, ANA C.R. . METFORD - Mutation tEsTing Framework fOR anDroid. JOURNAL OF SYSTEMS AND SOFTWARE , v. 222, p. 112332, 2025.
-
KUROISHI, PEDRO HENRIQUE ; MALDONADO, JOSÉ CARLOS ; VINCENZI, AURI MARCELO RIZZO . Towards the definition of a research agenda on mobile application testing based on a tertiary study. INFORMATION AND SOFTWARE TECHNOLOGY , v. 167, p. 107363, 2024.
-
NOVO KUDO, TACIANA ; BULCÃO-NETO, RENATO F. ; RIZZO VINCENZI, AURI MARCELO ; FERREIRA DE SOUZA, ÉRICA ; ROMERO FELIZARDO, KATIA . Using evidence from systematic studies to guide a PhD research in Requirements Engineering: an experience report. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT , v. 10, p. 1-10, 2022.
-
KUDO, TACIANA NOVO ; BULCÃO-NETO, RENATO DE FREITAS ; NETO, VALDEMAR VICENTE GRACIANO ; VINCENZI, AURI MARCELO RIZZO . Aligning requirements and testing through metamodeling and patterns: design and evaluation. REQUIREMENTS ENGINEERING , v. 28, p. 97-115, 2022.
-
KUDO, T. N. ; BULCAO NETO, R. F. ; VINCENZI, A. M. R. . Requirement patterns: a tertiary study and a research agenda. IET Software (Online) , v. 14, p. 18-26, 2020.
-
JÚNIOR, LUIZ CAVAMURA ; MORIMOTO, RICARDO ; FABBRI, SANDRA ; PAIVA, ANA C. R. ; VINCENZI, AURI MARCELO RIZZO . Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT , v. 8, p. 5-1 - 5:17, 2020.
-
FARIA, K. A. C. ; VINCENZI, A. M. R. ; FREITAS, E. N. A. ; GOMES, R. . On using collaborative economy for test cost reduction in high fragmented environments. Future Generation Computer Systems , v. 95, p. 502-510, 2019.
-
KUDO, TACIANA NOVO ; BULCÃO NETO, RENATO DE FREITAS ; VINCENZI, AURI MARCELO RIZZO ; MACEDO, ALESSANDRA ALANIZ . A revisited systematic literature mapping on the support of requirement patterns for the software development life cycle. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT , v. 7, p. 9, 2019.
-
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.
-
MONCAO, 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.
-
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.
-
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.
-
OLIVEIRA, 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.
-
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.
-
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.
-
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.
-
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 (Online) , (aceito para publicação), v. 12, p. 49-61, 2006.
-
VINCENZI, 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.
-
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.
-
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.
-
BARBOSA, 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.
-
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.
-
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 .
-
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 .
-
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 .
-
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 .
-
VINCENZI, A. M. R. . XXVII Brazilian Symposium on Software Engineering -- SBES'2013. 27. ed. Los Alamitos, CA: IEEE Computer Society, 2013.
-
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.
-
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.
-
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 .
-
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 .
-
Ricardo, Fernando S. D. ; Valente, Fredy J. ; de Camargo, Valter V. ; VINCENZI, AURI M. R. . Designing Blockchain-Based Systems with Clean Architecture. Lecture Notes in Networks and Systems. 26ed.: Springer Nature Switzerland, 2026, v. 1717, p. 40-51.
-
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.
-
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.
-
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.
-
de Oliveira, André Assis Lôbo ; CAMILO, CELSO G. ; de Andrade Freitas, Eduardo Noronha ; VINCENZI, AURI MARCELO RIZZO . FTScMES: A New Mutation Execution Strategy Based on Failed Tests¿ Mutation Score for Fault Localization. Communications in Computer and Information Science. 935ed.: Springer International Publishing, 2018, v. , p. 177-187.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
RINCON, ANDRÉ MESQUITA ; VINCENZI, AURI MARCELO RIZZO ; FARIA, JOÃO PASCOAL . LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs. In: 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2025, Naples. 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). New York: IEEE, 2025. p. 21.
-
KUROISHI, PEDRO HENRIQUE ; PAIVA, ANA C. R. ; MALDONADO, JOSÉ CARLOS ; VINCENZI, AURI MARCELO RIZZO . Designing Mutation Operators for Android Device Components: A View Through Bluetooth and Location API?s. In: Simpósio Brasileiro de Engenharia de Software, 2025, Brasil. Anais do XXXIX Simpósio Brasileiro de Engenharia de Software (SBES 2025). Porto Alegre, RS: Sociedade Brasileira de Computação, 2025. p. 149-159.
-
MONTEIRO, C. ; GUERINO, L. R. ; FERNANDES, G. F. ; PEREIRA, M. H. ; SOUZA-ZINADER, J. P. ; BRAGA, R. D. ; POCIVI, V. C. B. ; VINCENZI, A. M. R. . Automated Generation of End-to-End Web Test Cases via a Generic AI Agent: A Comparative Study of DeepSeek V3 and Claude Sonnet 4. In: Brazilian Symposium of Web and Multimedia Systems, 2025, Rio de Janeiro. 31st Brazilian Symposium of Web and Multimedia Systems - WebMedia'2025. Porto Alegre, RS: SBC, 2025. p. 57-66.
-
GUERINO, LUCCA RENATO ; VINCENZI, AURI MARCELO RIZZO . Exploring ChatGPT Efficiency in Automatic Test Generation for Python: A Comparative Analysis. In: Simpósio Brasileiro de Qualidade de Software, 2025, Brasil. Anais do XXIV Simpósio Brasileiro de Qualidade de Software (SBQS 2025). Porto Alegre: Sociedade Brasileira de Computação - SBC, 2025. p. 88-98.
-
GUERINO, LUCCA RENATO ; KUROISHI, PEDRO HENRIQUE ; PAIVA, ANA CRISTINA RAMADA ; VINCENZI, AURI MARCELO RIZZO . Static and Dynamic Comparison of Mutation Testing Tools for Python. In: SBQS 2024: XXIII Brazilian Symposium on Software Quality, 2024, Salvador Bahia Brazil. Proceedings of the XXIII Brazilian Symposium on Software Quality. New York, NY, USA: ACM Press. p. 199-209.
-
IBARRA, CAMILO HERNÁN VILLOTA ; DE FARIA, DANIEL LIPPI CASTRO ; ENDO, ANDRÉ TAKESHI ; BEDER, DELANO MEDEIROS ; VINCENZI, AURI MARCELO RIZZO . Mock objects: a case study in industry¿. In: SBSI '23: XIX Brazilian Symposium on Information Systems, 2023, Maceió Brazil. Proceedings of the XIX Brazilian Symposium on Information Systems, 2023. p. 396.
-
GUERINO, LUCCA ; VINCENZI, AURI . An Experimental Study Evaluating Cost, Adequacy, and Effectiveness of Pynguin's Test Sets. In: SAST 2023: 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023, Campo Grande. 8th Brazilian Symposium on Systematic and Automated Software Testing. New York: ACM, 2023. p. 5-14.
-
GUILHERME, VITOR ; VINCENZI, AURI . An initial investigation of ChatGPT unit test generation capability. In: SAST 2023: 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023, Campo Grande. 8th Brazilian Symposium on Systematic and Automated Software Testing. New York: ACM, 2023. p. 15-24.
-
KUROISHI, PEDRO HENRIQUE ; MALDONADO, JOSÉ CARLOS ; VINCENZI, AURI MARCELO RIZZO . Towards the Implementation of a Mobile Application Testing Infrastructure at Von Braun Labs. In: 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE), 2023, Florence. 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE), 2023. p. 91-101.
-
RIBEIRO, POLLYANA DE QUEIROZ ; VEIGA, ERNESTO F. ; MARTINS, MARIANA C. ; VINCENZI, AURI M. R. ; KUDO, TACIANA N. ; BULCÃO-NETO, RENATO F. . Tool support to aligning requirements and testing through behaviour-driven requirements patterns. In: Congresso IberoAmericano em Engenharia de Software, 2022, Argentina. Anais do XXV Congresso Ibero-Americano em Engenharia de Software (CIbSE 2022). p. 292.
-
COLLINS, ELIANE ; NETO, ARILO ; VINCENZI, AURI ; MALDONADO, JOSÉ . Deep Reinforcement Learning based Android Application GUI Testing. In: SBES '21: Brazilian Symposium on Software Engineering, 2021, Joinville Brazil. Brazilian Symposium on Software Engineering. New York: ACM. p. 186.
-
KUDO, TACIANA NOVO ; BULCÃO-NETO, RENATO F. ; VINCENZI, AURI M. R. . Toward a Metamodel Quality Evaluation Framework. In: SBES '20: 34th Brazilian Symposium on Software Engineering, 2020, Natal Brazil. Proceedings of the 34th Brazilian Symposium on Software Engineering. p. 102.
-
KUDO, T. N. ; BULCAO NETO, R. F. ; VINCENZI, A. M. R. . Uma Ferramenta para Construção de Catálogos de Padrões de Requisitos com Comportamento. In: Workshop em Engenharia de Requisitos - WER, 2020, São José dos Campos, SP. XXIII Workshop em Engenharia de Requisitos - WER. Rio de Janeiro, RJ: Editora PUC-Rio, 2020.
-
CAVAMURA JUNIOR, L. ; FABBRI, S. C. P. F. ; VINCENZI, A. M. R. . Perfil Operacional do Software: investigando aplicabilidades específicas. In: Congresso Ibero-Americano em Engenharia de Software - CibSE, 2020, Curitiba, PR. XXIII Congresso Ibero-Americano em Engenharia de Software - CibSE'2020, 2020.
-
ARAUJO, FILIPE SANTOS ; RIZZO VINCENZI, AURI MARCELO . How far are we from testing a program in a completely automated way, considering the mutation testing criterion at unit level?. In: SBQS'20: 19th Brazilian Symposium on Software Quality, 2020, São Luís Brazil. 19th Brazilian Symposium on Software Quality. New York: ACM. p. 1.
-
KUROISHI, PEDRO HENRIQUE ; DELAMARO, MARCIO EDUARDO ; MALDONADO, JOSÉ CARLOS ; VINCENZI, AURI MARCELO RIZZO . Reducing the Cost of Mutation Testing with the Use of Primitive Arcs Concept. In: SBQS'20: 19th Brazilian Symposium on Software Quality, 2020, São Luís Brazil. 19th Brazilian Symposium on Software Quality. New York: ACM. p. 1.
-
JÚNIOR, LUIZ CAVAMURA ; BELGAMO, ANDERSON ; MENDONÇA, VINÍCIUS RAFAEL LOBO DE ; VINCENZI, AURI MARCELO RIZZO . WarningsFIX: a Recommendation System for Prioritizing Warnings Generated by Automated Static Analyzers. In: SBQS'20: 19th Brazilian Symposium on Software Quality, 2020, São Luís Brazil. 19th Brazilian Symposium on Software Quality. p. 1.
-
BRITO, CLAUDINEI ; DURELLI, VINICIUS H. S. ; DURELLI, RAFAEL S. ; SOUZA, SIMONE R. S. DE ; VINCENZI, AURI M. R. ; DELAMARO, MARCIO EDUARDO . A Preliminary Investigation into Using Machine Learning Algorithms to Identify Minimal and Equivalent Mutants. In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2020, Porto. 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). New York: IEEE, 2020. p. 304.
-
KUDO, T. N. ; BULCAO NETO, R. F. ; MACEDO, A. A. ; VINCENZI, A. M. R. . Padrão de Requisitos no Ciclo de Vida de Software: Um Mapeamento Sistemático. In: Congresso Ibero-Americano em Engenharia de Software - CIbSE, 2019, Havana, CUBA. XXII Congresso Ibero-Americano em Engenharia de Software - CIbSE'2019. Red Hook, NY: Curran Associates, Inc, 2019. p. 420-433.
-
KUDO, TACIANA NOVO ; BULCÃO-NETO, RENATO F. ; VINCENZI, AURI M. R. . A Conceptual Metamodel to Bridging Requirement Patterns to Test Patterns. In: the XXXIII Brazilian Symposium, 2019, Salvador. Proceedings of the XXXIII Brazilian Symposium on Software Engineering - SBES 2019. New York: ACM Press, 2019. p. 155-160.
-
SOARES, FREDERICO ; M. R. VINCENZI, AURI ; REZENDE, SOLANGE ; RODRIGUES BARBOSA, JACSON ; E. DELAMARO, MÁRCIO ; BRITTO, RICARDO ; MARCONDES MARCACINI, RICARDO . BULNER: BUg Localization with word embeddings and NEtwork Regularization. In: VII Workshop on Software Visualization, 2019, Salvador, BA. Anais do VII Workshop on Software Visualization (VEM 2019), 2019. p. 21-28.
-
BELGAMO, ANDERSON ; VINCENZI, AURI MARCELO RIZZO ; FERRARI, FABIANO CUTIGI ; FABBRI, SANDRA . Using auxiliary artifacts during code inspection activity. In: the XVIII Brazilian Symposium, 2019, Fortaleza. Proceedings of the XVIII Brazilian Symposium on Software Quality - SBQS'19, 2019. p. 149-156.
-
JÚNIOR, LUIZ CAVAMURA ; MORIMOTO, RICARDO ; FABBRI, SANDRA ; VINCENZI, AURI MARCELO RIZZO . Software Operational Profile vs. Test Profile. In: the XVIII Brazilian Symposium, 2019, Fortaleza. Proceedings of the XVIII Brazilian Symposium on Software Quality - SBQS'19. New York: ACM Press, 2019. p. 139-148.
-
FAZZOLINO, R. ; VINCENZI, A. M. R. ; SILVA, S. ; SANTOS, L. S. ; FIGUEIREDO, R. M. C. ; RAMOS, C. S. ; RIBEIRO, L. . Validation Process for Services Produced by Digital Transformation. In: Conference of the Centre for Advanced Studies on Collaborative Research - CASCON'2019, 2019, Toronto, Canada. 29th Conference of the Centre for Advanced Studies on Collaborative Research - CASCON'2019, 2019. p. 354-363.
-
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.
-
LOBO DE OLIVEIRA, ANDRE ASSIS ; GONCALVES CAMILO-JUNIOR, CELSO ; NORONHA DE ANDRADE FREITAS, EDUARDO ; RIZZO VINCENZI, AURI MARCELO . FTMES: A Failed-Test-Oriented Mutant Execution Strategy for Mutation-Based Fault Localization. In: 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE), 2018, Memphis. 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE). New York: IEEE, 2018. p. 155-165.
-
SOUSA, LEONARDO DA S. ; VINCENZI, AURI M. R. ; DELAMARO, MARCIO EDUARDO ; VIEIRA, IGOR R. ; MENDONCA, VINICIUS R. L. ; RODRIGUES, CASSIO LEONARDO . Reducing the Cost of Mutation Testing Using the Semantic Size of Mutant. In: 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2018, Miyazaki. 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC). New York: IEEE, 2018. p. 2675-2680.
-
CARVALHO, JOSE REGINALDO H. ; VNICENZI, AURI ; MALDONADO, JOSE CARLOS ; GONCALVES, MARCEL . Industry and Academia Partnership for Short-time High-level Qualification. In: 2018 IEEE Frontiers in Education Conference (FIE), 2018, San Jose. 2018 IEEE Frontiers in Education Conference (FIE), 2018. p. 1-8.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
BARBOSA, RAFAEL ; SANTOS, LETÍCIA ; FIGUEIREDO, REJANE ; PEDROSA, GLAUCO ; VINCENZI, AURI ; GARDENGHI, JOHN . Towards an Approach for Improving Exploratory Testing Tour Assignment based on Testers? Profile. In: 24th International Conference on Enterprise Information Systems, 2022, Online Streaming. Proceedings of the 24th International Conference on Enterprise Information Systems, 2022. v. 2. p. 183-190.
-
VINCENZI, AURI M. R. ; BARBOSA, ANA P. S. ; SOUSA, CÁSSIO DOS SANTOS ; POLIMANTI, CAUÊ ; OLIVEIRA, FELIPE ; DE PAULA, GUSTAVO ; MALDONADO, JOSÉ C. . Loggi: Treinamento Localizado em Automatização de Teste de Software em Ambiente Empresarial. In: XI Congresso Brasileiro de Software: Teoria e Prática, 2020, Brasil. Anais Estendidos do XI Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2020). p. 123.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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).
-
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).
-
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).
-
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).
-
VINCENZI, A. M. R. . Estado da Prática em Teste de Software. 2007. (Apresentação de Trabalho/Conferência ou palestra).
-
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).
-
MALDONADO, J. C. ; VINCENZI, A. M. R. . Introducion to Software Testing. 2007. (Apresentação de Trabalho/Outra).
-
VINCENZI, A. M. R. . Estado da Prática em Teste de Software. 2007. (Apresentação de Trabalho/Conferência ou palestra).
-
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).
-
VINCENZI, A. M. R. . Estado da Prática em Teste de Software. 2007. (Apresentação de Trabalho/Conferência ou palestra).
-
VINCENZI, A. M. R. . Teste de Software: Teoria e Prática. 2006. (Apresentação de Trabalho/Conferência ou palestra).
-
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).
-
VINCENZI, A. M. R. . Qualidade no Processo de Produção de Software. 2005. (Apresentação de Trabalho/Conferência ou palestra).
-
VINCENZI, A. M. R. . Introdução ao Teste de Software. 2005. (Apresentação de Trabalho/Conferência ou palestra).
-
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).
-
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).
-
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).
-
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).
-
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).
-
VINCENZI, A. M. R. . Critérios de Teste de Software: Análise de Mutantes. 1997. (Apresentação de Trabalho/Conferência ou palestra).
-
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).
-
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).
-
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).
-
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).
-
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).
-
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).
-
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).
Outras produções
FARIA, K. A. C. ; VINCENZI, A. M. R. . Distributed Bug Buster - DBB - Plataforma de Teste Móvel com uso de Economia Colaborativa. 2019.
MENDONÇA, V. R. L. ; VINCENZI, A. M. R. . WarningsFIX - Meta ferramenta de análise estática. 2018.
FREITAS, E. N. A. ; FARIA, K. A. C. ; CAMILO JUNIOR, C. G. ; VINCENZI, A. M. R. . Android Mirror Tool - AMT - Espelhamento de Teste em Dispositivos Móveis. 2016.
VINCENZI, A. M. R. ; DELAMARO, M. E. ; WONG, W. E. ; MALDONADO, J. C. . JaBUTi: Java Bytecode Understanding and Testing. 2004.
VINCENZI, A. M. R. ; CAMILO JUNIOR, C. G. ; RODRIGUES, C. L. ; ARAUJO, A. F. ; LOUZADA, J. ; RODRIGUES, P. M. S. . Método FreeTest. 2013.
SIMÃO, A. S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; SANTANA, A. C. L. . Software product instrumentation description. 2002.
DELAMARO, M. E. ; PEZZÈ, M. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Mutation Testing to Multi-Threaded JAVA Programs. 2001.
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.
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).
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).
VINCENZI, A. M. R. ; BEDER, D. M. . Prática de DevOps com Docker: Exemplos em Java. 2024. (Desenvolvimento de material didático ou instrucional - Livro).
VINCENZI, A. M. R. ; LUCREDIO, D. ; LEITE, M. ; KATO, D. . Prática de DevOps com Docker para Machine Learning: Exemplos em Python. 2024. (Desenvolvimento de material didático ou instrucional - Livro).
VINCENZI, A. M. R. ; MALDONADO, J. C. . Teste de Software na Loggi Technology. 2020. (Curso de curta duração ministrado/Extensão).
VINCENZI, A. M. R. . Consultor ad-hoc: APCN'2020-CAPES. 2020. (Consultoria ad hoc).
VINCENZI, A. M. R. . Consultor ad-hoc: Projeto de Pesquisa Regular FAPESP. 2020. (Consultoria ad hoc).
VINCENZI, A. M. R. . Consultor ad-hoc: Projeto PIPE FAPESP. 2020. (Consultoria ad hoc).
VINCENZI, A. M. R. . Revisor de artigo: Automated Software Testing - AST'2020. 2020. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Consultor ad-hoc: APCN'2019-CAPES. 2019. (Consultoria ad hoc).
VINCENZI, A. M. R. . Membro de comitê de programa: VII Workshop on Software Visualization, Evolution and Maintenance - VEM'2019. 2019. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: IV Brazilian Symposium on Systematic and Automated Software Testing - SAST12018 - do X Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2019. 2019. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: XXXIII Simpósio Brasileiro de Engenharia de Software - SBES'2019 do X Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2019. 2019. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: XII Simpósio Brasileiro de Qualidade de Software (Trilha de Trabalhos Técnicose Trilha de Educação) - SBQS'2019. 2019. (Comitê de programa de evento científico).
VINCENZI, A. M. R. ; DELAMARO, M. E. ; MALDONADO, J. C. . Material de Treinamento e Capacitação em Teste de Software. 2018. (Desenvolvimento de material didático ou instrucional - Curso de Formação Profissional).
VINCENZI, A. M. R. . Membro de comitê de programa: VI Workshop on Software Visualization, Evolution and Maintenance - VEM'2018. 2018. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: XXI Ibero-American Conference on Software Engineering - CibSE'2018. 2018. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: III Brazilian Symposium on Systematic and Automated Software Testing - SAST12018 - do IX Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2018. 2018. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: XXXII Simpósio Brasileiro de Engenharia de Software - SBES'2018 do IX Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2018. 2018. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: XI Simpósio Brasileiro de Qualidade de Software (Trilha de Trabalhos Técnicose Trilha de Relatos de Experiência) - SBQS'2018. 2018. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Revisor de artigo: Brazilian Symposium on Software Components, Architectures, and Reuse - SBCARS'2017. 2017. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Revisor de artigo: IV International Workshop on Software Engineering Research and Industrial Practice - SER&IP'2017. 2017. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: V Workshop on Software Visualization, Evolution and Maintenance - VEM'2017. 2017. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de ptrograma: XX Ibero-American Conference on Software Engineering - CibSE'2017. 2017. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: The 12th International Workshop on Mutation Analysis - Mutation'2017. 2017. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: XXXI Simpósio Brasileiro de Engenharia de Software - SBES'2017 do VIII Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2017. 2017. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: X Simpósio Brasileiro de Qualidade de Software (Trilha de Trabalhos Técnicose Trilha de Relatos de Experiência) - SBQS'2017. 2017. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de comitê de programa: Simpósio 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Revisor de artigo: International Colloquium on Software-intensive Systems-of-Systems - ICSoS'2016. 2016. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: Third International Conference on Trustworthy Systems and Their Applications - TSA'2016. 2016. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: Workshop de Software Livre WSL'2016. 2016. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: IV Workshop on Software Visualization, Evolution and Maintenance - VEM'2016. 2016. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: XI International Workshop on Mutation Analysis - Mutation'2016. 2016. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: Experimental Software Engineering Latin American Workshop - ESELAW'2016. 2016. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: I Brazilian Symposium on Systematic and Automated Software Testing - SAST'2016 do VII Congresso Brasileiro de Software: Teoria e Prática - CBSoft'2016. 2016. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: XI Simpósio Brasileiro de Qualidade de Software (Trilha de Trabalhos Técnicos) - SBQS'2016. 2016. (Comitê de programa de evento científico).
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).
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).
VINCENZI, A. M. R. . FreeTest - Implantando Processos de Teste. 2015. (Curso de curta duração ministrado/Extensão).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de comitê de programa: Software Testing Track of ACM RACS 2015. 2015. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Geração de Dados de Teste. 2014. .
VINCENZI, A. M. R. . Membro de comitê de programa: International Symposium on Search Based Software Engineering - SSBSE'2014. 2014. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de comitê de programa: VIII Workshop Brasileiro de Teste de Software Sistemático e Automatizado - SAST'2014. 2014. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: V Workshop de Engenharia de Software Baseada em Busca - WESB'2014. 2014. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de comitê de programa: XV International Free Software Workshop - WSL'2014. 2014. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de comitê de programa: XII Simpósio Brasileiro de Qualidade de Software. 2013. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de comitê de programa: Jornada de Pesquisa do Instituto de Informática - JOPINF'2013. 2013. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de comitê de programa: IV Workshop de Engenharia de Software Baseada em Busca - WESB'2013. 2013. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de comitê de programa: VII Workshop Brasileiro de Teste de Software Sistemático e Automatizado - SAST'2013. 2013. (Comitê de programa de evento científico).
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).
VINCENZI, A. M. R. ; FEITOSA, M. D. ; DA COSTA, U. S. . XIX Workshop sobre Educação em Computação - WEI. 2011. (Editoração/Anais).
VINCENZI, A. M. R. ; CONTE, T. ; PRADO, M. P. . VII Experimental Software Engineering Latin American Workshop - ESELAW. 2010. (Editoração/Anais).
VINCENZI, A. M. R. . Membro de comitê de programa: XXXV Conferência Latino-Americana de Informática - CLEI'2009. 2009. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa XVII Workshop sobre Educação em Computação - WEI'2009. 2009. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de comitê de programa: V Simpósio Brasileiro de Sistemas de Informação - SBSI'2009. 2009. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Revisor de artigo: First International Conference on Software Testing, Verification and Validation - ICST'2008. 2008. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de comitê de programa: II IEEE International Conference on Secure System Integration and Reliability Improvement ? SSIRI?2008. 2008. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: XVI Workshop sobre Educação em Computação - WEI'2008. 2008. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: V Experimental Software Engineering Latin America Workshop - ESELAW'2008. 2008. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: VIII Fórum de Informática e Tecnologia de Maringá - FITEM'2008. 2008. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Consultor ad-hoc: Avaliação de Projetos de Pesquisa para a Universidade Federal do Rio Grande do Norte. 2008. (Consultoria ad hoc).
VINCENZI, A. M. R. . XIV Sessão de Ferramentas do Simpósio Brasileiro de Engenharia de Software. 2007. (Editoração/Anais).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de comitê de programa: XXI Simpósio Brasileiro de Engenharia de Software - SBES'2007. 2007. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: VIII Argentine Symposium on Software Engineering - ASSE'2007. 2007. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de comitê de programa: XV Workshop sobre Educação em Computação - WEI'2007. 2007. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Revisor de artigo: VII International Conference on Quality Software - QSIC'2007. 2007. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Membro de comitê de programa: IV Experimental Software Engineering Latin America Workshop - ESELAW'2007. 2007. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Consultor ad-hoc: Fundação Educacional Severino Sombra - Universidade Severino Sombra. 2007. (Consultoria ad hoc).
VINCENZI, A. M. R. . Revisor de artigo: VII Workshop de Informática Médica - WIM'2007. 2007. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Membro de 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).
VINCENZI, A. M. R. . Membro de comitê de programa: XIV Workshop sobre Educação em Computação - WEI'2006. 2006. (Comitê de programa de evento científico).
VINCENZI, A. M. R. . Revisor de artigo: XVII International Symposium on Software Reliability Engineering - ISSRE'2006. 2006. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Revisor de artigo: II Conferência Internacional de Visões Inovadoras em Tecnologias .Net - IVNET'2006. 2006. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Revisor de artigo: V Simpósio Brasileiro de Qualidade de Software - SBQS'2006. 2006. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Revisor de artigo: Relatos de Experiência do V Simpósio Brasileiro de Qualidade de Software - SBQS'2006. 2006. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Revisor de artigo: VI Workshop de Desenvolvimento Baseado em Componentes - WDBC'2006. 2006. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Revisor de artigo: XXXIII Seminário Integrado de Software e Hardware - SEMISH'2006. 2006. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Revisor de artigo: V International Symposium on Empirical Software Engineering - ISESE'2006. 2006. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Revisor de artigo: XX Simpósio Brasileiro de Engenharia de Software - SBES'2006. 2006. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. ; LUCENA, F. N. . Introdução à Linguagem Java. 2005. (Curso de curta duração ministrado/Extensão).
VINCENZI, A. M. R. . Revisor de artigo: 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).
VINCENZI, A. M. R. . Revisor de artigo: IV Simpósio Brasileiro de Qualidade de Software - SBQS'2005. 2005. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Revisor de artigo: 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).
VINCENZI, A. M. R. . Revisor de artigo: II Jornada do Conhecimento e da Tecnologia - JCT'2005. 2005. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Revisor de artigo: 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).
VINCENZI, A. M. R. . Revisor de artigo: XVIII Simpósio Brasileiro de Engenharia de Software - SBES'2004. 2004. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Revisor de artigo: 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).
VINCENZI, A. M. R. . Revisor de artigo: XXIX Conferência Latino Americana de Informática - CLEI'2003. 2003. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Revisor de artigo: IX Sompósio Brasileiro de Sistemas Multimídia e Web - WEBMÍDIA'2003. 2003. (Revisão de artigos para evento científico).
VINCENZI, A. M. R. . Revisor de artigo: 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).
VINCENZI, A. M. R. . Revisor de artigo: Minicursos do XVI Simpósio Brasileiro de Engenharia de Software - SBES'2002. 2002. (Revisão de artigos para evento científico).
Projetos de pesquisa
-
2025 - Atual
Mapeamento e Aprimoramento de Casos de Teste com Instruções em Linguagem Natural Baseada em Casos de Teste Bem-Sucedidos, Descrição: Este projeto tem o potencial de transformar a forma como os testes de software são realizados, trazendo avanços significativos na eficiência e na qualidade do processo de desenvolvimento de software. Com a automação inteligente de testes, as empresas poderão lançar produtos mais robustos e confiáveis, ao mesmo tempo em que reduzem os custos e o tempo de desenvolvimento, permitindo uma entrega mais rápida e segura de soluções tecnológicas ao mercado, beneficiando tanto os desenvolvedores quanto os usuários finais.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Doutorado: (1) . , Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / Juliana Pereira de Souza-Zinader - Integrante / Renata Dutra Braga - Integrante / Lucca Renato Guerino - Integrante / Marcos Heyse Pereira - Integrante / Guilherme Frazão Fernandes - Integrante / Viviane Carla Batista Pocivi - Integrante / Caio Eduardo Oliveira Monteiro - Integrante.
-
2022 - Atual
Teste de Software Baseado em Mutação com Alta Eficácia e Baixa Dívida Técnica: Processo Automatizado e Protótipo de Ambiente de Apoio Livres, Descrição: Objetivo: Considerando a relevância da automatização da atividades de teste para a indústria de produção de software e a relevância do teste baseado em mutação a partir de evidências científicas, neste projeto tem-se por objetivo definir um processo de teste baseado em mutação que possa ser executado de forma 100 automatizado por meio de um ambiente de teste de apoio, ambiente este que será especificado, implementado e validado com aplicações industriais e open-source. Métodos: Investigar e automatizar três problemas clássicos do teste de mutação: 1) geração de mutantes; 2)execução dos mutantes; e a 3) análise dos mutantes vivos e equivalentes no processo de teste. Na geração, pretende-se utilizar análise estática e informações de fluxo de controle e de dados para selecionar os pontos em que as mutações serão realizadas, além de selecionar tipos específicos de operadores a serem utilizados em função das características do produto em teste. Na execução dos mutantes, é importante que seja feita uma seleção de bons casos de teste com alta probabilidade de matar mutantes não equivalentes. Para isso, entende-se que devem ser combinados diferentes geradores automáticos de dados de teste e, possivelmente, desenvolvidos novos algoritmos de geração para matar mutantes gerados por operadores de mutação específicos. Na análise dos mutantes vivos e equivalentes serão definidas e avaliadas estratégias, de forma automatizada, para a determinação de mutantes equivalentes, utilizando-se heurísticas, aprendizado Bayesiano, e a frequência de execução dos mutantes pelos casos de teste. Resultados esperados: serão gerados um processo de teste e um ambiente de apoio gratuito, além de dados de experimentação que permitirão a geração de benchmarks de teste para C, Java e Python, viabilizando o desenvolvimento de novas pesquisas relacionadas ao teste de mutação, principalmente no contexto dessas linguagens de programação. Processo e Ambiente serão aplicados e avaliados em parceiros industriais os quais manifestaram apoio e interesse no uso do processo resultante deste projeto de pesquisa. Débito técnico no contexto desta proposta caracteriza os riscos associados à produção e à liberação de produtos de software, tendo como base o critério deteste baseado em mutação. Conclusões: Pretende-se viabilizar a aplicação do teste de mutação como um importante mecanismo de garantia da qualidade de produtos de software de forma totalmente automatizada, favorecendo a transferência tecnológica e aplicação do teste de mutação para a indústria, com a consequente evolução da capacidade de produção de software da indústria brasileira.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (2) . , Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / José Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante / Rodrigo Funabashi Jorge - Integrante / Fabiano Cutigi Ferrari - Integrante / Delano Medeiros Beder - Integrante / Anderson Belgamo - Integrante / Lucas Bueno Ruas de Oliveira - Integrante / Ana Cristina Ramada Paiva - Integrante / Rodrigo Elias Bianchi - Integrante / André Di Thommazo - Integrante / Fernando Vernal Salina - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro., Número de produções C, T & A: 5
-
2020 - 2023
Validação de Aplicações para Cidades Inteligentes: Uma Abordagem Baseada em Defeitos, Projeto certificado pelo(a) coordenador(a) Fabiano Cutigi Ferrari em 10/12/2020., Descrição: Contexto: Aplicações para Cidades Inteligentes já são uma realidade para diversos domínios críticos como transporte e mobilidade urbana, saúde, residências, e segurança pública, dentre outros. Por exemplo, tecnologias para o controle de tráfego ajudam a reduzir o tempo no trânsito em grandes cidades; porém, falhas em tempos semafóricos, por exemplo, podem causar acidentes, trazendo sérios danos à população e elevando o nível de desconfiança em relação a essas tecnologias. Assim, essas aplicações precisam ser robustas e corretas. A despeito disso, observa-se que técnicas atuais para se implementar tais atributos de qualidade focam em partes específicas dos sistemas (por exemplo, nas redes de sensores) ou não são suficientemente refinadas para serem aplicadas em nível de código fonte. Objetivo: Definir uma abordagem baseada em defeitos, contemplando-se técnicas de tolerância a defeitos e teste de mutação, para o desenvolvimento e a validação de aplicações para Cidades Inteligentes, com foco nos domínios de mobilidade urbana e gestão de tráfego. Método: Será construído um catálogo de tipos de defeitos, erros e falhas inerentes a esses sistemas. O catálogo embasará a definição de abordagens de tolerância a defeitos e de teste de mutação para o contexto investigado. Ferramental de apoio (injeção de erros, e teste de mutação) será desenvolvido e integrado entre si, e também integrado em um simulador de aplicações para Cidades Inteligentes. Estudos experimentais serão conduzidos para avaliar e refinar as abordagens e ferramentas propostas. Resultados Esperados: Contribuições teóricas (catálogo de tipos de defeitos, erros e falhas; e as abordagens de tolerância a defeitos e de teste de mutação), de automatização (ferramentas) e experimentais (resultados de estudos de avaliação), as quais promovem avanço no desenvolvimento de aplicações para Cidades Inteligentes e contribuem para a transferência tenológica academia-indústria nesse importante domínio de sistemas computacionais.Vigência: 01/02/2021 a 31/01/2023. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (2) . , Integrantes: Auri Marcelo Rizzo Vincenzi - Integrante / Fabiano Cutigi Ferrari - Coordenador / Valter Vieira de Camargo - Integrante / Márcio de Medeiros Ribeiro - Integrante / Andrew Jefferson Offutt - Integrante / André Luiz Lins de Aquino - Integrante / Baldoino Fonseca dos Santos Neto - Integrante / Rohit Gheyi - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Alagoas - Auxílio financeiro.
-
2019 - 2025
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 validaçã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: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / José Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante / Fabiano Cutigi Ferrari - Integrante / Valter Vieira de Camargo - Integrante / Delano Medeiros Beder - Integrante / Daniel Lucrédio - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa., Número de produções C, T & A: 2
-
2018 - 2022
Definição de Padrões de Requisitos e de Testes para Apoio ao Desenvolvimento de Software, Descrição: Uma vez que padrões de requisitos agrupam serviços e comportamentos comuns a um grupo de aplicações, e que padrões de testes podem apontar defeitos de uma gama de aplicações com características similares, acredita-se que o uso integrado de padrões de requisitos e padrões de testes possa facilitar as atividades ligadas à Engenharia de Requisitos e Testes de aplicações de Software em diferentes contextos. O objetivo desta pesquisa é, portanto, demonstrar que o uso integrado de padrões de requisitos e de testes, pode reduzir a complexidade de desenvolvimento de diferentes tipos de aplicações e acelerar o processo de garantia da qualidade.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . , Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / Renato de Freitas Bulcão Neto - Integrante., Financiador(es): Universidade Federal de São Carlos - Remuneração., Número de produções C, T & A: 4
-
2017 - 2019
Projeto de Pesquisa, Desenvolvimento e Inovação para a Automação de Serviços Públicos no âmbito da Jornada da Transformação dos Serviços - GEPRO_TED_MP_SEGES_AUTOMAÇÃO_2017, Descrição: O Projeto de Pesquisa tem como objetivo geral contribuir com a transformação digital, identificando e desenvolvendo metodologias, modelos e ferramentas que promovam de maneira inovadora a Automação de Serviços Públicos orientadas aos cidadãos e às organizações, no âmbito da Jornada da Transformação dos Serviços, fomentada pelo Ministério do Planejamento, Desenvolvimento e Gestão (MP). Para o escopo desta pesquisa foram definidos objetivos específicos relacionados a transformação digital, conforme as fases do KIT Transformação Digital e as atividades de produção acadêmica e técnica. Neste contexto de um Projeto de Pesquisa, foram definidos os objetivos específicos deste plano: - Definição e execução de atividades de verificação e validação de instrumento de avaliação da apropriação do serviço de digitização pelos órgãos; - Definição e execução de atividades de verificação e validação do monitoramento do Serviço de Automação e da Ferramenta de automação pelos órgãos; - Desenvolver e publicar trabalhos acadêmicos e científicos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Auri Marcelo Rizzo Vincenzi - Integrante / Rejane Maria da Costa Figueiredo - Coordenador., Financiador(es): Ministério do Planejamento, Orçamento e Gestão - Bolsa., Número de produções C, T & A: 1
-
2016 - 2022
Avaliação do Impacto do Perfil Operacional do Software em Atividades de Garantia da Qualidade, Descrição: O perfil operacional do software consiste na avaliação de quais áreas de determinado produto de software são mais relevantes para determinado grupo de usuários. Identificar tais áreas é de grande importância para diferentes atividades de desenvolvimento de software, em especial, para a área de teste de software. Sabendo antecipadamente quais áreas do software são mais utilizadas pela maior parte de seus usuários permite o estabelecimento de estratégias de teste e atividades de garantia de qualidade direcionadas, maximizando a detecção de defeitos importantes e, ao mesmo tempo, direcionando melhor os recursos disponíveis para o que realmente importa. Nesse projeto de pesquisa, o perfil operacional é utilizado como base para o direcionamento de atividades de garantida da qualidade e a avaliação dos resultados obtidos é feita por meio de estudos experimentais com produtos de software livres e/ou proprietários para os quais seja possível a coleta do perfil operacional.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Doutorado: (1) . , Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / Ana Cristina Ramada Paiva - Integrante., Número de produções C, T & A: 1
-
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 validaçã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.
-
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.
-
2010 - 2013
Processo e Técnicas de Teste no Contexto de Sistemas Embarcados Críticos, Descrição: CNPq - Processo 308745/2009-4 - Chamada: PQ 10/2009Sistemas 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: 4
-
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. Oobjetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade nopaís sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologiaimportante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meioambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve gruposde pesquisadores de nove universidades brasileiras e sete empresas. Os principais objetivosmais específicos são o desenvolvimento de pesquisas para a construção de sistemasembarcados críticos com ênfase para veículos autônomos móveis e a construção de pelomenos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de seremtransferidos 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 esseconhecimento e possa ser usada para o treinamento de pessoal formado na área; a produção demestres e doutores e produção intelectual na forma de artigos científicos apresentados epublicados 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: 4
-
2008 - 2011
Combinando Teste Estrutural e Métricas de Software para o Estabelecimento de Confiança em Produtos de Código Aberto, Descrição: CNPq - Número do Processo: 570917/2008-5 - Chamada: Ed 062008JovPesq F-A 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: 3
-
2007 - 2010
Estudo e Utilização de Teste Estrutural para Programa Java em Dispositivos Móveis, Descrição: CNPq - Número do Processo: 309503/2006-0 - Chamada: PQ 10/2006 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 produções C, T & A: 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 apoiem 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. , Integrantes: Auri Marcelo Rizzo Vincenzi - Integrante / 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., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2006 - 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/ e https://cordis.europa.eu/project/id/034763. , 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.
-
2006 - 2008
Estudo e Definição de Critérios para Utilização de Teste Estrutural em Componentes de Software, Descrição: CNPq - Número do Processo: 484961/2006-3 - Chamada: Ed 02/2006 Universal. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2005 - 2008
Utilização de Teste Estrutural para Programa Java em Dispositivos Móveis, Descrição: CNPq - Número do Processo: 478001/2004-5 - Chamada: Universal2004 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 produções C, T & A: 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): 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 - 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
-
1998 - 2001
SQUAD - Software Quality Across Different Regions, Descrição: O projeto contava com inúmeros pesquisadores de diferentes instituições e tinha o objetivo de investigar a qualidade de software em diferentes regiões. Projeto SQUAD - Software Quality Across Different Regions Instituições Participantes: Engineering Ingegneria Informatica e ENEA (Itália), Delta (Dinamarca), ISYS (Venezuela), Keele University (Inglaterra), UTFSM (Chile), ICMC-USP e CTI. Para mais informações: https://cordis.europa.eu/project/id/962019. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Auri Marcelo Rizzo Vincenzi - Integrante / José Carlos Maldonado - Integrante / Stefano de Panfilis - Coordenador., Financiador(es): União Européia - Auxílio financeiro.
Projetos de desenvolvimento
-
2011 - Atual
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: Em andamento; 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.
-
2011 - Atual
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: Em andamento; 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.
-
2011 - Atual
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: Em andamento; 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.
-
2011 - Atual
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: Em andamento; 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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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., Número de produções C, T & A: 4
-
2021 - Atual
Plataforma de Teste de Software para Dispositivos Móveis, Descrição: A presente proposta visa ao desenvolvimento de uma plataforma de teste de software para dispositivos móveis. Sabe-se que a validação de software para tais dispositivos sofre com a grande fragmentação existente pois existem inúmeros dispositivos com as mais variadas configurações e, executar as aplicações em emuladores apenas não garante a plena cobertura de características físicas presentes nos dispositivos reais. Por outro lado, a evolução tecnológica faz com que os dispositivos reais se tornem obsoletos rapidamente e, portanto, principalmente no contexto de dispositivos Android, a aquisição de dispositivos reais para testes in-company não é viável economicamente. Outra opção seria o uso das chamadas device farms que nada mais são do que empresas que "alugam" dispositivos reais ou emuladores para terceiros no conceito de Plataform as a Service (PaaS). Entretanto, essas device farms também apresentam limitações em relação a variedade de dispositivos móveis disponíveis e também ao custo de locação dos serviços. Em um trabalho recente, foi desenvolvida a plataforma de teste, denominada Distribuited Bug Buster (DBB), que faz uso do conceito de economia colaborativa na área de teste em dispositivos móveis (Faria et al, 2017). Basicamente, a plataforma permite que qualquer pessoa que possua um dispositivo Android possa disponibilizá-lo para teste em seus momentos de ociosidade. Por outro lado, as empresas que necessitam conduzir testes em dispositivos reais podem entrar na plataforma, definir um plano de teste e em quais dispositivos deseja que os testes sejam executados. A DBB coordena a execução dos testes a medida que os dispositivos entram em ociosidade e reporta os resultados para a empresa solicitante, remunerando os detentores dos dispositivos reais assim que os testes são finalizados. Desse modo, a DBB emprega o conceito de economia colaborativa e todos saem ganhando com o uso da plataforma. No contexto deste projeto de pesquisa, a DBB deve ser readequada para viabilizar, não apenas a execução de testes em dispositivos externos à empresa, mas também em device-farms internas à organização. Tal requisito vem do fato que a execução de alguns testes dependem de ter outros equipamentos (desenvolvidos pelo VBL) próximos dos aparelhos com os apps em teste. Além disso, podem existir questões de segurança que impedem a divulgação de app externamente e, desse modo, devem ser executados apenas testes internamente, antes do release do produto. Projeto desenvolvido no contexto da chamada MAI/DAI 2020 - https://ain.ufscar.br/MAI_DAI/. Processo ProEx: 23112.003880/2021-47. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / Eduardo Noronha de Andrade Freitas - Integrante / Kenyo Abadio Crosara Faria - Integrante / Vital Cruvinel Ferreira - Integrante / Diogo Oliveira de Melo - Integrante., Financiador(es): Centro de Pesquisas Avançadas Wernher Von Braun - Auxílio financeiro.
-
2020 - Atual
Mestrado e Doutorado Acadêmico para Inovação na Universidade Federal de São Carlos - 2020, Projeto certificado pela empresa Fundação de Apoio Institucional ao Desenvolvimento Científico e Tecnológico em 15/03/2021., Descrição: O principal objetivo da presente proposta, é aumentar ainda mais a efetiva parceria entre a UFSCar e empresas, focando em pesquisas de alta relevância acadêmica e tecnológica, para resolver problemas práticos apresentados por empresas parceiras. Para tanto, são solicitadas bolsas de Mestrado, Doutorado e Iniciação Tecnológica Industrial (ITI). Cada uma destas bolsas é justificada no contexto de uma demanda de pesquisa real apresentada por uma empresa parceira, tendo como resultado esperado a produção de produto, processo ou técnica que resolva o problema apresentado pela empresa. Atenção especial será dada às questões de proteção à propriedade intelectual, licenciamento e uso efetivo destes resultados pela empresa parceira, ou mesmo outras empresas. Importante ainda observar a importância da UFSCar apoiar empresas, viabilizando o desenvolvimento de soluções inovadoras para a sociedade e a formação de Recursos Humanos altamente capacitados, inclusive com viés acadêmico aliado à solução de problemas das empresas.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (42) / Mestrado acadêmico: (7) / Doutorado: (7) . , Integrantes: Auri Marcelo Rizzo Vincenzi - Integrante / Rafael Vital Aroca - Coordenador / Ernesto Chaves Pereira de Souza - Integrante / Rodrigo Béttega - Integrante / Clóvis W. Oliveira de Souza - Integrante / Paulo Teixeira Lacava - Integrante / Victor Carlos Pandolfelli - Integrante / Celso Jorge Villas Boas - Integrante / Murilo Coelho Naldi - Integrante / Marcio Weber Paixão - Integrante / Fabio Minoru Yamaji - Integrante / André Bernardo - Integrante / Rafael Izbicki - Integrante / Sandra Andrea Cruz - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
-
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., Número de produções C, T & A: 4
-
2021 - Atual
Plataforma de Teste de Software para Dispositivos Móveis, Descrição: A presente proposta visa ao desenvolvimento de uma plataforma de teste de software para dispositivos móveis. Sabe-se que a validação de software para tais dispositivos sofre com a grande fragmentação existente pois existem inúmeros dispositivos com as mais variadas configurações e, executar as aplicações em emuladores apenas não garante a plena cobertura de características físicas presentes nos dispositivos reais. Por outro lado, a evolução tecnológica faz com que os dispositivos reais se tornem obsoletos rapidamente e, portanto, principalmente no contexto de dispositivos Android, a aquisição de dispositivos reais para testes in-company não é viável economicamente. Outra opção seria o uso das chamadas device farms que nada mais são do que empresas que "alugam" dispositivos reais ou emuladores para terceiros no conceito de Plataform as a Service (PaaS). Entretanto, essas device farms também apresentam limitações em relação a variedade de dispositivos móveis disponíveis e também ao custo de locação dos serviços. Em um trabalho recente, foi desenvolvida a plataforma de teste, denominada Distribuited Bug Buster (DBB), que faz uso do conceito de economia colaborativa na área de teste em dispositivos móveis (Faria et al, 2017). Basicamente, a plataforma permite que qualquer pessoa que possua um dispositivo Android possa disponibilizá-lo para teste em seus momentos de ociosidade. Por outro lado, as empresas que necessitam conduzir testes em dispositivos reais podem entrar na plataforma, definir um plano de teste e em quais dispositivos deseja que os testes sejam executados. A DBB coordena a execução dos testes a medida que os dispositivos entram em ociosidade e reporta os resultados para a empresa solicitante, remunerando os detentores dos dispositivos reais assim que os testes são finalizados. Desse modo, a DBB emprega o conceito de economia colaborativa e todos saem ganhando com o uso da plataforma. No contexto deste projeto de pesquisa, a DBB deve ser readequada para viabilizar, não apenas a execução de testes em dispositivos externos à empresa, mas também em device-farms internas à organização. Tal requisito vem do fato que a execução de alguns testes dependem de ter outros equipamentos (desenvolvidos pelo VBL) próximos dos aparelhos com os apps em teste. Além disso, podem existir questões de segurança que impedem a divulgação de app externamente e, desse modo, devem ser executados apenas testes internamente, antes do release do produto. Projeto desenvolvido no contexto da chamada MAI/DAI 2020 - https://ain.ufscar.br/MAI_DAI/. Processo ProEx: 23112.003880/2021-47. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / Eduardo Noronha de Andrade Freitas - Integrante / Kenyo Abadio Crosara Faria - Integrante / Vital Cruvinel Ferreira - Integrante / Diogo Oliveira de Melo - Integrante., Financiador(es): Centro de Pesquisas Avançadas Wernher Von Braun - Auxílio financeiro.
-
2020 - Atual
Mestrado e Doutorado Acadêmico para Inovação na Universidade Federal de São Carlos - 2020, Projeto certificado pela empresa Fundação de Apoio Institucional ao Desenvolvimento Científico e Tecnológico em 15/03/2021., Descrição: O principal objetivo da presente proposta, é aumentar ainda mais a efetiva parceria entre a UFSCar e empresas, focando em pesquisas de alta relevância acadêmica e tecnológica, para resolver problemas práticos apresentados por empresas parceiras. Para tanto, são solicitadas bolsas de Mestrado, Doutorado e Iniciação Tecnológica Industrial (ITI). Cada uma destas bolsas é justificada no contexto de uma demanda de pesquisa real apresentada por uma empresa parceira, tendo como resultado esperado a produção de produto, processo ou técnica que resolva o problema apresentado pela empresa. Atenção especial será dada às questões de proteção à propriedade intelectual,licenciamento e uso efetivo destes resultados pela empresa parceira, ou mesmo outras empresas. Importante ainda observar a importância da UFSCar apoiar empresas, viabilizando o desenvolvimento de soluções inovadoras para a sociedade e a formação de Recursos Humanos altamente capacitados, inclusive com viés acadêmico aliado à solução de problemas das empresas.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (42) / Mestrado acadêmico: (7) / Doutorado: (7) . , Integrantes: Auri Marcelo Rizzo Vincenzi - Integrante / Rafael Vital Aroca - Coordenador / Ernesto Chaves Pereira de Souza - Integrante / Rodrigo Béttega - Integrante / Clóvis W. Oliveira de Souza - Integrante / Paulo Teixeira Lacava - Integrante / Victor Carlos Pandolfelli - Integrante / Celso Jorge Villas Boas - Integrante / Murilo Coelho Naldi - Integrante / Marcio Weber Paixão - Integrante / Fabio Minoru Yamaji - Integrante / André Bernardo - Integrante / Rafael Izbicki - Integrante / Sandra Andrea Cruz - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
-
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., Número de produções C, T & A: 4
-
2021 - 2025
Plataforma de Teste de Software para Dispositivos Móveis, Descrição: A presente proposta visa ao desenvolvimento de uma plataforma de teste de software para dispositivos móveis. Sabe-se que a validação de software para tais dispositivos sofre com a grande fragmentação existente pois existem inúmeros dispositivos com as mais variadas configurações e, executar as aplicações em emuladores apenas não garante a plena cobertura de características físicas presentes nos dispositivos reais.Por outro lado, a evolução tecnológica faz com que os dispositivos reais se tornem obsoletos rapidamente e, portanto, principalmente no contexto de dispositivos Android, a aquisição de dispositivos reais para testes in-company não é viável economicamente.Outra opção seria o uso das chamadas device farms que nada mais são do que empresas que "alugam" dispositivos reais ou emuladores para terceiros no conceito de Plataform as a Service (PaaS). Entretanto, essas device farms também apresentam limitações em relação a variedade de dispositivos móveis disponíveis e também ao custo de locação dos serviços.Em um trabalho recente, foi desenvolvida a plataforma de teste, denominada Distribuited Bug Buster (DBB), que faz uso do conceito de economia colaborativa na área de teste em dispositivos móveis (Faria et al, 2017). Basicamente, a plataforma permite que qualquer pessoa que possua um dispositivo Android possa disponibilizá-lo para teste em seus momentos de ociosidade. Por outro lado, as empresas que necessitam conduzir testes em dispositivos reais podem entrar na plataforma, definir um plano de teste e em quais dispositivos deseja que os testes sejam executados. A DBB coordena a execução dos testes a medida que os dispositivos entram em ociosidade e reporta os resultados para a empresa solicitante, remunerando os detentores dos dispositivos reais assim que os testes são finalizados. Desse modo, a DBB emprega o conceito de economia colaborativa e todos saem ganhando com o uso da plataforma.No contexto deste projeto de pesquisa, a DBB deve ser readequada para viabilizar, não apenas a execução de testes em dispositivos externos à empresa, mas também em device-farms internas à organização. Tal requisito vem do fato que a execução de alguns testes dependem de ter outros equipamentos (desenvolvidos pelo VBL) próximos dos aparelhos com os apps em teste. Além disso, podem existir questões de segurança que impedem a divulgação de app externamente e, desse modo, devem ser executados apenas testes internamente, antes do release do produto. Projeto desenvolvido no contexto da chamada MAI/DAI 2020 - https://ain.ufscar.br/MAI_DAI/. Processo ProEx: 23112.003880/2021-47. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Auri Marcelo Rizzo Vincenzi - Coordenador / Eduardo Noronha de Andrade Freitas - Integrante / Kenyo Abadio Crosara Faria - Integrante / Vital Cruvinel Ferreira - Integrante / Diogo Oliveira de Melo - Integrante., Financiador(es): Centro de Pesquisas Avançadas Wernher Von Braun - Auxílio financeiro.
-
2020 - Atual
Mestrado e Doutorado Acadêmico para Inovação na Universidade Federal de São Carlos - 2020, Projeto certificado pela empresa Fundação de Apoio Institucional ao Desenvolvimento Científico e Tecnológico em 15/03/2021., Descrição: O principal objetivo da presente proposta, é aumentar ainda mais a efetiva parceria entre a UFSCar e empresas, focando em pesquisas de alta relevância acadêmica e tecnológica, para resolver problemas práticos apresentados por empresas parceiras. Para tanto, são solicitadas bolsas de Mestrado, Doutorado e Iniciação Tecnológica Industrial (ITI). Cada uma destas bolsas é justificada no contexto de uma demanda de pesquisa real apresentada por uma empresa parceira, tendo como resultado esperado a produção de produto, processo ou técnica que resolva o problema apresentado pela empresa. Atenção especial será dada às questões de proteção à propriedade intelectual,licenciamento e uso efetivo destes resultados pela empresa parceira, ou mesmo outras empresas. Importante ainda observar a importância da UFSCar apoiar empresas, viabilizando o desenvolvimento de soluções inovadoras para a sociedade e a formação de Recursos Humanos altamente capacitados, inclusive com viés acadêmico aliado à solução de problemas das empresas.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (42) / Mestrado acadêmico: (7) / Doutorado: (7) . , Integrantes: Auri Marcelo Rizzo Vincenzi - Integrante / Rafael Vital Aroca - Coordenador / Ernesto Chaves Pereira de Souza - Integrante / Rodrigo Béttega - Integrante / Clóvis W. Oliveira de Souza - Integrante / Paulo Teixeira Lacava - Integrante / Victor Carlos Pandolfelli - Integrante / Celso Jorge Villas Boas - Integrante / Murilo Coelho Naldi - Integrante / Marcio Weber Paixão - Integrante / Fabio Minoru Yamaji - Integrante / André Bernardo - Integrante / Rafael Izbicki - Integrante / Sandra Andrea Cruz - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
-
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., Número de produções C, T & A: 4
Prêmios
2025
Distinguished Paper of 24th Brazilian Symposium on Software Quality - SBQS'2025, Brazilian Computer Society.
2019
Prêmio de 3° melhor artigo da trilha de Engenharia de Requisitos, Congresso Ibero-americano de Engenharia de Software - CIbSE.
2019
Prêmio de Melhor Artigo do Simpósio Brasileiro de Qualidade de Software - SBQS'2019, Sociedade Brasileira de Computação.
2016
AMT: 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
JaBUTi: Melhores ferramentas do XVII Simpósio Brasileiro de Engenharia de Software, Sociedade Brasileira de Computação.
Histórico profissional
Endereço profissional
-
Universidade Federal de São Carlos. , Rod. Washington Luís, Km 235, Jardim Guanabara, 13565905 - São Carlos, SP - Brasil - Caixa-postal: 676, Telefone: (16) 3351-8232, Ramal: 8612, Fax: (16) 33518233, URL da Homepage:
Experiência profissional
2017 - 2018
Universidade de Brasília, UnBVínculo: Bolsista, Enquadramento Funcional: Participante em Projeto de Pesquisa, Carga horária: 20
2013 - Atual
Coordenação de Aperfeiçoamento de Pessoal de Nível SuperiorVínculo: Assessor, Enquadramento Funcional: Parecerista, Carga horária: 8
Outras informações:
Parecerista em APCN e PAEP
Atividades
-
04/2022
Conselhos, Comissões e Consultoria, CAPES.Cargo ou função, Membro da Comissão da Quadrienal 2017-2020.
-
05/2019 - 06/2019
Serviços técnicos especializados , CAPES.Serviço realizado, Parecerista em Processos PAEP.
-
12/2018 - 12/2018
Serviços técnicos especializados , CAPES.Serviço realizado, Parecer Reconsideração APCN.
-
09/2018 - 10/2018
Serviços técnicos especializados , CAPES.Serviço realizado, Parecerista em Processos PAEP.
-
08/2013 - 08/2013
Conselhos, Comissões e Consultoria, SECOL.Cargo ou função, Membro da Comissão da área de Ciência da Computação do Prêmio CAPES de Tese ? Edição 2013.
2015 - 2025
Universidade Federal de São CarlosVínculo: Servidor público, Enquadramento Funcional: Professor Titular Licenciado, Carga horária: 40
Outras informações:
Professor Associado III, especialista em Teste de Software e Automatização de Teste de Software.
Atividades
-
05/2022 - 01/2025
Conselhos, Comissões e Consultoria, Pró-Reitor de Pesquisa.Cargo ou função, Suplente do representante do DC no Conselho de Pesquisa da UFSCar.
-
10/2024 - 11/2024
Ensino, Fundamentos e prática do teste de software, Nível: AperfeiçoamentoDisciplinas ministradas, 126391 - Conceitos básicos e ferramentas de automação, 126392 - Critérios de teste e suas ferramentas
-
05/2023 - 09/2023
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 1001544 - DEVOPS - TURMA A, 1001089 - PROGRAMAÇÃO E ALGORITMOS 1 - TURMA D
-
11/2022 - 04/2023
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 24953 - TÓPICOS EM ENGENHARIA DE SOFTWARE - TURMA A, 1001530 - ENGENHARIA DE SOFTWARE 1 - TURMA C
-
12/2016 - 12/2022
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).
-
05/2022 - 10/2022
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 1001089 - PROGRAMAÇÃO E ALGORITMOS 1 - TURMA A
-
01/2022 - 04/2022
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 1001544 - DEVOPS - TURMA A, 25593 - METODOLOGIAS DE DESENVOLVIMENTO DE SISTEMAS 1 - TURMA A, 24953 - TÓPICOS EM ENGENHARIA DE SOFTWARE - TURMA A
-
08/2021 - 11/2021
Ensino, Ciência da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, CCO-220 - Desenvolvimento de Software Orientado a Objetos - Turma A
-
08/2021 - 11/2021
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 1001544 - DEVOPS - TURMA A
-
02/2021 - 05/2021
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 1001544 - DEVOPS - TURMA A, 24953 - TÓPICOS EM ENGENHARIA DE SOFTWARE - TURMA A, 28207 - METODOLOGIAS DE DESENVOLVIMENTO DE SISTEMAS - TURMA A, 25593 - METODOLOGIAS DE DESENVOLVIMENTO DE SISTEMAS 1 - TURMA A
-
02/2021 - 03/2021
Ensino, Desenvolvimento de Software para Web, Nível: EspecializaçãoDisciplinas ministradas, TESTE FUNCIONAL E ESTRUTURAL EM APLICAÇÕES WEB E APLICAÇÕES MÓVEIS
-
08/2020 - 01/2021
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 1001530 - ENGENHARIA DE SOFTWARE 1 - TURMA A, 1001544 - DEVOPS - TURMA A, 25593 - METODOLOGIAS DE DESENVOLVIMENTO DE SISTEMAS 1 - TURMA A, 25607 - INTRODUCAO AOS SISTEMAS DE INFORMACAO - TURMA A
-
07/2019 - 07/2020
Direção e administração, Centro de Ciências Exatas e de Tecnologia, Departamento de Computação.Cargo ou função, Vice Coordenador do Programa de Pós-Graduação em Ciência da Computação - Portaria CCET nª 072/2019 de 28/07/2019.
-
08/2019 - 12/2019
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 1001350 - CONSTRUÇÃO DE ALGORITMOS E PROGRAMAÇÃO - TURMA A, 25070 - CONSTRUÇÃO DE ALGORITMOS E PROGRAMAÇÃO - TURMA A
-
10/2019 - 11/2019
Ensino, Desenvolvimento de Software para Web, Nível: EspecializaçãoDisciplinas ministradas, TESTE FUNCIONAL E ESTRUTURAL EM APLICAÇÕES WEB E APLICAÇÕES MÓVEIS
-
03/2019 - 07/2019
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 1001544 - DEVOPS - TURMA A, 20419 - TÓPICOS EM INFORMÁTICA 7 - TURMA A
-
03/2019 - 07/2019
Ensino, Ciência da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, CCO-230 - Engenharia de Software - Turma A
-
03/2017 - 03/2019
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.
-
08/2018 - 12/2018
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 24953 - TÓPICOS EM ENGENHARIA DE SOFTWARE - TURMA A, 25666 - ENGENHARIA DE SOFTWARE 1 - TURMA A, 25666 - ENGENHARIA DE SOFTWARE 1 - TURMA B
-
03/2018 - 07/2018
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 25674 - ENGENHARIA DE SOFTWARE 2 - TURMA A, 25674 - ENGENHARIA DE SOFTWARE 2 - TURMA B
-
06/2017 - 06/2018
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.
-
08/2017 - 12/2017
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 25666 - Engenharia de Software 1 - Turma C, 24953 - Tópicos em Engenharia de Software - Turma A
-
03/2017 - 07/2017
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 25674 - Engenharia de Software 2 - Turma A, 25674 - Engenharia de Software 2 - Turma B
-
08/2016 - 12/2016
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 25666 - Engenharia de Software 1 - Turma A, 26077 - Introdução à Análise de Sistemas - Turma A
-
08/2016 - 09/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.
-
02/2016 - 07/2016
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 20109 - Introdução à Computação - Turma C, 25607 - Introdução aos Sistemas de Informação - Turma C
-
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çãoDisciplinas ministradas, 20281 - Estruturas Discretas - Turma A, 20281 - Estruturas Discretas - Turma C, 25216 - Banco de Dados - Turma C
2008 - 2015
Universidade Federal de GoiásVí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çãoDisciplinas ministradas, Programação Orientada a Objetos
-
03/2014 - 07/2014
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Projeto Final de Curso I NC
-
03/2014 - 04/2014
Ensino, Desenv. de Aplicações Web com Interfaces Ricas, Nível: EspecializaçãoDisciplinas 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çãoDisciplinas ministradas, Experimentção em Engenharia de Software
-
08/2013 - 12/2013
Ensino, Doutorado em Ciência da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Teste de Software
-
03/2013 - 07/2013
Ensino, Engenharia de Software, Nível: GraduaçãoDisciplinas 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çãoDisciplinas ministradas, Experimentação em Engenharia de Software
-
01/2013 - 02/2013
Ensino, Desenv. de Aplicações Web com Interfaces Ricas, Nível: EspecializaçãoDisciplinas ministradas, Programação Efetiva em Java com Objetos
-
03/2012 - 07/2012
Ensino, Engenharia de Software, Nível: GraduaçãoDisciplinas ministradas, Verificação e Validação
-
01/2012 - 02/2012
Ensino, Desenv. de Aplicações Web com Interfaces Ricas, Nível: EspecializaçãoDisciplinas ministradas, Programação Efetiva em Java com Objetos
-
08/2011 - 12/2011
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Projeto Final de Curso II
-
08/2011 - 09/2011
Ensino, Desenv. de Aplicações Web com Interfaces Ricas, Nível: EspecializaçãoDisciplinas ministradas, Programação Efetiva em Java com Objetos
-
03/2011 - 07/2011
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Projeto Final de Curso I
-
03/2011 - 04/2011
Ensino, Bando de Dados, Nível: EspecializaçãoDisciplinas ministradas, Introdução à Programação OO - Java
-
01/2011 - 02/2011
Ensino, Sistema de Informação, Nível: GraduaçãoDisciplinas ministradas, Introdução à Programação
-
01/2011 - 02/2011
Ensino, Engenharia de Computação, Nível: GraduaçãoDisciplinas ministradas, Algoritmos e Programação I
-
01/2011 - 02/2011
Ensino, Desenv. de Aplicações Web com Interfaces Ricas, Nível: EspecializaçãoDisciplinas ministradas, Programação Efetiva em Java com Objetos
-
08/2010 - 12/2010
Ensino, Mestrado em Ciência da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Engenharia de Software
-
08/2010 - 12/2010
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Projeto Final de Curso I
-
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çãoDisciplinas ministradas, Programação Orientada a Objetos
-
03/2010 - 07/2010
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas 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çãoDisciplinas ministradas, Engenharia de Software
-
03/2009 - 07/2009
Ensino, Engenharia de Software, Nível: GraduaçãoDisciplinas ministradas, Introdução à Programação
-
08/2008 - 12/2008
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Engenharia de Software, Programação de Computadores II
-
04/2008 - 07/2008
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Introdução à Computação, Linguagem de Programação
-
04/2008 - 07/2008
Ensino, Engenharia Civil, Nível: GraduaçãoDisciplinas 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çãoDisciplinas ministradas, Algoritmos e Programação II (ministrada parcialmente)
-
07/2006 - 11/2006
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Projeto Final de Curso II (ministrada parcialmente)
-
07/2006 - 11/2006
Ensino, Ciência da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Engenharia de Software (ministrada parcialmente)
-
03/2006 - 09/2006
Ensino, Análise e Projeto de Sistemas de Informação, Nível: EspecializaçãoDisciplinas 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)
-
07/2005 - 08/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.
-
06/2005 - 08/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.
-
02/2005 - 08/2006
Pesquisa e desenvolvimento, Instituto de Informática, Campus II.Linhas de pesquisa
-
03/2006 - 07/2006
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Projeto Final de Curso II, Projeto Final de Curso I, Introdução à Computação, Linguagens de Programação
-
01/2006 - 02/2006
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Tópicos I (Teste de Software), Tópicos II (Teste de Software)
-
08/2005 - 12/2005
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Estrutura de Dados I
-
08/2005 - 12/2005
Ensino, Engenharia Elétrica, Nível: GraduaçãoDisciplinas ministradas, Algoritmos e Programação II
-
08/2005 - 12/2005
Ensino, Engenharia de Computação, Nível: GraduaçãoDisciplinas ministradas, Algoritmos e Programação II
-
03/2005 - 07/2005
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Estruturas de Dados I, Tópicos II (Teste de Software)
2006 - 2008
Universidade Católica de SantosVínculo: Celetista, Enquadramento Funcional: Professor Assistente, Carga horária: 40
Atividades
-
08/2007 - 12/2007
Ensino, Engenharia Elétrica, Nível: GraduaçãoDisciplinas ministradas, Sistemas Computacionais - Software II
-
02/2007 - 07/2007
Ensino, Engenharia Elétrica, Nível: GraduaçãoDisciplinas ministradas, Sistemas Computacionais - Software I
-
12/2006 - 03/2007
Ensino, MBA em Gestão de Tecnologia da Informação, Nível: EspecializaçãoDisciplinas ministradas, Banco de Dados, Engenharia de Software
2003 - 2005
Centro Universitário Euripedes de MaríliaVínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 20
Atividades
-
08/2004 - 01/2005
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Programação de Computadores
-
05/2004 - 01/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.
-
02/2004 - 07/2004
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Programação de Computadores, Sistemas Distribuídos
-
09/2003 - 11/2003
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Laboratório de Programação
1999 - 1999
Centro Universitário Central PaulistaVínculo: Professor, Enquadramento Funcional: Professor, Carga horária: 20
Atividades
-
01/1999 - 07/1999
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Fundamentos de Computação III, Laboratório de Programação III
2003 - 2004
Universidade de São PauloVínculo: RTP, Enquadramento Funcional: Professor MS-I, Carga horária: 20
1997 - 1998
Universidade de São PauloVínculo: Bolsista PAE, Enquadramento Funcional: Assistente de Ensino (Doutorando), Carga horária: 8
Atividades
-
09/2003 - 12/2003
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, SCE-151 Linguagens e Técnicas de Programação e Aplicações (ministrada parcialmente)
-
02/1998 - 07/1998
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, SCE-177 Introdução à Programação de Computadores (sob supervisão do Prof. Dr. José Carlos Maldonado)
-
08/1997 - 12/1997
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, SCE-151 Linguagens e Técnicas de Programação e Aplicações (sob supervisão do Prof. Dr. José Carlos Maldonado)
-
02/1997 - 07/1997
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, SCE-177 Introdução à Programação de Computadores (sob supervisão do Prof. Dr. José Carlos Maldonado)
2001 - Atual
Sociedade Brasileira de Computação - Porto AlegreVí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.
2007 - 2013
Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPqVí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.
2012 - 2015
Fundação de Amparo a Pesquisa do Estado de GoiásVí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.
2018 - 2022
Instituto Nacional de Estudos e Pesquisas Educacionais Anísio TeixeiraVínculo: Avaliador do BASis, Enquadramento Funcional: Avaliador do BASis
Outras informações:
Avaliador para o ato de Credenciamento Institucional, conforme consta na Portaria no 313 -30/04/2018, publicada no Diário Oficial da União de 03/05/2018.
2025 - Atual
Universidade do PortoVínculo: Servidor público, Enquadramento Funcional: Professor Auxiliar, Carga horária: 35, Regime: Dedicação exclusiva.
2023 - 2024
Universidade do PortoVínculo: Professor Visitante, Enquadramento Funcional: Pesquisador Visitante, Carga horária: 40
Outras informações:
Estudo de Pesquisa no Exterior Conforme Despacho na Seção 2, pp 45, do Diário Oficial da União (DOU) n 75 de 19 de abril de 2023.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Auri Marcelo Rizzo Vincenzi e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?