Higor Amario de Souza.
Livre · Engenharia de Computação e Sistemas Digitais
- Unidade
- Escola Politécnica
- Departamento
- Engenharia de Computação e Sistemas Digitais
Currículo atualizado em 15/09/2025
Cita-se como: SOUZA, H. A.;DE SOUZA, HIGOR AMARIO;DE SOUZA, HIGOR A.;SOUZA, HIGOR A. DE;AMARIO DE SOUZA, HIGOR;AMARIO DE SOUZA, HIGOR
Resumo biográfico
Graduado em Sistemas de Informação pela Universidade de São Paulo (EACH 2010), possui mestrado em Sistemas de Informação pela Universidade de São Paulo (EACH 2012) e doutorado em Ciência da Computação pela Universidade de São Paulo (IME 2018). Durante o doutorado foi pesquisador visitante no Georgia Institute of Technology (GeorgiaTech - EUA). Atualmente, é Professor Doutor no Departamento de Engenharia de Computação e Sistemas Digitais (PCS) da Escola Politécnica da Universidade de São Paulo. Tem experiência na área de Engenharia de Software, Desenvolvimento de Sistemas, Sistemas de Informação e Ciência de Dados, com interesse em Teste e Depuração de Software, Cidades Inteligentes e Mobilidade Urbana.
Indicadores
Áreas de atuação
03 registros- Ciencias Exatas E Da TerraCiência da ComputaçãoMetodologia e Técnicas da Computação › Engenharia de Software
- Ciencias Exatas E Da TerraCiência da ComputaçãoMetodologia e Técnicas da Computação › Sistemas de Informação
- Ciencias Exatas E Da TerraCiência da ComputaçãoCidades Inteligentes
Formação acadêmica
06 registros- 2013 – 2018DoutoradoConcluídoCiência da Computação · Universidade de São Paulo“Assessment of Spectrum-based Fault Localization for Practical Use”Orientação: Fabio KonBolsa Fundação de Amparo à Pesquisa do Estado de São Paulo
- 2010 – 2012MestradoConcluídoPrograma de Pós-graduação em Sistemas de Informaçã · Universidade de São Paulo“Depuração de programas baseada em cobertura de integração”Orientação: Marcos Lordello ChaimBolsa Fundação de Amparo à Pesquisa do Estado de São Paulo
- 2006 – 2010GraduaçãoConcluídoSistemas de Informação · Universidade de São PauloOrientação: Helton Hideraldo Bíscaro
- 2004 – 2005Curso-tecnico-profissionalizanteConcluídoCurso-tecnico-profissionalizante · Escola Técnica Estadual de São Paulo
- 1995 – 1997Curso-tecnico-profissionalizanteConcluídoCurso-tecnico-profissionalizante · Escola Técnica Estadual de São Paulo
- 1995 – 1997Ensino-medio-segundo-grauConcluídoEnsino-medio-segundo-grau · Escola Técnica Estadual de São Paulo
Idiomas
02 registros| Idioma | Leitura | Fala | Escrita | Compreensão |
|---|---|---|---|---|
| Inglês | Bem | Bem | Bem | Bem |
| Espanhol | Bem | Pouco | Pouco | Bem |
Atuação profissional
21 registros- 2025 – presenteVínculo atualDedicação exclusivaUniversidade de São PauloProfessor DoutorServidor Publico40h/sem
- 2022 – 2025Dedicação exclusivaUniversidade Estadual Paulista Júlio de Mesquita FilhoProfessor Assistente DoutorServidor Publico40h/sem
- 2021 – 2022FUNDACAO UNIVERSIDADE VIRTUAL DO ESTADO DE SAO PAULO-UNIVESPProfessorServidor Publico40h/sem
- 2020 – 2021Centro Universitário SenacProfessorCeletista16h/sem
- 2020 – 2022Higor Amario de Souza MEProprietário30h/sem
- 2018 – 2020Dedicação exclusivaUniversidade de São PauloBolsista de Treinamento Técnico - Nível 5Bolsista40h/sem
- 2018 – 2020Dedicação exclusivaFundação de Amparo à Pesquisa do Estado de São PauloBolsista de Treinamento Técnico - Nível 5Bolsista40h/sem
- 2015 – 2016Dedicação exclusivaGeorgia Institute of TechnologyVisiting scholarBolsista40h/sem
- 2014 – 2018Dedicação exclusivaUniversidade de São PauloBolsista de Doutorado (DR)Bolsista40h/sem
- 2014 – 2014Universidade de São PauloEstagiário em Docência do PAEBolsista6h/sem
- 2014 – 2018Dedicação exclusivaFundação de Amparo à Pesquisa do Estado de São PauloBolsista de Doutorado (DR)Bolsista40h/sem
- 2013 – 2014Dedicação exclusivaUniversidade de São PauloBolsista CAPESAluno de doutorado40h/sem
- 2012 – 2012Universidade de São PauloEstagiário em Docência do PAEBolsista6h/sem
- 2011 – 2012Dedicação exclusivaUniversidade de São PauloBolsista FAPESPAluno de mestrado40h/sem
- 2011 – 2011Universidade de São PauloEstagiário em Docência do PAEBolsista6h/sem
- 2011 – 2012Dedicação exclusivaFundação de Amparo à Pesquisa do Estado de São PauloBolsista de MestradoBolsista40h/sem
- 2011 – 2011Dedicação exclusivaLaboratório de Aplicações de Informática em SaúdeAnalista DesenvolvedorBolsista Técnico40h/sem
- 2010 – 2011Dedicação exclusivaUniversidade de São PauloBolsista CAPESAluno de mestrado40h/sem
- 2009 – 2010Telzi Assessoria e Consultoria Empresarial e FinanceiraAnalista de SistemasColaborador44h/sem
- 2007 – 2009UB Sistemas Consultoria e InformáticaEstagiário Analista ProgramadorColaborador30h/sem
- 2007 – 2007Next TecnologiaEstagiário ProgramadorColaborador30h/sem
Produção bibliográfica
26 registros- 2025Quantum Testing in the Wild: A Case Study with Qiskit AlgorithmsRAMALHO, NEILSON C. L.; DA SILVA, ERICO A.; Higor Amario de Souza; CHAIM, MARCOS LORDELLO · 2025 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) · IEEE · ISBN 9798331535100 · Montreal
- 2024Testing and Debugging Quantum Programs: The Road to 2030Neilson Carlos Leite Ramalho; Higor Amario de Souza; Marcos Lordello Chaim · 2030 Software Engineering Workshop co-located at the ACM International Conference on the Foundations of Software Engineering · Porto de Galinhas
- 2024Mining repositories to analyze the lifecycle of frameworks and librariesRonaldo Rubens Gesse Júnior; Higor Amario de Souza · Simpósio Brasileiro de Engenharia de Software (SBES) · SBC · Curitiba
- 2023BikeScienceWeb: a tool for bicycle-related urban planningThiago José Benitez Pena; Higor Amario de Souza; Letícia Lindenberg Lemos; Fabio Kon · XXIV Brazilian Symposium on Geoinformatics (GEOINFO) · MCTIC/INPE · ISBN 2179-4847 · São José dos Campos
- 2023Cycling promotion using financial incentives: A case study in São Paulo, BrazilAna Yoon Faria de Lima; Flavio Soares de Freitas; Tainá Souza Pacheco; Higor Amario de Souza; Frauke Behrendt; Ruth Oldenziel +1 autores · 7th Annual Meeting of the Cycling Research Board (CRBAM 2023) · Wuppertal
- 2022Data flow Subsumption and its Impact on Spectrum-based Fault LocalizationLOPES DA SILVA, DENNIS; LORDELLO CHAIM, MARCOS; Higor Amario de Souza · SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing · ACM · ISBN 9781450397537 · Uberlandia Brazil
- 2020Visualizing the structure of urban mobility with bundling: A case study of the city of São PauloMARTINS, TALLYS GUSTAVO; LAGO, NELSON; Higor Amario de Souza; SANTANA, EDUARDO FELIPE ZAMBOM; TELEA, ALEXANDRU; KON, FABIO · Workshop de Computação Urbana · Sociedade Brasileira de Computação - SBC · Brasil
- 2020Debugging visualization tools: A systematic reviewFábio Pereira da Silva; Higor Amario de Souza; Marcos Lordello Chaim; Edson Saraiva de Almeida · Argentine Symposium on Software Engineering · Sociedad Argentina de Informática · Buenos Aires
- 2019Evaluating data-flow coverage in spectrum-based fault localizationRIBEIRO, HENRIQUE L.; ROBERTO DE ARAUJO, P. A.; CHAIM, MARCOS L.; Higor Amario de Souza; KON, FABIO · 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) · IEEE · ISBN 9781728129686 · Porto de Galinhas
- 2018Jaguar: A Spectrum-Based Fault Localization Tool for Real-World SoftwareRIBEIRO, HENRIQUE LEMOS; Higor Amario de Souza; DE ARAUJO, ROBERTO PAULO ANDRIOLI; CHAIM, MARCOS LORDELLO; KON, FABIO · 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) · IEEE · ISBN 9781538650127 · Vasteras
- 2018An empirical assessment of visual debugging tools effectiveness and efficiencyFábio Pereira da Silva; Higor Amario de Souza; Marcos Lordello Chaim · 37th International Conference of the Chilean Computer Science Society · Santiago
- 2018CodeForest: Uma ferramenta visual de depuraçãoFábio Pereira da Silva; Danilo Mutti; Higor Amario de Souza; Marcos Lordello Chaim · XXI Conferência Ibero-Americana de Engenharia de Software · Bogotá
- 2018Uma avaliação de percepção de usabilidade baseada no modelo TAMFábio Pereira da Silva; Higor Amario de Souza; Marcos Lordello Chaim · XIV Simpósio Brasileiro de Sistemas de Informação · Caixas do Sul
- 2014A Service Selection Mechanism Using Fault-Tolerance TechniquesHigor Amario de Souza; Felipe Pontes Guimarães; Fabio Kon; Daniel Macedo Batista · XXXII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos · Sociedade Brasileira de Computação · ISBN 2177-496X · Florianópolis
- 2013Avaliação de Heurísticas para Localização de DefeitosLucas Santos de Oliveira; Higor Amario de Souza; Danilo Mutti; Marcos Lordello Chaim · 7th Brazilian Workshop on Systematic and Automated Software Testing · Brasília
- 2013Adding context to fault localization with integration coverageHigor Amario de Souza; CHAIM, MARCOS LORDELLO · 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) · IEEE · ISBN 9781479902156 · Silicon Valley
- 2012Depuração de programas baseada em cobertura de integraçãoHigor Amario de Souza; Marcos Lordello Chaim · II Workshop de Teses e Dissertações do CBSoft - WTDSoft 2012 · Sociedade Brasileira · ISBN 21786097 · Natal
Produção técnica
04 registros- 2017Haphazard Intentional Allocation - A Case Study on Software EvaluationMarcelo de Souza Lauretto; Higor Amario de Souza; Victor Fossaluza; Marcos Lordello ChaimSeminario
Projetos de extensão
06 registrosProjetos de extensão universitária registrados no Currículo Lattes — a categoria de produção acadêmica própria, ao lado das produções bibliográfica, técnica e artística.
- Concluído2025 – 2025Extensão
Resolvendo problemas com programação competitiva
O programa consiste em envolver os alunos dos cursos de Bacharelado em Ciência da Computação e Bacharelado em Sistemas de Informação da Faculdade de Ciências de Bauru em atividades de criação de materiais para o ensino de programação competitiva a serem disponibilizados para o público-alvo interessado. Além disso, os nossos estudantes também irão ministrar cursos e treinamentos presenciais e remotos para a participação em eventos de competição. Outra atividade prevista é a organização de eventos de competição preparatórios para a OBI e para a Maratona de Programação, assim como hackathonas temáticas, a serem definidas. A organização desses eventos inclui atividades de preparação dos ambientes computacionais e físicos para os eventos, seleção e preparação do material utilizado nas competições, mentoria, divulgação, avaliação dos resultados e premiação dos participantes.
EquipeHigor Amario de Souza (Responsável), Wilson Massashiro Yonezawa, Andrea Carla Gonçalves Vianna, Roberta Spolon, Tatiana Miguel Rodrigues, Pedro Henrique Paiola, André Luis Debiaso Rossi, Celso de Oliveira Lisbôa +3 integrantes
- Concluído2024 – 2025Extensão
Desbravando a educação de computação
Este programa de extensão consiste em envolver os alunos dos cursos de Bacharelado em Ciência daComputação e Bacharelado em Sistemas de Informação da Faculdade de Ciências de Bauru em atividades de divulgação e ensino de computação através de cursos presenciais, semipresenciais ou remotos. O conteúdo a ser tratado serão em várias vertentes envolvendo tópicos sobre raciocínio lógico, raciocínio computacional, linguagens de programação, uso de ferramentas do Google e outras tecnologias que os auxiliem no dia a dia e na busca por emprego.
EquipeHigor Amario de Souza, Andrea Carla Gonçalves Vianna, Roberta Spolon, Kelton Augusto Pontara da Costa, Simone das Graças Domingues Prado (Responsável), João Eduardo Machado Perea Martins, Celso de Oliveira Lisbôa, Maria Cristina de Campos +2 integrantes
- Concluído2024 – 2025Extensão
Olimpíada Brasileira de Informática: Desenvolvimento de Material Didático Digital para Professores e Alunos de Escolas Públicas
Elaborar e disponibilizar material didático para treinamento de alunos do ensino fundamental, médio e superior de instituições de ensino da região de Bauru para competições de programação presenciais como a Olimpíada Brasileira de Informática (OBI) e a International Olympiad in Informatics (IOI).
EquipeHigor Amario de Souza (Responsável), Wilson Massashiro Yonezawa, Andrea Carla Gonçalves Vianna, Roberta Spolon, Renata Spolon Lobato
- Concluído2024 – 2024Extensão
Meia Maratona de Programação
Evento preparatório para a etapa regional da Maratona de Programação da SBC com a participação de Instituições de Ensino Superior de Bauru e regi\~ao. O evento ocorreu na UNESP, campus de Bauru, e contou com a organização de professores e alunos dos cursos do DCo.
EquipeHigor Amario de Souza (Responsável), Wilson Massashiro Yonezawa, Andrea Carla Gonçalves Vianna, Roberta Spolon, Tatiana Miguel Rodrigues, Celso de Oliveira Lisbôa
- Desativado2023 – 2023Extensão
Técnicas avançadas de teste e depuração de programas com foco em aplicações para Web
Curso de curta duração sobre técnicas avançadas de teste e depuração de software. O curso é destinado a estagiários de desenvolvimento de empresas de Bauru e região
EquipeHigor Amario de Souza (Responsável), Wilson Massashiro Yonezawa, Celso de Oliveira Lisbôa
- Concluído2018 – 2018Extensão
HackMobilidade 2018 Hackatona sobre segurança e mobilidade
O evento foi destinado exclusivamente a desenvolvedoras interessadas em análisede dados e desenvolvimento de soluções relacionadas à mobilidade ativa, com foco especial na relação entre o uso de bicicletas como meio de transporte e questões relacionadas à segurança viária e segurança pública.
EquipeHigor Amario de Souza (Responsável), Fabio Kon, Flavio Soares de Freitas
Projetos
11 registrosProjetos de pesquisa e de desenvolvimento tecnológico registrados no Currículo Lattes.
- Em andamento2025 – presentePesquisa
Computação e Ciência de Dados para Sustentabilidade
Instituto Nacional de Ciência e TecnologiaChamada INCT MCTI/CNPq/SECTICS/MS/CAPES/FAPs N 46/2024
EquipeHigor Amario de Souza, Fabio Kon (Responsável)
- Em andamento2024 – presentePesquisa
Projeto-piloto do Bike SP - Bonificando quem usa a bicicleta como meio de transporte
O programa Bike SP é uma lei municipal (Lei 16.547/2016) que consiste em dar incentivos, por meio da concessão de créditos no Bilhete Único, à realização de deslocamentos cicloviários em substituição a modos de transporte automotores. A lei ainda requer regulamentação. A convite da Secretaria Municipal de Mobilidade e Trânsito de São Paulo (SMT), o IME--USP foi convidado a realizar um projeto-piloto que simulasse a execução real do programa, com ciclistas pedalando nas ruas e registrando seus deslocamentos, de forma a embasar com dados empíricos a melhor forma de implementá-lo. O IME desenvolveu uma metodologia de pesquisa com dois objetivos principais: (1) definir os públicos prioritários, para que o programa seja uma política afirmativa de efetivação do direito à cidade, redução de desigualdades e de promoção da inclusão social; e (2) definir o valor dos créditos a serem concedidos de forma que o programa se torne um incentivo atrativo para novas pessoas ciclistas.Para o edital Vai Longe 2024, propomos fazer uma versão do piloto que dure 3 meses e envolva cerca de 500 ciclistas, a serem escolhidos por meio de um edital público aberto.
Financiadores- M2 Soluções em Engenharia LTDA · AUXILIO_FINANCEIRO
EquipeHigor Amario de Souza, Fabio Kon (Responsável), Ana Yoon Faria de Lima, Flavio Soares de Freitas, Tainá Souza Pacheco, Jorge Harrisonn Mantovanelli Thomes Vieira, Jonathas Castilho, Arthur Pilone
- Concluído2024 – 2025Ensino
PROTIVA - Grupo de Programação Competitiva
O PROTIVA é um grupo que prepara alunos de graduação para a Maratona de Programação da Sociedade Brasileira de Computação (SBC) . O PROTIVA oferece uma disciplina preparatória para programação competitiva, organiza eventos de preparação para a maratona e dá suporte para os alunos participarem dos eventos oficiais.
Financiadores- Universidade Estadual Paulista Júlio de Mesquita Filho · AUXILIO_FINANCEIRO
EquipeHigor Amario de Souza (Responsável), Wilson Massashiro Yonezawa, Andrea Carla Gonçalves Vianna, Roberta Spolon, Tatiana Miguel Rodrigues, Pedro Henrique Paiola, Arissa Yoshida, Nicolas Barbosa Gomes +1 integrantes
- Em andamento2024 – presentePesquisa
Trajetórias Profissionais dos Egressos dos Cursos de Graduação da UNESP
Trata-se de uma pesquisa com o objeto de descrever as trajetórias profissionais dos egressos dos cursos de graduação da UNESP, com no mínimo 10 anos de formados. Selecionou-se como público-alvo os alunos que ingressaram nos cursos de graduação nos anos de 2003, 2004 e 2005. Para tanto, foi elaborado um roteiro de entrevista flexível capaz de captar as trajetórias profissionais de diferentes cursos de graduação, uma vez a UNESP possui 137 cursos neste nível de ensino. Os dados de cada curso serão analisados individualmente tendo como referência a definição da razão de ser de cada um dos cursos, que será elaborada pelo pesquisador do curso em conjunto com a coordenação do curso. A equipe de pesquisadores da pesquisa é formada por professores que atuam nos cursos de graduação, que conta com o apoio de um bolsista. Como resultado espera-se conhecer as trajetórias profissionais dos egressos, identificar a via de acesso ao mercado de trabalho, o cargo que ocupam e o impacto do curso na vida profissional dos egressos tomados como objeto de estudo.
EquipeHigor Amario de Souza, André Luis Debiaso Rossi, Roberto Louzada (Responsável)
- Em andamento2022 – presentePesquisa
Analisando mudanças de código em repositórios para melhorar a localização de defeitos
Este projeto de pesquisa pretende investigar o impacto do uso de informação de repositórios de código em técnicas de localização de defeitos. Para isso, será investigado se mudanças no código feitas em diferentes períodos de tempo podem reduzir a quantidade de código que precisa ser inspecionado ao procurar por defeitos. Técnicas de mineração de repositórios de código serão usadas para o desenvolvimento da técnica de localização a ser proposta neste projeto. Em seguida, iremos avaliar o uso prático da técnica proposta por meio de um estudo com desenvolvedores. Espera-se que os resultados deste estudo contribuam para melhorar o desempenho de localização de defeitos e para compreender a possibilidade de seu uso em ambientes reais de desenvolvimento.
EquipeHigor Amario de Souza (Responsável)
- Em andamento2020 – presentePesquisa
Sistemas de Software, Ciência e Engenharia de Dados e Computação de Alto Desempenho
O grupo contribui em pesquisa e desenvolvimento em Sistemas de Software. O foco atual do grupo está direcionado para a Internet do Futuro, Cidades Inteligentes, Software Livre e Ciência e Engenharia de Dados. O grupo vem produzindo importantes resultados publicados em periódicos internacionais e anais de conferências da área, além de compartilhados com a comunidade como software livre. Principais projetos do grupo: 1. SIDAM (financiamento FAPESP) 2. Integrade I e II (financiamento CNPq) 3. CHOReOS (financiamento Comissão Europeia) 4. CHOOSING (financiamento CAPES/COFECUB) 5. InterSCity (INCT)
EquipeHigor Amario de Souza, Fabio Kon (Responsável), Daniel Macedo Batista, Eduardo Felipe Zambom Santana, Alfredo Goldman, LAGO, NELSON, Paulo Roberto Miranda Meirelles, Kelly Rosa Braguetto
- Em andamento2018 – presentePesquisa
Data-driven analysis of Bike-Sharing Mobility Flows
Este projeto utiliza técnicas de Ciência de Dados para analisar dados de sistemas de compartilhamentro de bicicletas e também dados públicos sobre mobilidade para análise de fluxos mobilidade de bicicletas em cidades como São Paulo e Boston (EUA).
Financiadores- Fundação de Amparo à Pesquisa do Estado de São Paulo · AUXILIO_FINANCEIRO
EquipeHigor Amario de Souza, Fabio Kon (Responsável), Roberto Hirata Junior, Fabio Duarte, Paolo Santi, Carlo Ratti
- Concluído2018 – 2020Pesquisa
Gestão e ampliação das funcionalidades da plataforma InterSCity para cidades inteligentes
A plataforma InterSCity é um middleware que permite o desenvolvimento de aplicações para cidades inteligentes. Já existem algumas aplicações usando a InterSCity, como o sistema de análise de internações hospitalares realizados em Unidades do SUS na cidade de São Paulo. No entanto, diversas melhorias são necessárias para facilitar o uso da InterSCity em aplicações futuras. Este treinamento técnico tem por objetivo implementar novas funcionalidades à InterSCity para melhorar e ampliar sua aplicabilidade para demandas de aplicações reais. Tais funcionalidades incluem a visualização das informações sobre os recursos e capacidades disponíveis, o controle de versionamento das APIs do InterSCity, a disponibilização de datasets relacionados a cidades inteligentes, o suporte a gestão e processamento de Big Data, entre outras.
Financiadores- Fundação de Amparo à Pesquisa do Estado de São Paulo · BOLSA
EquipeHigor Amario de Souza, KON, FABIO, Roberto Hirata Junior (Responsável)
- Concluído2015 – 2016Pesquisa
Avaliação do uso prático de técnica de localização de defeitos
Depuração é uma atividade que demanda alto custo de tempo. Técnicas de localização de defeitos têm sido propostas com a intenção de reduzir os custos de desenvolvimento de programas. A maioria das técnicas gera uma lista de trechos de código que são mais suspeitos de conter defeitos. Desta forma, desenvolvedores podem usar tais listas para procurar por defeitos. Entretanto, experimentos com desenvolvedores usando tais técnicas são necessários para obter um melhor entendimento sobre seu uso prático. O objetivo desta proposta é investigar como desenvolvedores usam técnicas de localização de defeitos e qual é o esforço de localização que eles usualmente estão dispostos a gastar procurando por defeitos usando essas técnicas. Nós também pretendemos identificar fatores que influenciam a localização automatizada de defeitos, tais como a qualidade do conjunto de testes e a existência de defeitos múltiplos.O estágio de pesquisa será realizado na Georgia Institute of Technology sob a supervisão do professor Alessandro Orso. Durante o estágio, iremos desenvolver uma técnica de localização de defeitos para fornecer informações de contexto. Dois experimentos serão realizados: um experimento para avaliar o desempenho da técnica com programas e outro experimento com desenvolvedores para entender como a técnica é utilizada na prática.
Financiadores- Fundação de Amparo à Pesquisa do Estado de São Paulo · BOLSA
EquipeHigor Amario de Souza, Marcos Lordello Chaim, Fabio Kon (Responsável), Alessandro Orso
- Concluído2014 – 2018Pesquisa
Localização de defeitos em depuração automatizada
A depuração é uma tarefa inerente ao processo de desenvolvimento de programas. A execução de testes e a localização e correção de defeitos correspondem a uma parcela significativa do tempo gasto no processo de criação e manutenção de programas. A automatização da atividade de depuração, principalmente a localização de defeitos, pode colaborar para reduzir tais custos e para melhorar a qualidade dos programas desenvolvidos. Diversas técnicas de localização de defeitos têm sido propostas. A maioria dessas técnicas gera como saída uma lista contendo os trechos do programa mais suspeitos de conter defeitos. No entanto, a avaliação de como os desenvolvedores usam os resultados fornecidos pelas técnicas para depurar programas ainda precisa ser mais estudada. Resultados recentes indicam que os desenvolvedores possuem um ``orçamento de esforço'' associado ao uso de uma técnica de depuração. Se o desenvolvedor não encontra o defeito dentro desse orçamento, ele muda a sua estratégia de busca. A compreensão do esforço de localização dos desenvolvedores ao usar uma técnica de depuração automatizada serve para avaliar o uso prático de tais técnicas. Este projeto de doutorado tem o objetivo de estudar e avaliar como as técnicas de depuração são usadas de forma prática e qual o esforço de localização que os desenvolvedores dispendem para procurar defeitos usando técnicas automatizadas. Dessa forma pretendemos aprimorar as técnicas para que localizem o defeito dentro do orçamento de esforço e avaliar quais são os fatores que influenciam os resultados das técnicas de depuração automatizada, como a presença de múltiplos defeitos e a qualidade do conjunto de teste usados pelas técnicas. Assim, pretende-se colaborar com os estudos sobre localização de defeitos para possibilitar seu uso na indústria de software.
Financiadores- Fundação de Amparo à Pesquisa do Estado de São Paulo · BOLSA
EquipeHigor Amario de Souza, Marcos Lordello Chaim, Fabio Kon (Responsável)
- Concluído2010 – 2012Pesquisa
Depuração de programas baseada em cobertura de integração
O objetivo deste projeto é avaliar o uso de informações de cobertura de integração para uso em depuração automatizada. Atualmente, a maioria das técnicas de depuração automatizada baseia-se em informações de cobertura de teste de unidade. O uso de informações da integração entre as unidades pode acrescentar informações sobre o comportamento de execução que ocorre entre as unidades de um programa. Pretende-se realizar experimentos em programas reais, contendo milhares de linhas de código, para avaliar a eficácia da técnica para seu uso em ambientes reais de desenvolvimento.
Financiadores- Fundação de Amparo à Pesquisa do Estado de São Paulo · BOLSA
EquipeHigor Amario de Souza, Marcos Lordello Chaim (Responsável)
Orientações
- Graduação
desde 2025Arthur Nunes Ribeiro · OrientaçãoGeofaixa - Sistema para análise e planejamento da faixa azul em São Paulo · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento - Graduação
desde 2025Ana Beatriz Martins Ribeiro · OrientaçãoSistema de análise e predição para otimização do Transporte Marítimo Brasileiro: Baseadas em dados da ANTAQ · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento - Graduação
desde 2025Alberto Azevedo Martinez · OrientaçãoAnálise de perfil dos usuários colaboradores de projeto de código aberto no Github · Ciência da Computação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento - Graduação
desde 2025Bruno Shinji Ito · OrientaçãoAnálise de acidentes de trânsito em Bauru-SP utilizando Ciência de Dados · Ciência da Computação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento - Graduação
desde 2025Cauet Corrêa de Menezes; Gustavo Carvalho Alves dos Santos · OrientaçãoRefactor Score: Um Sistema de Monitoramento e Avaliação de Qualidade de Código em commits · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento - Graduação
desde 2025Felipe Augusto Ferreira · OrientaçãoSmart Bauru · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento - Graduação
desde 2025Gabriel Gonsales Bugue; Rafaela Ayumi Uehara · OrientaçãoStage Flow - Gerenciador de grupos de dança e apresentações artísticas · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento - Graduação
desde 2025Eduardo Rodrigues · OrientaçãoUtilização de Machine Learning para identificação de áreas de risco de incêndio florestal ou queimadas · Ciência da Computação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento - Graduação
desde 2025Angelo Monte Serrat Bonini · OrientaçãoDesenvolvimento de um MVP para Plataforma SaaS de Venda e Revenda de Ingressos Online com Tokenização em Blockchain · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento - Graduação
desde 2025Gustavo Ribeiro Montes · OrientaçãoUtilizando Ciência de Dados para identificar melhorias na infraestrutura urbana para pedestres · Ciência da Computação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento - Graduação
desde 2025Maria Alice Gonçalves · OrientaçãoSistema de gestão esportiva da atlética da Unesp - Bauru · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento - Iniciação Científica
desde 2025Louise Vicentino de Moraes · OrientaçãoAnálise do desempenho escolar no Brasil usando Ciência de Dados e dados abertos da educação · Engenharia de Materiais · Universidade de São PauloEm andamento - Iniciação Científica
desde 2024Guilherme Montes de Luca · OrientaçãoUso de Aprendizado de Máquina para a análise da colaboração em projetos de código aberto · Ciência da Computação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento - Iniciação Científica
desde 2024Gabriel Campanelli Iamato · OrientaçãoAnálise comparativa de sistemas de bicicletas compartilhadas: semelhanças e diferenças · Ciência da Computação · Instituto de Ciências Matemáticas e de Computação - Universidade de São Pau · Bolsa Conselho Nacional de Desenvolvimento Científico e TecnológicoEm andamento - Iniciação Científica
desde 2024Davi Bento de Mello · OrientaçãoAnálise de dados de mobilidade ativa em São Paulo usando dados do aplicativo Strava · Técnico em Desenvolvimento de Sistemas · Escola Técnica Estadual Rodrigues de Abreu · Bolsa Conselho Nacional de Desenvolvimento Científico e TecnológicoEm andamento - Iniciação Científica
desde 2024Anna Luiza Lopes Pereira · OrientaçãoAnálise de dados de mobilidade ativa em Bauru · Técnico em Desenvolvimento de Sistemas · Escola Técnica Estadual Rodrigues de Abreu · Bolsa Conselho Nacional de Desenvolvimento Científico e TecnológicoEm andamento - Iniciação Científica
desde 2024Nicole Corrêa Colasso · OrientaçãoAnálise de dados históricos sobre as eleições no Brasil · Técnico em Informática · Colégio Técnico Industrial Prof. Isaac Portal Roldán · Bolsa Conselho Nacional de Desenvolvimento Científico e TecnológicoEm andamento - Iniciação Científica
desde 2024João Pedro Rahal Tavares · OrientaçãoEstratégias para a conexão de infraestrutura cicloviária local complementar · Bacharelado em Ciência da Computação · Instituto de Matemática e Estatística (USP)Em andamento - Iniciação Científica
desde 2024Vinicius Henrique de Oliveira Franzote · OrientaçãoInvestigando as características da distribuição socioespacial das escolas usando Ciência de Dados · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento - Iniciação Científica
desde 2024Arthur Nunes Ribeiro · OrientaçãoAnálise dos impactos da implementação das Faixas Azuis para a mobilidade urbana de São Paulo · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento - Iniciação Científica
desde 2024Felipe Augusto Ferreira · OrientaçãoIdentificação de problemas urbanos na cidade de Bauru usando Web scraping · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento - Iniciação Científica
desde 2024Marcelo Fernandes Scalvi · OrientaçãoUso de mineração de repositório de código para manutenção e evolução de software · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento - Mestrado
desde 2023Inaê Soares de Figueiredo · Co-orientaçãoImpacts of Code Optimization in Noise Reduction and Performance Improvement of Quantum Machine Learning Models for Anomaly Detection in Computer Networks · Ciência da Computação · Universidade Estadual Paulista Júlio de Mesquita FilhoEm andamento
Bancas julgadoras
33 registros- 2025Henrique Pachioni MartinsDesenvolvendo o pensamento computacional em sala de aula · Mídia e Tecnologia · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Roberta Spolon, Kelton Augusto Pontara da Costa, Higor Amario de SouzaExame de qualificação de doutorado
- 2025Bruno Pietro Santos Scheavolin, Vitor PradoCampo+: Proposta de aplicativo Web para gestão de propriedades rurais · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Higor Amario de Souza, José Remo Ferreira Brega, Simone das Graças Domingues PradoGraduação
- 2025Mihael Yuri CostaEventário: Plataforma para gerenciamento de eventos · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Higor Amario de Souza, José Remo Ferreira Brega, Douglas RodriguesGraduação
- 2025Carlos Alberto de Oliveira Nackamura JuniorCampus Issue Management (CIM) - Sistema para relatar e gerir incidentes no campus · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: José Remo Ferreira Brega, Higor Amario de Souza, Leandro Aparecido Passos JuniorGraduação
- 2025Professor substituto para as disciplinas Estratégias de Sistemas de Informação e Fundamentos de Sistemas de Informação (Edital 46/2025)· Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Higor Amario de Souza, Andrea Carla Gonçalves Vianna, Roberta SpolonConcurso público
- 2024Anselmo Ruiz LopesSoftware Interpretador de Demonstrações Financeiras (IDF) · Ciência da Computação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Higor Amario de Souza, José Remo Ferreira Brega, Simone das Graças Domingues PradoGraduação
- 2024Leonardo Scarmato Jorge de PaulaMineração de Repositórios para avaliar a influência das mudanças de código ao longo do tempo · Ciência da Computação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Higor Amario de Souza, André Luis Debiaso Rossi, Simone das Graças Domingues PradoGraduação
- 2024Luca Melo MunekataAnálise de mobilidade urbana utilizando dados de viagens de bicicleta · Ciência da Computação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Higor Amario de Souza, Juliana da Costa Feitosa, Simone das Graças Domingues PradoGraduação
- 2024Rafael Maestro dos SantosSistema de registro de presença por geolocalização · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Higor Amario de Souza, Kelton Augusto Pontara da Costa, José Remo Ferreira BregaGraduação
- 2024Diogo Medeiros de AlmeidaAnálise do padrão de comportamento de pedestres em São Paulo usando dados de um aplicativo de rastreamento de atividades físicas · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Higor Amario de Souza, Kelton Augusto Pontara da Costa, José Remo Ferreira BregaGraduação
- 2024Rafaella de Oliveira Bergamo Pereira4ALL: Website para classificação de espaços acessíveis · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Higor Amario de Souza, Simone das Graças Domingues Prado, José Remo Ferreira BregaGraduação
- 2024Rafael Colin RiosDistrace: um software sobre observabilidade e visualização · Sistemas de Informação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Higor Amario de Souza, Marcia Aparecida Zanoli Meira e Silva, José Remo Ferreira BregaGraduação
- 2024Professor substituto para as disciplinas Métodos Numéricos Computacionais e Pesquisa Operacional (Edital 339/2023)· Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Higor Amario de Souza, Andrea Carla Gonçalves Vianna, Marco Antônio Rahal SacomanConcurso público
- 2024Professor substituto para a disciplina Laboratório de Circuitos Digitais (Edital 140/2023)· Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Simone das Graças Domingues Prado, Higor Amario de Souza, Andrea Carla Gonçalves ViannaConcurso público
- 2024Professor substituto para as disciplinas Circuitos Digitais e Laboratório de Circuitos Digitais (Edital 141/2023)· Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Simone das Graças Domingues Prado, Higor Amario de Souza, Andrea Carla Gonçalves ViannaConcurso público
- 2024Professor assistente na área de conhecimento de Ciência da Computação (Edital 08/2024)· Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Gislaine Cristina Batistela, André Luis Debiaso Rossi, Higor Amario de SouzaConcurso público
- 2024Professor substituto para as disciplinas Métodos Numéricos Computacionais e Pesquisa Operacional (Edital 239/2024)· Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Andrea Carla Gonçalves Vianna, Higor Amario de Souza, André Luis Debiaso RossiConcurso público
- 2024Professor substituto para as disciplinas Gestão de Projetos, Gestão de Tecnologia da Informação e Empreendedorismo (Edital 241/2024)· Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Higor Amario de Souza, Clayton Reginaldo Pereira, João Paulo PapaConcurso público
- 2023Carlos Alexandre Carvalho TojeiroMachine Learning para Identificação de Ataques de Intrusão Utilizando Métodos de Balanceamento de Dados · Ciência da Computação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Kelton Augusto Pontara da Costa, Higor Amario de Souza, Thiago José LucasExame de qualificação de mestrado
- 2023Geovanna Carolina Favilla Vidal Trigo BrandãoQualidade de Software: Análise de Desempenho de ferramentas de automação em Testes E2E · Ciência da Computação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Kleber Rocha de Oliveira, Higor Amario de Souza, Simone das Graças Domingues PradoGraduação
- 2023Artur Kyung Min LeeImplementação do DevOps para Gerenciamento de Riscos de Segurança na Nuvem · Ciência da Computação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Kleber Rocha de Oliveira, Higor Amario de Souza, Simone das Graças Domingues PradoGraduação
- 2023Nathan Del Grande SouzaAnálise de dados da saúde para melhorias em políticas públicas · Ciência da Computação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Higor Amario de Souza, João Pedro Albino, Simone das Graças Domingues PradoGraduação
- 2023Danilo Alves SiqueiraAnálise do Impacto da Segurança Viária na Mobilidade Ativa · Ciência da Computação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Higor Amario de Souza, Kelton Augusto Pontara da Costa, Simone das Graças Domingues PradoGraduação
- 2023Julio Cesar Benelli VarellaAplicação de SOLID em um Sistema Web para intermediação de compra e venda de comida na Unesp · Ciência da Computação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Higor Amario de Souza, Kleber Rocha de Oliveira, Simone das Graças Domingues PradoGraduação
- 2023Ronaldo Rubens Gesse JúniorMineração de repositórios para análise de ciclos de vida de software · Ciência da Computação · Universidade Estadual Paulista Júlio de Mesquita FilhoBanca: Higor Amario de Souza, Juliana da Costa Feitosa, Simone das Graças Domingues PradoGraduação
Revisor de periódico
14 registros- 2024 – presenteVínculo atualEPJ Data ScienceRevisor de periódico
- 2024 – presenteVínculo atualEMPIRICAL SOFTWARE ENGINEERINGRevisor de periódico
- 2023 – presenteVínculo atualETD: EDUCAÇÃO TEMÁTICA DIGITALRevisor de periódico
- 2023 – presenteVínculo atualAcm Transactions On Software Engineering And MethodologyRevisor de periódico
- 2023 – presenteVínculo atualSOFTWARE QUALITY JOURNAL (ONLINE)Revisor de periódico
- 2023 – presenteVínculo atualJournal of Systems and SoftwareRevisor de periódico
- 2023 – presenteVínculo atualSoftware Testing Verification and ReliabilityRevisor de periódico
- 2022 – presenteVínculo atualJournal of Computer LanguagesRevisor de periódico
- 2020 – presenteVínculo atualFuture Generation Computing SystemsRevisor de periódico
- 2020 – 2020URBE. REVISTA BRASILEIRA DE GESTÃO URBANARevisor de periódico
- 2020 – 2020Journal of Traffic and Transportation EngineeringRevisor de periódico
- 2020 – presenteVínculo atualInternet of ThingsRevisor de periódico
- 2020 – presenteVínculo atualApplied IntelligenceRevisor de periódico
- 2018 – 2018IEEE AccessRevisor de periódico
Prêmios e títulos
04 registros- 2025(como orientador de Pré-Iniciação Científica) Menção honrosa no 32o. Simpósio Internacional de Iniciação Científica e Tecnológica da USP - SIICUSP - Etapa Internacional para Gabriel Campanelli IamatoUniversidade de São Paulo
- 2022(como coach) 1o. lugar no EU-IoT Hackathon Sustainable Next Generation IoT Applications - Projeto: Sustainable Irrigation System - Equipe: Cássio Dias, Felipe Braz, Gabriel Negri e José de OliveiraCONASENSE - COmmunications, Navigation, SENsing and SErvices
- 2020Melhor artigo do IV Workshop de Computação UrbanaSociedade Brasileira da Computação
- 2019Vencedor do Concurso Radartona SP - Hackathona com dados de radaresPrefeitura de São Paulo
Participação em eventos
23 registros- 2025Tools track reviewer39th Brazilian Symposium on Software Engineering - Tools track · Avaliador · Convidado · Recife
- 2024Mining Repositories to Analyze the Lifecycle of Frameworks and Libraries38th Brazilian Symposium on Software Engineering · Apresentação oral · Participante · Curitiba
- 2024Tools track reviewer38th Brazilian Symposium on Software Engineering - Tools track · Avaliador · Convidado · CuritibaDivulgação científica
- 2024Artifact reviewer4th Workshop on Open Science Practices for Software Engineering (OpenScienSE 2024) · Avaliador · Convidado · Curitiba
- 2024Encontro de Docentes do Câmpus de Bauru - XV ENDOCOuvinte · BauruDivulgação científica
- 20242º Ciclo de Formação e Desenvolvimento Profissional Docente UNESPOuvinte · Águas de Lindoia
- 2024CoachXXIX Maratona de Programação -1a. fase · Outras formas · Participante · MaríliaDivulgação científica
- 2023BikeScienceWeb: a tool for bicycle-related urban planningXXIV Brazilian Symposium on Geoinformatics (GEOINFO) · Poster / Painel · Participante · São José dos Campos
- 2023Artifact reviewer3rd Workshop on Open Science Practices for Software Engineering (OpenScienSE 2023) · Avaliador · Convidado · Campo GrandeDivulgação científica
- 2023Endoculturação da Comunidade UNESPOuvinte · São Pedro
- 2023MonitorXXVIII Maratona de Programação -1a. fase - Bauru - SP · Moderador · Convidado · BauruDivulgação científica
- 2022Sustainable Irrigation SystemEU-IoT Hackathon Sustainable Next Generation IoT Applications · Avaliador · Convidado · MuniqueDivulgação científica
- 2021Artifact trackThe ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 21) · Avaliador · Convidado · AthensDivulgação científica
- 2019Radartona 2019 - InterSCity teamRadartona SP - Hackathona com dados de radares · Outras formas · Participante · São PauloDivulgação científica
- 2018Jaguar: a spectrum-based fault localization tool for real-world software2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) · Apresentação oral · Participante · Vasteras
- 2014A Service Selection Mechanism Using Fault-Tolerance TechniquesXXXII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos · Apresentação oral · Participante · Florianópolis
- 2013Avaliação de Heurísticas para Localização de Defeitos7th Brazilian Workshop on Systematic and Automated Software Testing · Apresentação oral · Participante · Brasília
- 2012Depuração de programas baseada em cobertura de integraçãoIII Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2012 · Apresentação Oral · Participante · Natal
- 2012VIII Simpósio Brasileiro de Sistemas de Informação - SBSI 2012Ouvinte · São Paulo
- 2012Mesa de EgressosIII Semana de Sistemas de Informação da EACH-USP · Outras Formas · Participante · São Paulo
- 2011II Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011Ouvinte · São Paulo
- 2011Workshop de Capacitação para Pesquisadores da USP em Publicação CientíficaOuvinte · São Paulo
- 2010II Semana de Sistemas de Informação da EACH-USPOuvinte · São Paulo
Formação complementar
09 registrosCoautorias
13 coautores- 18 obras
- 12 obras
- 4 obras
- 4 obras
- 2 obras
- 2 obras
- 1 obra
- 1 obra
- 1 obra
- 1 obra
Na imprensa
betaVersão beta: esta seção é experimental e pode ser alterada ou removida a qualquer momento, e os dados podem estar incompletos ou incorretos.
