Auri M. R. Vincenzi

Orcid: 0000-0001-5902-1672

Affiliations:
  • Federal University of São Carlos, Brazil


According to our database1, Auri M. R. Vincenzi authored at least 87 papers between 1998 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Testing infrastructures to support mobile application testing: A systematic mapping study.
Inf. Softw. Technol., 2025

2024
Towards the definition of a research agenda on mobile application testing based on a tertiary study.
Inf. Softw. Technol., March, 2024

2023
Aligning requirements and testing through metamodeling and patterns: design and evaluation.
Requir. Eng., March, 2023

Test case quality: an empirical study on belief and evidence.
CoRR, 2023

Mock objects: a case study in industry✱.
Proceedings of the XIX Brazilian Symposium on Information Systems, 2023

An initial investigation of ChatGPT unit test generation capability.
Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023

An Experimental Study Evaluating Cost, Adequacy, and Effectiveness of Pynguin's Test Sets.
Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023

Towards the Implementation of a Mobile Application Testing Infrastructure at Von Braun Labs.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

2022
Using evidence from systematic studies to guide a PhD research in Requirements Engineering - an experience report.
J. Softw. Eng. Res. Dev., 2022

Towards an Approach for Improving Exploratory Testing Tour Assignment based on Testers' Profile.
Proceedings of the 24th International Conference on Enterprise Information Systems, 2022

Tool support to aligning requirements and testing through behaviour-driven requirements patterns.
Proceedings of the 25th Iberoamerican Conference on Software Engineering, CIbSE 2022, Cordoba, Argentina, 13 June, 2022

2021
Deep Reinforcement Learning based Android Application GUI Testing.
Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021

2020
Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy.
J. Softw. Eng. Res. Dev., 2020

Requirement patterns: a tertiary study and a research agenda.
IET Softw., 2020

Metamodel Quality Requirements and Evaluation (MQuaRE).
CoRR, 2020

Uma Ferramenta para Construção de Catálogos de Padrões de Requisitos com Comportamento.
Proceedings of the Anais do WER20, 2020

Reducing the Cost of Mutation Testing with the Use of Primitive Arcs Concept.
Proceedings of the 19th Brazilian Symposium on Software Quality, 2020

WarningsFIX: a Recommendation System for Prioritizing Warnings Generated by Automated Static Analyzers.
Proceedings of the 19th Brazilian Symposium on Software Quality, 2020

How far are we from testing a program in a completely automated way, considering the mutation testing criterion at unit level?
Proceedings of the 19th Brazilian Symposium on Software Quality, 2020

Toward a Metamodel Quality Evaluation Framework: Requirements, Model, Measures, and Process.
Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

A Preliminary Investigation into Using Machine Learning Algorithms to Identify Minimal and Equivalent Mutants.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Perfil Operacional do Software: investigando aplicabilidades específicas.
Proceedings of the XXIII Iberoamerican Conference on Software Engineering, 2020

2019
A revisited systematic literature mapping on the support of requirement patterns for the software development life cycle.
J. Softw. Eng. Res. Dev., 2019

On using collaborative economy for test cost reduction in high fragmented environments.
Future Gener. Comput. Syst., 2019

BULNER: BUg Localization with word embeddings and NEtwork Regularization.
Proceedings of the VII Workshop on Software Visualization, Evolution and Maintenance, 2019

Software Operational Profile vs. Test Profile.
Proceedings of the XVIII Brazilian Symposium on Software Quality, 2019

Using auxiliary artifacts during code inspection activity: findings from an exploratory study.
Proceedings of the XVIII Brazilian Symposium on Software Quality, 2019

A Conceptual Metamodel to Bridging Requirement Patterns to Test Patterns.
Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019

Padrão de Requisitos no Ciclo de Vida de Software: Um Mapeamento Sistemático.
Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

Validation process for services produced by digital transformation.
Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, 2019

2018
Towards cognitive support for unit testing: A qualitative study with practitioners.
J. Syst. Softw., 2018

Reducing the Cost of Mutation Testing Using the Semantic Size of Mutant.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

FTMES: A Failed-Test-Oriented Mutant Execution Strategy for Mutation-Based Fault Localization.
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

FTScMES: A New Mutation Execution Strategy Based on Failed Tests' Mutation Score for Fault Localization.
Proceedings of the Computer and Information Sciences - 32nd International Symposium, 2018

Industry and Academia Partnership for Short-time High-level Qualification.
Proceedings of the IEEE Frontiers in Education Conference, 2018

2017
Approaches to strategic alignment of software process improvement: A systematic literature review.
J. Syst. Softw., 2017

Collaborative economy for testing cost reduction on Android ecosystem.
Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing, 2017

Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper).
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Alinhamento estratégico de melhoria de processos de software: percepções de um processo de apoio à decisão.
Proceedings of the 16th Brazilian Symposium on Software Quality, 2017

Mineração de Textos para Apoiar a Predição de Severidade de Relatórios de Incidentes: um Estudo de Viabilidade.
Proceedings of the 16th Brazilian Symposium on Software Quality, 2017

Incremental Strategy for Applying Mutation Operators Emphasizing Faults Difficult to be Detected by Automated Static Analyser.
Proceedings of the 31st Brazilian Symposium on Software Engineering, 2017

An Acceptance Empirical Assessment of Open Source Test Tools.
Proceedings of the ICEIS 2017, 2017

2016
Correlating automatic static analysis and mutation testing: towards incremental strategies.
J. Softw. Eng. Res. Dev., 2016

The complementary aspect of automatically and manually generated test case sets.
Proceedings of the 7th International Workshop on Automating Test Case Design, 2016

Systematic Functional Testing with Decision Table.
Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing, 2016

Advances in the Characterization of Cognitive Support for Unit Testing: The Bug-Hunting Game and the Visualization Arsenal.
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

SCOUT: A Multi-objective Method to Select Components in Designing Unit Testing.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

2015
Evaluating Software Engineers' Acceptance of a Technique and Tool for Web Usability Inspection.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Learning Difficulties in Computing Courses: Cognitive Processes Assessment Methods Research and Application.
Proceedings of the annual conference on Brazilian Symposium on Information Systems, 2015

Avaliação do Nível de Maturidade em Teste de Software em Micro e Pequenas Empresas do Estado de Goiás [Maturity Level Assessment in Software Testing in Small and Medium-Sized Enterprises of the State of Goias].
Proceedings of the annual conference on Brazilian Symposium on Information Systems, 2015

Um Comparativo na Execução de Testes Manuais e Testes de Aceitação Automatizados em uma Aplicação Web.
Proceedings of the 14th Brazilian Symposium on Software Quality, 2015

Investigating the Correspondence between Mutations and Static Warnings.
Proceedings of the 29th Brazilian Symposium on Software Engineering, 2015

WAP: Cognitive aspects in unit testing: The hunting game and the hunter's perspective.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

2014
O Teste de Mutação apoiado pelo Algoritmo Genético Coevolucionário com Classificação Genética Controlada.
RITA, 2014

2013
Evolução de software livre baseada em métricas de qualidade: Um estudo de caso.
Proceedings of the 9th Brazilian Symposium on Information Systems, 2013

Dívida Técnica: um estudo de caso com produtos de código aberto.
Proceedings of the 12th Brazilian Symposium on Software Quality, 2013

Applying genetic algorithms to data selection for SQL mutation analysis.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013

A coevolutionary algorithm to automatic test case selection and mutant in Mutation Testing.
Proceedings of the IEEE Congress on Evolutionary Computation, 2013

Shrinking a database to perform SQL mutation tests using an evolutionary algorithm.
Proceedings of the IEEE Congress on Evolutionary Computation, 2013

2012
An elitist evolutionary algorithm for automatically generating test data.
Proceedings of the IEEE Congress on Evolutionary Computation, 2012

2011
Twenty-Five Years of Research in Structural and Mutation Testing.
Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

2009
JaBUTiService: A Web Service for Structural Testing of Java Programs.
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

Avaliação da Qualidade de Produtos J2ME por Meio do Uso de Pacotes de Experimentação.
Proceedings of the 8th Brazilian Symposium on Software Quality, 2009

2008
Evaluating Structural Criteria for Testing Mobile Code.
Proceedings of the 12th International Conference on Evaluation and Assessment in Software Engineering, 2008

2007
Control and data flow structural testing criteria for aspect-oriented programs.
J. Syst. Softw., 2007

Static Analysis of Java Bytecode for Domain-specific Software Testing.
Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007

Functional, Control and Data Flow, and Mutation Testing: Theory and Practice.
Proceedings of the Testing Techniques in Software Engineering, 2007

Software Testing: An Overview.
Proceedings of the Testing Techniques in Software Engineering, 2007

2006
Establishing structural testing criteria for Java bytecode.
Softw. Pract. Exp., 2006

Muta-Pro: Towards the Definition of a Mutation Testing Process.
J. Braz. Comput. Soc., 2006

A Strategy to Perform Coverage Testing of Mobile Applications.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

2005
Coverage testing of Java programs and components.
Sci. Comput. Program., 2005

2004
Object-oriented: definition, implementation and analysis of validation and testing resources.
PhD thesis, 2004

Teste de Unidade de Programas Orientados a Aspectos.
Proceedings of the 18th Brazilian Symposium on Software Engineering, 2004

2003
A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters.
CLEI Electron. J., 2003

Structural Testing of Mobile Agents.
Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

Component-Based Software: An Overview of Testing.
Proceedings of the Component-Based Software Quality - Methods and Techniques, 2003

2002
Bayesian-Learning Based Guidelines to Determine Equivalent Mutants.
Int. J. Softw. Eng. Knowl. Eng., 2002

JaBÁ: A Java Bytecoder Analyser.
Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

mudelgen: A Tool for Processing Mutant Operator Descriptions.
Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

EvalTool: Um Ambiente de Apoio à Avaliação e Seleção de Ferramentas de Teste para Programas Orientados a Objetos.
Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

2001
Unit and integration testing strategies for C programs using mutation.
Softw. Test. Verification Reliab., 2001

Toward the determination of sufficient mutant operators for C.
Softw. Test. Verification Reliab., 2001

Bayesian-Learning Based Guidelines to determine Equivalente Mutants.
Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

Mutant Operators for Testing Concurrent Java Programs.
Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001

1999
Operadores Essenciais de Interface: Um Estudo de Caso.
Proceedings of the 13th Brazilian Symposium on Software Engineering, 1999

1998
Uma Contribuição para a Determinação de um Conjunto Essencial de Operadores de Mutação no Teste de Programas C.
Proceedings of the 12th Brazilian Symposium on Software Engineering, 1998


  Loading...