Departamento de Sistemas de Computação

Marcio Eduardo Delamaro

possui graduação em Ciência da Computação pela Universidade Estadual de Campinas (1985), mestrado em Ciência da Computação pela Universidade de São Paulo (1993) e doutorado em Física Computacional pela Universidade de São Paulo (1997) com programa sanduíche na Purdue Univesity, Estados Unidos. Realizou pós-doutorado no Politecnico di Milano, Itália, entre 2000 e 2001 e obteve o título de livre-docente na área de Engenharia de Software pela Universidade de São Paulo em 2005. Em 2013 esteve na George mason University, Estados Unidos, como pesquisador visitante. Foi bolsista do Conselho Nacional de Desenvolvimento Científico e Tecnológico de 1999 a 2011. É Professor Titular do SSC/ICMC/USP. Tem experiência na área de Engenharia de Software atuando principalmente nos seguintes temas: teste de software, teste de mutação, teste estrutural.

  • http://lattes.cnpq.br/2844974351441051 (02032023)
  • Rótulo/Grupo:
  • Bolsa CNPq:
  • Período de análise:
  • Endereço: Universidade de São Paulo. Departamento de Ciências da Computação. Instituto de Ciências Matemáticas e de Computação. Av. Trabalhador São-carlense, 400 CEP 13566590 - São Carlos, SP - Brasil
  • Grande área: [sem-grandeArea]
  • Área: [sem-area]
  • Citações: Google Acadêmico

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

Prêmios e títulos

Participação em eventos

Organização de eventos

Lista de colaborações

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

  • Total de projetos de pesquisa (27)
    1. 2001-2001. Análise de Estratégias de Teste de Software
      Este projeto teve como objetivo a definição e utilização de técnicas, critérios e ferramentas de teste de software. Foi patrocinado pela Fundação Araucária.
      Membro: Márcio Eduardo Delamaro.
    2. 2000-2000. Mutation Testing of Concurrent Java Programs
      Procurava tratar dos problemas inerentes ao teste de programas concorrentes, utilizando a técnica de mutação. Foi conduzido durante o pós-doutorado, em colaboração com o Prof. Mauro Pezzè da Università degli Studi di Milano, Itália.
      Membro: Márcio Eduardo Delamaro.
    3. 1998-1998. Estudos Teóricos e Aplicados de Critérios de Teste Baseados em Mutação
      Este projeto, apresentado à pró-reitoria de pesquisa da UEM tinha como objetivo o estudo e implementação de critérios e técnicas de teste de software. Não teve suporte externo, apenas da própria UEM.
      Membro: Márcio Eduardo Delamaro.
    4. 1999-1999. Teste de Mutação: Análise e Definição de estratégias de Teste e Validação de Software
      Projeto patrocinado pelo CNPq e coordenado pelo Prof. José Carlos Maldonado da USP-São Carlos.
      Membro: Márcio Eduardo Delamaro.
    5. 2001-2001. Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação
      Projeto desenvolvido dentro do Projeto Brasileiro de Qualidade de Software (PBQS) do MCT.
      Membro: Márcio Eduardo Delamaro.
      : Projeto desenvolvido dentro do Projeto Brasileiro de Qualidade de Software (PBQS) do MCT.
      Membro: Jose Carlos Maldonado.
    6. 1999-1999. Elaboração de material didático sobre linguagens formais e autômatos
      Projeto de ensino para elaboração de material didático usado na disciplina de Teoria da Computação.
      Membro: Márcio Eduardo Delamaro.
    7. 2000-2000. Elaboração de material didático sobre compiladores
      Projeto de ensino para elaboração de material didático usado na disciplina de Teoria da Computação.
      Membro: Márcio Eduardo Delamaro.
    8. 1999-1999. NSF-CNPq Readers: : A Collaborative Research to Develop, Validate and Package Reading Techniques for Software Defect Detection
      Projeto patrocinado pelo acordo CNPq-NSF para o desenvolvimento de técnicas de leitura e validação de software. Coordenador do lado brasileiro: José Carlos Maldonado. Lado americano:Victor Basili.
      Membro: Márcio Eduardo Delamaro.
    9. 2003-2003. PLAVIS - Plataforma para Validação e Integração de Software em Sistemas Espaciais
      Projeto patrocinado pelo CNPq que tem como objetivo aplicar técnicas de teste no contexto de aplicações espaciais, desenvolvidas dentro do INPE. Coordenado pelo prof. JoséCarlos Maldonado.
      Membro: Márcio Eduardo Delamaro.
      O objetivo global do projeto PLAVIS é validar a aplicabilidade dos métodos, técnicas e ferramentas desenvolvidos para Testes de Software ( geração, seleção, execução e análise automatizada de testes) em aplicações espaciais. Além disso, será também enfocada a qualidade dos testes, tanto do ponto de vista da cobertura (seja do código, seja da especificação), quanto do ponto de vista da eficácia para encontrar falhas. Os objetivos específicos são: a) Adaptação e aplicação de ferramentas existentes, desenvolvidas em meio acadêmico pelos grupos envolvidos, em estudos de casos reais da área espacial fornecidos pelo INPE; b) Transferência de tecnologia 1. Criação de plataforma integrada no INPE contendo as ferramentas de modelagem, testes e análise de desempenho citadas em (a) . 2. Capacitação da equipe de Engenharia Espacial do INPE no uso das ferramentas. 3. Avaliação dos resultados obtidos com o uso das ferramentas em casos reais. c) Disseminação de resultados 1. Publicação em veículos de qualidade (congressos e periódicos); 2. Teses, dissertações e trabalhos de iniciação científica. 3. Mini-cursos e workshops anuais. Ao final, ter-se-á um conjunto de ferramentas disponíveis no INPE para uso em projetos reais de aplicações espaciais pelos desenvolvedores de sistemas no INPE. Em longo prazo, planeja-se que outras empresas e instituições acadêmicas utilizem a plataforma.
      Membro: Jose Carlos Maldonado.
    10. 2002-2002. Uso de Teste Estrutural em Código Móvel
      Projeto patrocinado pelo CNPq, busca apoiar o teste programas baseados em agentes móveis utilizando teste estrutural. Coordenado peloo Prof. Márcio Delamaro
      Membro: Márcio Eduardo Delamaro.
    11. 2003-2003. Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação
      Projeto desenvolvido dentro do Projeto Brasileiro de Qualidade de Software (PBQS) do MCT.
      Membro: Márcio Eduardo Delamaro.
      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).
      Membro: Jose Carlos Maldonado.
    12. 2005-2005. Utilização de teste estrutural para programas Java em dispositivos móveis
      Projeto tem como objetivo estudar e desenvolver técnicas e ferramentas de suporte ao teste de software para dispositivos móveis como celulares ou PDAs, que utilizem a linguagem Java e ambiente J2ME.
      Membro: Márcio Eduardo Delamaro.
    13. -.

      Membro: Márcio Eduardo Delamaro.
    14. 2005-2005. Estudo e definição de estratégias para utilização de critérios estruturais em componentes de software
      Projeto tem por objetivo definir estratégias que permitam a utilização de critérios de teste estrutural durante o desenvolvimento de software baseado em componentes. Para tanto deve ser desenvolvida ferramenta de teste que dê suporte à geração de metadados de teste durante o teste por parte do produtor do componente. Tais dados devem ser utilizados para auxilizar o teste da integração do componente no software do cliente.
      Membro: Márcio Eduardo Delamaro.
    15. 2007-2007. QUALIPSO
      O projeto QUALIPSO é uma aliança entre industrias, órgãos governamentais e academia que tem como objetivo ajudar indústrias e governos a alcançar 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 udo de software de código aberto com o mesmo nível de confiança tradicionalmente oferecido pelo software proprietário.
      Membro: Márcio Eduardo Delamaro.
    16. 2007-2007. Definição de oráculos de teste para programas com saída gráfica usando recuperação baseada em conteúdo
      Uma questão bastante básica, porém nada trivial, na atividade de teste de software é como decidir se o omportamento de um programa P com um determinado dado de teste é correto ou não. O mecanismo que se utiliza para definir a saída ou o comportamento esperado de uma execução de P é conhecido como "oráculo''. Um ponto articularmente delicado na automatização de um oráculo aparece quando as saídas a serem comparadas se encontram num formato não trivial, como, por exemplo, a tela de uma interface gráfica ou uma outra imagem produzida pelo programa sendo considerado. Técnicas específicas devem ser desenvolvidas para tal, e constituem, exatamente, o tema central deste projeto, durante o qual pretende-se utilizar onceitos de recuperação de imagens baseada em conteúdo, processo que emprega técnicas de processamento de imagens para extrair características de imagens e utiliza-as em buscas por similaridade, para auxiliar na atividade de teste, permitindo a automatização de oráculos gráficos.
      Membro: Márcio Eduardo Delamaro.
    17. -.

      Membro: Márcio Eduardo Delamaro.
    18. 2009-2009. INCT-MACC - Instituto Nacional de Ciência e Tecnologia - Medicina Assistida por Computação Científica / Framework para simulação de exames de biópsia
      A missão do INCT-MACC é realizar pesquisa e desenvolvimento em computação científica e suas aplicações na medicina, em especial a modelagem e simulação computacional dos sistemas fisiológicos que integram o corpo humano; promover o desenvolvimento do processamento de imagens médicas, da visualização científica e da realidade virtual no desenvolvimento de aplicativos médicos orientados para a diagnose auxiliada por computador, tratamento, planejamento cirúrgico, treinamento e credenciamento médico; empregando as mais modernas técnicas de comunicação e transmissão multimídia desenvolver e gerenciar ambientes computacionais de alto desempenho que atendam às necessidades da medicina assistida por computação científica do País; formar recursos humanos e promover transferência de tecnologia e inovação para a área da saúde assistida por computação científica. Dentro deste contexto, um objetivo particular é desenvolver um Framework, denominado ViMeT, que disponibiliza classes destinadas a gerar ambientes virtuais, com funcionalidades para simular exames de biópsia. Com a instanciação do Framework construído pretende-se tornar possível a construção de novas aplicações para treinamento médico com maior produtividade. Com essas aplicações, estudantes de Medicina podem treinar o procedimento quantas vezes forem necessárias antes de realizá-lo em pacientes reais. Em médio prazo, é possível diminuir o custo do treinamento médico e oferecer subsídios para incluir uma nova cultura na rotina da educação médica. O projeto faz parte Instituto Nacional de Ciência e Tecnologia de Medicina Assistida por Computação Cientifica INCT MACC, coordenado por Raul Feijó. Edital Nº 15/2008 do MCT, CNPq, FNDCT, CAPES, FAPEMIG, FAPERJ e FAPESP.
      Membro: Márcio Eduardo Delamaro.
    19. 2008-2008. PROCAD/CAPES -- Integrando e aprimorando atividades de pesquisa, ensina/treinamento transferência tecnológica em teste e validação de software
      A grande temática deste projeto refere-se à atividade de teste de software, com perspectivas de linhas de produto e componentes envolvendo teste para linguagens procedimentais, OO (orientadas a objetos), AO (orientadas a aspectos), incluindo o teste de sistemas distribuídos e de modelos. Também serão investigados temas envolvendo engenharia de software experimental e metodologias de apoio ao desenvolvimento de módulos educacionais para ensino e aprendizagem presencial e à distância.
      Membro: Márcio Eduardo Delamaro.
      A grande temática deste projeto refere-se à atividade de teste de software, com perspectivas de linhas de produto e componentes envolvendo teste para linguagens procedimentais, OO (orientadas a objetos), AO (orientadas a aspectos), incluindo o teste de sistemas distribuídos e de modelos. Também serão investigados temas envolvendo engenharia de software experimental e metodologias de apoio ao desenvolvimento de módulos educacionais para ensino e aprendizagem presencial e à distância..
      Membro: Adenilso da Silva Simão.
    20. 2009-2009. INCT-SEC -- Instituto Nacional de Ciência e Tecnologia, Sistemas Embarcados Críticos
      A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologia importante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meio ambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve grupos de pesquisadores de nove universidades brasileiras e sete empresas. Os principais objetivos mais específicos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes são a produção de uma metodologia que documente esse conhecimento e possa ser usada para o treinamento de pessoal formado na área; a produção de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes.
      Membro: Márcio Eduardo Delamaro.
    21. 2011-2011. Apoio à sistematização e automatização da atividade de teste de software
      Este projeto de pesquisa se concentra na área de Engenharia de Software e, mais especificamente, de teste de software. Insere-se no contexto dos grandes desafios da computação no Brasil, à medida que visa a contribuir com o desenvolvimento de técnicas e ferramentas que permitam o desenvolvimento de sistemas mais confiáveis e seguros, no espírito descrito pelo desafio ``Desenvolvimento Tecnológico de Qualidade: sistemas disponíveis, corretos, seguros, escaláveis, persistentes e ubíquos''. Além de contribuir para o avanço do estado da arte e estado da prática, propondo técnicas e ferramentas para o teste de software, este projeto deve contribuir na formação de recursos humanos na área, por meio da formação de estudantes de graduação e pós-graduação, que participarão da sua execução. Sete tópicos principais são abordados: 1) utilização de máquinas virtuais no teste de software; 2) definição de oráculos de teste para programas com saídas gráficas; 3) geração de dados de teste para modelos Simulink; 4) definição de oráculos de teste para modelos Simulink; 5) utilização de teste estrutural em software embarcado; 6) definição de critérios de teste para aplicações de Realidade Virtual; e 7) aplicação de técnicas de experimentação em Engenharia de Software.
      Membro: Márcio Eduardo Delamaro.
    22. 2011-2011. Teste e validação de software: estudos teóricos e aplicações
      As atividades propostas neste projeto de pesquisa concentram-se no estudo, desenvolvimento e aplicação de critérios de adequação e métodos de seleção de casos de teste. O objetivo final é estabelecer ambientes que dêem suporte automatizado às atividades de validação e teste, em diversas etapas do ciclo de vida, numa abordagem sistemática e bem fundamentada.
      Membro: Márcio Eduardo Delamaro.
    23. 2019-2019. Teste de Mutaçãoo Aplicado a Ambientes de Realidade Virtual
      Aplicações que utilizam funcionalidades ou recursos de Realidade Virtual tornam-se cada vez mais populares. Em geral, o desenvolvimento dessas aplicações não inclui uma fase de testes sistematizada, que leve em conta as particularidades desse tipo de software, fazendo com que testes manuais e ad-hoc sejam realizados pelos desenvolvedores. A atividade de teste é uma atividade cara e suscetível a erros, o que impõe a utilização de técnicas que permitam diminuir os custos e aumentar a produtividade. Diversas técnicas de teste têm sido desenvolvidas e utilizadas, cada uma com suas próprias características, eficácia e custo. Neste projeto de é apresentada uma proposta de adaptação do teste de mutação ao contexto de sistemas de Realidade Virtual. Para isso, pretende-se definir uma taxonomia de defeitos especifica para o domínio de softwares desenvolvidos no contexto de Realidade Virtual. Tal taxonomia deve ser utilizada como base a fim de propor uma abordagem de testes baseada em defeitos utilizando o teste de mutação. Para validação dos resultados espera-se construir uma ferramenta capaz de instanciar a abordagem proposta a fim de verificar a efetividade da mesma por meio de experimentos científicos.
      Membro: Márcio Eduardo Delamaro.
    24. 2020-2020. Engenharia de Software e Tecnologias Educacionais: Estabelecendo Mecanismos de Apoio ao Ensino e Aprendizagem
      Este trabalho visa construir uma forte relação de pesquisa entre as equipes da Queens University Belfast e da USP na área de Teste de Software. Para isso, estão planejadas atividades de intercâmbio (missões de pesquisa), nas quais organizaremos uma ou mais palestras e cursos de curta duração pelo pesquisador convidado, workshops interativos intensivos de um dia e também reuniões individuais entre o pesquisador convidado e os pesquisadores locais.
      Membro: Márcio Eduardo Delamaro.
    25. 2019-2019. Estudo e desenvolvimento de técnicas de teste de software e suas aplicações
      Este projeto de pesquisa visa contribuir com a área de teste de software por meio da proposição de novas estratégias, técnicas e critérios para apoiar o desenvolvimento de produtos de software modernos. A tecnologia de desenvolvimento de software evolui de forma cada vez mais rápida, abrangendo novos ambientes, novos domínios de aplicação e novas arquiteturas. Com a necessidade cada vez maior de garantir qualidade no produto de software, é necessário desenvolver e adaptar técnicas de teste que acompanhem essa evolução. Em particular, sistemas de Realidade Virtual, software concorrente, robôs móveis, requisitos não funcionais e controle de acesso são temas que serão abordados no presente projeto. Além do desenvolvimento de técnicas de teste nesses contextos, estudos experimentais serão realizados visando avaliar as novas propostas de modo a construir um corpo de conhecimento sobre avaliação de técnicas, critérios e ferramentas de teste de software. Ainda, material de ensino e treinamento sobre as abordagens estudadas devem ser preparados com o propósito de transferir as novas abordagens produzidas para estudantes e profissionais de Engenharia de Software. Sobretudo, a oportunidade de colaboração entre as equipes, ambas especialistas na área de teste de software, deverá produzir resultados de extremo impacto social e econômico, dada a importância que a Computação e o desenvolvimento de software, com qualidade, têm na vida das pessoas e na economia dos países.
      Membro: Márcio Eduardo Delamaro.
      Este projeto de pesquisa visa contribuir com a área de teste de software por meio da proposição de novas estratégias, técnicas e critérios para apoiar o desenvolvimento de produtos de software modernos. A tecnologia de desenvolvimento de software evolui de forma cada vez mais rápida, abrangendo novos ambientes, novos domínios de aplicação e novas arquiteturas. Com a necessidade cada vez maior de garantir qualidade no produto de software, é necessário desenvolver e adaptar técnicas de teste que acompanhem essa evolução. Em particular, sistemas de Realidade Virtual, software concorrente, robôs móveis, requisitos não funcionais e controle de acesso são temas que serão abordados no presente projeto. Além do desenvolvimento de técnicas de teste nesses contextos, estudos experimentais serão realizados visando avaliar as novas propostas de modo a construir um corpo de conhecimento sobre avaliação de técnicas, critérios e ferramentas de teste de software. Ainda, material de ensino e treinamento sobre as abordagens estudadas devem ser preparados com o propósito de transferir as novas abordagens produzidas para estudantes e profissionais de Engenharia de Software. Sobretudo, a oportunidade de colaboração entre as equipes, ambas especialistas na área de teste de software, deverá produzir resultados de extremo impacto social e econômico, dada a importância que a Computação e o desenvolvimento de software, com qualidade, têm na vida das pessoas e na economia dos países.
      Membro: Jose Carlos Maldonado.
    26. 2021-2021. Desenvolvimento de uma Metodologia para definição de Ensaios de Proficiência em Avaliação de Software
      Um Ensaio de Proficiência consiste na avaliação do desempenho de um conjunto de participantes com base em critérios pré-estabelecidos. Ele geralmente é aplicado em contextos onde organismos que realizam a avaliação da conformidade de determinado produto necessitam ter a competência dos participantes demonstrada por meio de uma inter comparação. Embora os Ensaios de Proficiência tenham métodos e procedimentos muito bem definidos em diferentes áreas do conhecimento, o mesmo não ocorre quando os organismos responsáveis têm que avaliar produtos de software. Tal dificuldade se dá principalmente em função da inerente subjetividade associada à avaliação da conformidade de um produto de software, bem como da dificuldade em se determinar métricas eficientes para se verificar quão eficiente é um determinado procedimento de avaliação. Em resposta a isso, o presente projeto propõe o desenvolvimento de uma metodologia própria para especificação de Ensaios de Proficiência em Avaliação de Software, que inclua procedimentos e métricas eficientes para determinar o grau de competência com que um organismos ou laboratório pode avaliar e atestar a conformidade de produtos software. Esta iniciativa é de grande interesse da academia, indústria e governos, considerando-se que cada vez mais provedores de soluções baseadas em software recorrem a avaliações de terceira parte para atestar a conformidade de seus produtos, e consequentemente precisam confiar que os organismos que prestam esses serviços são devidamente competentes.
      Membro: Márcio Eduardo Delamaro.
    27. 2008-2008. Subsídios para atividades de VV&T no desenvolvimento de software
      Este projeto visa a agregar um grupo de pesquisa com o objetivo de explorar técnicas e critérios para as atividades de VV&T instanciados para diferentes paradigmas de desenvolvimento mais recentes (Orientação a Objetos, Aspectos, Processos Ágeis, etc.) e para diferentes domínios de aplicação (Sistemas de Informação, Aplicações concorrentes, Sistemas de Tempo Real etc.). Estudos experimentais serão desenvolvidos com o intuito de avaliar as estratégias denidas. Tais experimentos devem ser considerados tanto no ambiente acadêmico como industrial, e estratégias e material para transferência da tecnologia estudada devem ser elaborados visando a contribuir com a qualidade na produção de software.
      Membro: Márcio Eduardo Delamaro.
      Edital MCT/CNPq 15/2007 ? Universal (Faixa C)
      Membro: Ellen Francine Barbosa.

      Membro: Elisa Yumi Nakagawa.

Prêmios e títulos

  • Total de prêmios e títulos (1)
    1. Segundo lugar do prêmio Arnaldo Dias Belchior, Concurso de teses e dissertações de qualidade de software -- SBQS 2008. Sociedade Brasileira de Computação. 2008.
      Membro: Márcio Eduardo Delamaro.

Participação em eventos

  • Total de participação em eventos (11)
    1. Evaluating Structural Criteria for Testing Mobile Code. 12th INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING
    2. . Congresso Nacional da SBC
    3. . Conferência Internacional de Tecnologia de Software: Qualidade de Software
    4. P/pTool: a Tool for Collection and Evaluation of Model Based Metrics for Software Processes. European Software Mesurement Conference
    5. . 4th Congress of Logic Applied to Technology (LAPITEC)
    6. Dual Mutation: The 'Save the Mutants' Approach. III Simpósio Brasileiro de Qualidade de Software
    7. . IX Simpósio de Teses e Dissertações do ICMC-USP
    8. . Internatiol Conference on Software Testing (ICST)
    9. Introdução ao teste de software -- técni as e ferramentas. Simpósio Brasileiro de Qualidade de Software
    10. . Congresso Brasileiro de Software: Teoria e Prática
    11. . Congresso Brasileiro de Software: Teoria e Prática

Organização de eventos

  • Total de organização de eventos (28)
    1. . Sessão de Ferramentas do XIII Simpósio Brasileiro de Engenharia de Software. SBC. 1999. Organizacao
    2. . VI Seminário de Iniciação Científica do Centro Universitário Eurípides de Marília. UNIVEM. 2005. Organizacao
    3. . Sessão de Ferramentas do XX Simpósio Brasileiro de Engenharia de Software. SBC. 2006. Organizacao
    4. . Sessão de Ferramentas do VIII Simpósio Brasileiro de Engenharia de Software. SBC. 1993. Organizacao
    5. . X Simpósio Brasileiro de Engenharia de Software. SBC. 1996. Organizacao
    6. . XI Simpósio Brasileiro de Banco de Dados. SBC. 1996. Organizacao
    7. . XII Simpósio Brasileiro de Engenharia de Software. SBC. 1998. Organizacao
    8. . XIII Simpósio Brasileiro de Banco de Dados. SBC. 1998. Organizacao
    9. . I Fórum de Informática e Tecnologia do Paraná. Universidade Estadual de Maringá. 2000. Organizacao
    10. . VIII Semana de Informática da Universidade Estadual do Paraná. Universidade Estadual de Maringá. 2000. Organizacao
    11. . IV Mostra de trabalhos de Informática. Universidade Estadual de Maringá. 2000. Organizacao
    12. . I Workshop de Qualidade em Produção de Software. Universidade Estadual de Maringá. 2001. Organizacao
    13. . 4th Congress of Logic Applied to Technology (LAPTEC). SBC. 2003. Organizacao
    14. . V Concurso de teses e dissertações em qualidade de software. SBC. 2007. Organizacao
    15. . II Escola regional de Informática -- São Paulo Oeste. SBC. 2006. Organizacao
    16. . IV Experimental Software Engineering Latin American Workshop. USP/UNIVEM. 2007. Organizacao
    17. . II Escola regional de Informática -- São Paulo Oeste. SBC. 2007. Organizacao
    18. . 2nd Brazilian Workshop on Systematic and Automated Software Testing (SAST 2008). Sociedade Brasileira de Computação. 2008. Organizacao
    19. . V Experimental Software Engineering Latin American Workshop. . 2008. Organizacao
    20. . VI Experimental Software Engineering Latin American Workshop. . 2009. Organizacao
    21. . Coordenador de workshops do I Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2010). Sociedade Brasileira de Computação. 2010. Organizacao
    22. . Comitê diretivo do VII Empirical Software Engineering Latin American Workshop. . 2010. Organizacao
    23. . Coordenador de tutoriais do II Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011). Sociedade Brasileira de Computação. 2011. Organizacao
    24. . Comitê diretivo do XXV SImpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação. 2011. Organizacao
    25. . Coordenador do Comitê de Programa do XXVI SImpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação. 2012. Organizacao
    26. . Coordenador do 8th International Workshop on Mutation Analysis. IEEE Computer Society. 2013. Organizacao
    27. . Comitê diretivo do XXVII SImpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação. 2013. Organizacao
    28. . Chamada de workshops do V Simpósio Brasileiro de Qualidade de Software. SBC. 2006. Organizacao

Lista de colaborações

  • Colaborações endôgenas (7)
    • Márcio Eduardo Delamaro ⇔ Jose Carlos Maldonado (60.0)
      1. 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.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. ARAÚJO, Rodrigo Fraxino; Delamaro, Marcio Eduardo; MALDONADO, José Carlos. Functional test data generation for Simulink-like models. Journal of the Brazilian Computer Society (Impresso). p. 325-339, 2013.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. VINCENZI, Auri Marcelo Rizzo; SIMÃO, Adenilso da Silva; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos. Muta-Pro: Towards the Definition of a Mutation testing Process. Journal of the Brazilian Computer Society (Impresso). v. 12, p. 46-61, 2006.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      4. VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos; WONG, Eric. Establishing Structural Testing Criteria for Java Bytecode. Software, Practice & Experience (Print). v. 36, p. 1513-1541, 2006.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      5. VINCENZI, Auri Marcelo Rizzo; MALDONADO, José Carlos; WONG, Eric; DELAMARO, Márcio Eduardo. Coverage Testing of Java Programs and Components. Science of Computer Programming (Print). v. 56, n. 1-2, p. 211-230, 2005.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      6. VINCENZI, Auri Marcelo Rizzo; NAKAGAWA, Elisa Yumi; MALDONADO, José Carlos; DELAMARO, Márcio Eduardo; ROMERO, Roseli A F. Bayesian-Learning Based Guidelines to Determine Equivalent Mutants. International Journal of Software Engineering and Knowledge Engineering. v. 12, n. 6, p. 675-690, 2002.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      7. DELAMARO, Márcio Eduardo; MALDONADO, José Carlos; MATHUR, Aditya P.. Interface Mutation: An Approach for Integration Testing. IEEE Transactions on Software Engineering. v. 27, n. 3, p. 228-247, 2001.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      8. DELAMARO, Márcio Eduardo; MALDONADO, José Carlos; PASQUINI, Alberto; MATHUR, Aditya P.. Interface Mutation Test Adequacy Criterion: An Empirical Evaluation. Journal Of Empirical Software Engineering. v. 6, n. 2, p. 111-142, 2001.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      9. MALDONADO, José Carlos; DELAMARO, Márcio Eduardo; CHAIM, Marcos Lordello; JINO, Mario. Uma Visão Sobre a Análise de Mutantes e o Ambiente de Teste Proteum. Revista do Instituto de Informatica da PUC-Campinas. v. 1, n. 3, p. 11-23, 1995.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      10. VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; DIAS NETO, Arilo Claudio; FABBRI, Sandra Camargo Pinto Ferraz; JINO, Mario; MALDONADO, José Carlos. Automatização de Teste de Software com Ferramentas de Software Livre. 1a ed. Elsevier, 2018. p. 241.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      11. Delamaro, Marcio Eduardo; MALDONADO, José Carlos; JINO, Mario. Introdução ao teste de software. 2a. ed. Elsevier, 2016. p. 448.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      12. MALDONADO, José Carlos; VITERBO, José; DELAMARO, Márcio Eduardo; MARCZAK, Sabrina. Jornadas de Atualização em Informática 2016- JAI. 01 ed. Sociedade Brasileira de Computação, 2016. p. 268.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      13. DELAMARO, Márcio Eduardo; MALDONADO, José Carlos; JINO, Mario. Introdução ao teste de software. 1 ed. Editora Campus, 2007. p. 394.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      14. BARBOSA, Ellen Francine; CHAIM, Marcos Lordello; VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; JINO, Mario; MALDONADO, José Carlos. Teste estrutural. Em: Introdução ao teste de software. 1 ed. : Elsevier Editora Ltda.. 2007.p. 47-76.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      15. DELAMARO, Márcio Eduardo; BARBOSA, Ellen Francine; VINCENZI, Auri Marcelo Rizzo; MALDONADO, José Carlos. Teste de mutação. Em: Introdução ao teste de software. 1 ed. : Elsevier Editora Ltda.. 2007.p. 77-118.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      16. SOUZA, Simone do Rocio Senger; FABBRI, Sandra Camargo Pinto Ferraz; BARBOSA, Ellen Francine; CHAIM, Marcos Lordello; VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; JINO, Mario; MALDONADO, José Carlos. Estudos Teóricos e Experimentais. Em: Introdução ao Teste de Software. 1 ed. : Elsevier Editora LTDA - Campus - SBC. 2007.p. 251-268.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      17. VINCENZI, Auri Marcelo Rizzo; DOMINGUES, André Luuis dos Santos; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos. Teste orientado a objetos e de componentes. Em: Introdução ao teste de software. 1 ed. : Editora Campus. 2007.p. 119-174.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      18. DELAMARO, Márcio Eduardo; MALDONADO, José Carlos; JINO, Mario. Conceitos básicos. Em: Introdução ao teste de software. 1 ed. : Editora Campus. 2007.p. 1-7.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      19. VINCENZI, Auri Marcelo Rizzo; MALDONADO, José Carlos; DELAMARO, Márcio Eduardo; SPOTO, Edmundo Sérgio. Software Baseado em Componentes: Uma Revisão Sobre Teste. Em: Desenvolvimento Baseado em Componentes: Conceitos e Técnicas. 1 ed. : Editora Ciência Moderna. 2005.p. 233-280.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      20. VINCENZI, Auri Marcelo Rizzo; MALDONADO, José Carlos; DELAMARO, Márcio Eduardo; SPOTO, Edmundo Sérgio; WONG, Eric. Component-Based Software: An Overview of Testing. Em: Component-Based Software Quality: Methods and Techniques. : Springer-Verlag. 2003.p. 99-127.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      21. MALDONADO, Jose Carlos; VINCENZI, Auri Marcelo Rizzo; BARBOSA, Ellen Francine; SOUZA, S. R. S.; DELAMARO, Márcio Eduardo. Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. Em: Revista da Escola de Informática da SBC - Regional Sul. 1 ed. : "". 1998.p. 53-86.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      22. Delamaro, Marcio; CHAIM, Marcos Lordello; MALDONADO, José Carlos. Where are the minimal mutants?. Em: SBES 2018 - Insightful Ideas and Emerging Results, v. 1, p. 190-195, 2018.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      23. 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. Em: 2017 International Symposium on Computers in Education (SIIE), p. 1-6, 2017.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      24. ARAUJO, CLAUDIO ANTONIO DE; Delamaro, Marcio Eduardo; MALDONADO, JOSE CARLOS; VINCENZI, Auri Marcelo Rizzo. Investigating the Correspondence between Mutations and Static Warnings. Em: 2015 29th Brazilian Symposium on Software Engineering (SBES), p. 1-10, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      25. VINCENZI, Auri Marcelo Rizzo; SILVA, João Carlos; LEITAO JUNIOR, Plínio de Sá; MALDONADO, José Carlos; DELAMARO, Márcio Eduardo; CHAIM, Marcos Lordello. How Exception Handling Constructions are Tested: An Initial Investigation with Open Source Software. Em: Eighth International Conference on Software Engineering Advances (ICSEA 2013), p. 38-44, 2013.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      26. VINCENZI, Auri Marcelo Rizzo; SILVA, João Carlos; de DEUS, Gilcimar Divino; LEITAO JUNIOR, Plínio de Sá; MALDONADO, José Carlos; DELAMARO, Márcio Eduardo. The Use of Experimentation Packages for Evaluating the Quality of Mobile Software Products.. Em: Eighth International Conference on Software Engineering Advances (ICSEA 2013), p. 31-37, 2013.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      27. ARAÚJO, Rodrigo Fraxino; VINCENZI, Auri Marcelo Rizzo; MALDONADO, José Carlos; DELAMARO, Márcio Eduardo. Devising Mutant Operators for Dynamic Systems Models by Applying the HAZOP Study. Em: International Conference on Software Engineering Advances - ICSEA, 2011, p. 1-10, 2011.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      28. DELAMARO, Márcio Eduardo; CHAIM, Marcos Lordello; VINCENZI, Auri Marcelo Rizzo; JINO, Mario; MALDONADO, José Carlos. Twenty-five Years of Research in Structural and Mutation Testing. Em: Simpósio Brasileiro de Engenharia de Software - SBES, p. 40-49, 2011.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      29. RINCON, André Mesquita; VINCENZI, Auri Marcelo Rizzo; CHAIM, Marcos Lordello; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos. Avaliação Empírica de Conjuntos de Testes de Projetos de Software Livre. Em: Brazilian Workshop on Systematic and Automated Software Testing - SAST, p. 51-60, 2011.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      30. VICENTE, André Abe; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos. Uma Revisão Sistemática sobre a Atividade de Teste de Software em Métodos Ágeis. Em: XXXV Conferencia Latinoamericana de Informática (CLEI 2009), p. -, 2009.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      31. ARAÚJO, Rodrigo Fraxino; DURELLI, Vinicius Humberto; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos. Geração de Dados de Teste a Partir de Modelos de Sistemas Embarcados: Uma Revisão Sistemática. Em: 3rd Brazilian Workshop on Systematic and Automated Software Testing (SBMF 2009 - SAST), v. 1, p. -, 2009.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      32. DELAMARO, Márcio Eduardo; VINCENZI, Auri Marcelo Rizzo; MALDONADO, José Carlos. Evaluating Structural Criteria for Testing Mobile Code. Em: International Conference on Evaluation and Assessment in Software Engineering - EASE, p. -, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      33. DELAMARO, Márcio Eduardo; NARDI, Paulo Augusto; LEMOS, Otávio Augusto Lazzarini; SPOTO, Edmundo Sérgio; MALDONADO, José Carlos; MASIERO, Paulo César; VINCENZI, Auri Marcelo Rizzo. Static Analysis of Java Bytecode for Domain-specific Software Testing. Em: Simpósio Brasileiro de Engenharia de Software, v. 1, p. 325-341, 2007.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      34. DELAMARO, Márcio Eduardo; VINCENZI, Auri Marcelo Rizzo; MALDONADO, José Carlos. A Strategy to Perform Coverage Testing of Mobile Applications. Em: First Workshop on Automation of Software Test - AST'06, v. 1, p. 118-124, 2006.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      35. VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; SIMÃO, Adenilso da Silva; MALDONADO, José Carlos. Muta-Pro: Towards the Definition of a Mutation Testing Process. Em: 6th Latin-american test workshop (LATW'05), v. 1, p. 149-154, 2005.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      36. VINCENZI, Auri Marcelo Rizzo; WONG, Eric; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos. Java Bytecode Static Analysis: Deriving Structural Testing Requirements. Em: 2nd UK Software Testing Workshop - UK-Softest'2003, v. 1, p. 1-21, 2003.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      37. VINCENZI, Auri Marcelo Rizzo; NAKAGAWA, Elisa Yumi; MALDONADO, José Carlos; DELAMARO, Márcio Eduardo; ROMERO, Roseli Francine. Bayesian-Learning Based on Guidelines to Determine Equivalents Mutants. Em: 13th International Conference on Software Engineering and Knowledge Engineering (SEKE 2001), v. Único, p. 180-187, 2001.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      38. JORGE, Rodrigo Funabashi; VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos. Teste de Mutação: Estratégias Baseadas em Equivalências de Mutantes para Redução do Custo de Aplicação. Em: CLEI2001 - XXVII Conferência Latino Americana de Informática, v. Único, p. 1-10, 2001.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      39. DELAMARO, Márcio Eduardo; PEZZÈ, Mauro; VINCENZI, Auri Marcelo Rizzo; MALDONADO, José Carlos. Mutant Operators for Testing Concurrent Java Programs. Em: XV SBES - Simpósio Brasileiro de Engenharia de Software, v. Único, p. 272-285, 2001.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      40. MALDONADO, José Carlos; BARBOSA, Ellen Francine; VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo. Evaluating N-Selective Mutation for C Programs: Unit and Integration testing. Em: Mutation 2000: A Symposium on Mutation Testing for the New Century, v. 24, p. 22-33, 2000.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      41. DELAMARO, Márcio Eduardo; MALDONADO, José Carlos; VINCENZI, Auri Marcelo Rizzo. Proteum/IM 2.0: An Integrated Mutation Testing Environment. Em: Mutation 2000: A Symposium on Mutation Testing for the New Century, v. 24, p. 124-134, 2000.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      42. VINCENZI, Auri Marcelo Rizzo; MALDONADO, José Carlos; BARBOSA, Ellen Francine; DELAMARO, Márcio Eduardo. Operadores Essenciais de Interface: Um Estudo de Caso. Em: XIII Simpósio Brasileiro de Engenharia de Software (SBES), p. 373-391, 1999.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      43. FABBRI, Sandra Camargo Pinto Ferraz; MALDONADO, José Carlos; MASIERO, Paulo César; DELAMARO, Márcio Eduardo. Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing. Em: International Conference of the Chilean Computer Science Society (SCCC 99), p. 96-104, 1999.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      44. DELAMARO, Márcio Eduardo; MALDONADO, José Carlos. Interface Mutation: Assessing Testing Quality at Interprocedural Level. Em: XIX SCCC - International Conference of the Chilean Computer Science Society, p. 78-86, 1999.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      45. WONG, Eric; MALDONADO, José Carlos; DELAMARO, Márcio Eduardo; SOUZA, Simone do Rocio Senger. Use of Proteum to Accelerate Mutation Testing in C Programs. Em: III ISSAT - International Conference on Reliability and Quality in Design, v. I, p. 254-258, 1997.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      46. WONG, Eric; MALDONADO, José Carlos; DELAMARO, Márcio Eduardo. Reducing the Cost of Regression Testing by Using Selective Mutation. Em: VIII Conferência Internacional deTtecnologia de Software (CITS), p. 93-109, 1997.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      47. DELAMARO, Márcio Eduardo; MALDONADO, José Carlos. Teste de Integração: Projeto de Operadores para o Critério Mutação de Interfaces. Em: XI Simpósio Brasileiro de Engenharia de Software - SBES'97, p. 413-428, 1997.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      48. VINCENZI, Auri Marcelo Rizzo; BARBOSA, Ellen Francine; DELAMARO, Márcio Eduardo; SOUZA, Simone do Rocio Senger; MALDONADO, José Carlos. Critério Análise de Mutantes: Estado Atual e Perspectivas. Em: Workshop do Projeto de Validação e Teste de Sistemas de Operação, p. 15-26, 1997.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      49. DELAMARO, Márcio Eduardo; MALDONADO, José Carlos. Integration Testing Using Interface Mutation. Em: The 7th International Symposium on Software Reliability Engineering - ISSRE'96, p. 112-121, 1996.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      50. DELAMARO, Márcio Eduardo; MALDONADO, José Carlos. Proteum - A Tool for the Assessment of Test Adequacy for C Programs. Em: Conference on Performability in Computing Systems, p. 79-95, 1996.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      51. FABBRI, Sandra Camargo Pinto Ferraz; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos; MASIERO, Paulo César. Mutation Analisys Testing for Finite State Machines. Em: V International Symposium on Software Reliability Engineering (ISSRE), p. 220-229, 1994.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      52. WONG, Eric; MALDONADO, José Carlos; DELAMARO, Márcio Eduardo; MATHUR, Aditya P.. Constrained Mutation in C Programs. Em: VIII SBES - Simpósio Brasileiro de Engenharia de Software, p. 439-451, 1994.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      53. FABBRI, Sandra Camargo Pinto Ferraz; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos; MASIERO, Paulo César. Aplicação da Análise de Mutantes na Validação de Especificações Baseadas em Redes de Petri. Em: VIII SBES - Simpósio Brasileiro de Engenharia de Software, p. 423-437, 1994.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      54. FABBRI, Sandra Camargo Pinto Ferraz; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos; MASIERO, Paulo César. Proteum/FSM - Especificação de Uma Ferramenta para Apoiar a Validação de Máquinas de Estado Finito pelo Critério Análise de Mutantes. Em: XII SBRC - Simpósio Brasileiro de Redes de Computadores, p. 284-304, 1994.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      55. FABBRI, Sandra Camargo Pinto Ferraz; MALDONADO, José Carlos; MASIERO, Paulo César; DELAMARO, Márcio Eduardo; NAKAZATO, Karen K.. Análise de Mutantes Baseada em Máquinas de Estado Finito. Em: XI SBRC - Simpósio Brasileiro de Redes de Computadores, p. 407-425, 1993.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      56. VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos; WONG, Eric. JaBA: A Java Bytecode Analyser. Em: Simpósio Brasileiro de Engenharia de Software, v. 1, p. 414-419, 2002.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      57. DELAMARO, Márcio Eduardo; MALDONADO, José Carlos; NAKAGAWA, Elisa Yumi. Proteum/IM: Uma Ferramenta de Apoio ao Teste de Integração. Em: Caderno de Ferramentas do XI Simpósio Brasileiro de Engenharia de Software, p. 487-490, 1997.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      58. DELAMARO, Márcio Eduardo; FABBRI, Sandra Camargo Pinto Ferraz; MALDONADO, José Carlos; MASIERO, Paulo César. Teste Baseado em Mutação e Qualidade de Software. Em: Workshop de Qualidade de Software - VIII SBES - Simpósio Brasileiro de Engenharia de Software, p. 28-30, 1994.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      59. DELAMARO, Márcio Eduardo; MALDONADO, José Carlos; JINO, Mario; CHAIM, Marcos Lordello. Proteum: Uma Ferramenta de Teste Baseada na Análise de Mutantes. Em: Simpósio Brasileiro de Engenharia de Software, p. 31-33, 1993.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      60. . Aspectos teóricos e empíricos de teste de cobertura de software. 1998.
        [ busca Google | busca Bing ]

    • Márcio Eduardo Delamaro ⇔ Simone do Rocio Senger de Souza (12.0)
      1. DELAMARO, MÁRCIO E.; ANDRADE, STEVÃO A.; DE SOUZA, SIMONE R. S.; DE SOUZA, PAULO S. L.. Parallel Execution of Programs as a Support for Mutation Testing: A Replication Study. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. v. 31, p. 337-380, 2021.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. FELIZARDO, Katia Romero; SOUZA, Simone do Rocio Senger; FABBRI, Sandra Camargo Pinto Ferraz; BARBOSA, Ellen Francine; CHAIM, Marcos Lordello; DELAMARO, Márcio Eduardo; JINO, Mario; MALDONADO, José Carlos. Estudos Teóricos e Experimentais. Em: Introdução ao Teste de Software. 2a ed. : Elsevier. 2016.v. 1, p. 331-352.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. SOUZA, Simone do Rocio Senger; FABBRI, Sandra Camargo Pinto Ferraz; BARBOSA, Ellen Francine; CHAIM, Marcos Lordello; VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; JINO, Mario; MALDONADO, José Carlos. Estudos Teóricos e Experimentais. Em: Introdução ao Teste de Software. 1 ed. : Elsevier Editora LTDA - Campus - SBC. 2007.p. 251-268.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      4. MALDONADO, Jose Carlos; VINCENZI, Auri Marcelo Rizzo; BARBOSA, Ellen Francine; SOUZA, S. R. S.; DELAMARO, Márcio Eduardo. Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. Em: Revista da Escola de Informática da SBC - Regional Sul. 1 ed. : "". 1998.p. 53-86.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      5. SANTOS, SEBASTIÃO; SILVEIRA, BEATRIZ; DURELLI, VINICIUS; DURELLI, RAFAEL; SOUZA, SIMONE; Delamaro, Marcio. On Using Decision Tree Coverage Criteria forTesting Machine Learning Models. Em: SAST'21: Brazilian Symposium on Systematic and Automated Software Testing, v. 1, p. 1-9, 2021.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      6. SANTOS, SEBASTIÃO H. N.; DA SILVEIRA, BEATRIZ NOGUEIRA CARVALHO; ANDRADE, STEVÃO A.; DELAMARO, MÁRCIO; Souza, Simone R. S.. An Experimental Study on Applying Metamorphic Testing in Machine Learning Applications. Em: SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, p. 98-106, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      7. SANTOS, ITALO; FURLANETTI, ANDRE B. P.; MELO, SILVANA M.; DE SOUZA, PAULO SERGIO LOPES; DELAMARO, MÁRCIO E.; Souza, Simone R. S.. Contributions to improve the combined selection of concurrent software testing techniques. Em: SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, p. 69-78, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      8. NEVES, J. S.; NASCIMENTO, P. R. M.; CHAPETTA, W. A.; Raphael Carlos Santos; NEVES, Vania de Oliveira; MELO JUNIOR, W. S.; Delamaro, Marcio Eduardo; SOUZA, Simone do Rocio Senger; SOUZA, Paulo Sergio L.; DALLILO, F. D.. Ensaio de Proficiência em Avaliação da Conformidade de Produtos de Software. Em: Workshop sobre Regulação, Avaliação da Conformidade, Testes e Padrões de Segurança - WRAC, v. 1, p. 1-10, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      9. ALVES DE ANDRADE, STEVAO; SANTOS, ITALO; BRITO JUNIOR, CLAUDINEI; JUNIOR, MISAEL; R.S. DE SOUZA, SIMONE; E. DELAMARO, MARCIO. On Applying Metamorphic Testing: An Empirical Study on Academic Search Engines. Em: 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET), v. 1, p. 9-16, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      10. PASCHOAL, LEO NATAN; TURCI, LUCAS FERNANDES; CONTE, TAYANA UCHÔA; Souza, Simone R. S.. Towards a Conversational Agent to Support the Software Testing Education. Em: the XXXIII Brazilian Symposium, v. 1, p. 57-66, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      11. VILELA, Ricardo F.; SOUZA, Paulo Sergio L.; DELAMARO, Márcio Eduardo; SOUZA, Simone do Rocio Senger. Evidências sobre Configurações de Algoritmos Genéticos para Geração Automática de Dados de Teste. Em: 13th Experimental Software Engineering Latin America Workshop (ESELAW 2016), v. 1, p. 242-255, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      12. WONG, Eric; MALDONADO, José Carlos; DELAMARO, Márcio Eduardo; SOUZA, Simone do Rocio Senger. Use of Proteum to Accelerate Mutation Testing in C Programs. Em: III ISSAT - International Conference on Reliability and Quality in Design, v. I, p. 254-258, 1997.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Márcio Eduardo Delamaro ⇔ Ellen Francine Barbosa (7.0)
      1. BARBOSA, Ellen Francine; CHAIM, Marcos Lordello; VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; JINO, Mario; MALDONADO, José Carlos. Teste estrutural. Em: Introdução ao teste de software. 1 ed. : Elsevier Editora Ltda.. 2007.p. 47-76.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. DELAMARO, Márcio Eduardo; BARBOSA, Ellen Francine; VINCENZI, Auri Marcelo Rizzo; MALDONADO, José Carlos. Teste de mutação. Em: Introdução ao teste de software. 1 ed. : Elsevier Editora Ltda.. 2007.p. 77-118.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. SOUZA, Simone do Rocio Senger; FABBRI, Sandra Camargo Pinto Ferraz; BARBOSA, Ellen Francine; CHAIM, Marcos Lordello; VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; JINO, Mario; MALDONADO, José Carlos. Estudos Teóricos e Experimentais. Em: Introdução ao Teste de Software. 1 ed. : Elsevier Editora LTDA - Campus - SBC. 2007.p. 251-268.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      4. AVELLAR, GUSTAVO M. N.; SILVA, ROGERIO F. DA; SCATALON, LILIAN P.; ANDRADE, STEVAO A.; Delamaro, Marcio E.; BARBOSA, ELLEN F.. Integration of Software Testing to Programming Assignments: An Experimental Study. Em: 2019 IEEE Frontiers in Education Conference (FIE), p. 1-8, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      5. FASSBINDER, ARACELE; EDUARDO DELAMARO, MÁRCIO; FRANCINE BARBOSA, ELLEN. Construção e Uso de MOOCs: Uma Revisão Sistemática. Em: XXV Simpósio Brasileiro de Informática na Educação, p. 332-341, 2014.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      6. MALDONADO, José Carlos; BARBOSA, Ellen Francine; VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo. Evaluating N-Selective Mutation for C Programs: Unit and Integration testing. Em: Mutation 2000: A Symposium on Mutation Testing for the New Century, v. 24, p. 22-33, 2000.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      7. VINCENZI, Auri Marcelo Rizzo; MALDONADO, José Carlos; BARBOSA, Ellen Francine; DELAMARO, Márcio Eduardo. Operadores Essenciais de Interface: Um Estudo de Caso. Em: XIII Simpósio Brasileiro de Engenharia de Software (SBES), p. 373-391, 1999.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Márcio Eduardo Delamaro ⇔ Elisa Yumi Nakagawa (6.0)
      1. VINCENZI, Auri Marcelo Rizzo; NAKAGAWA, Elisa Yumi; MALDONADO, José Carlos; DELAMARO, Márcio Eduardo; ROMERO, Roseli A F. Bayesian-Learning Based Guidelines to Determine Equivalent Mutants. International Journal of Software Engineering and Knowledge Engineering. v. 12, n. 6, p. 675-690, 2002.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. LANA, Cristiane; SOUZA, Nilton; DELAMARO, Márcio Eduardo; NAKAGAWA, Elisa Yumi; OQUENDO, Flavio; MALDONADO, José Carlos. Systems-of-Systems (SoS) Development: Initiatives, Trends and Challenges. Em: XLII Conferência Latino-Americana de Informática (CLEI 2016), v. 1, p. n/a-n/a, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. SOARES, Daniel; OLIVEIRA, Brauner; GUESSI, Milena; OQUENDO, Flavio; DELAMARO, Márcio Eduardo; NAKAGAWA, Elisa Yumi. Towards the Evaluation of System-of-Systems Software Architectures. Em: VIII Workshop on Distributed Software Development, Software Ecosystems, and Systems-of-Systems (WDES 2014) @ V Brazilian Conference on Software: Theory and Practice (CBSoft 2014), p. 53-57, 2014.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      4. NEVES, Vania de Oliveira; MASIERO, Paulo César; DELAMARO, Márcio Eduardo; NAKAGAWA, Elisa Yumi. Uma Revisão Sistemática sobre Teste Estrutural de Software em Sistemas Embarcados. Em: V Workshop Brasileiro de Teste de Software Sistemático e Automatizado (SAST 2011), p. 41-50, 2011.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      5. VINCENZI, Auri Marcelo Rizzo; NAKAGAWA, Elisa Yumi; MALDONADO, José Carlos; DELAMARO, Márcio Eduardo; ROMERO, Roseli Francine. Bayesian-Learning Based on Guidelines to Determine Equivalents Mutants. Em: 13th International Conference on Software Engineering and Knowledge Engineering (SEKE 2001), v. Único, p. 180-187, 2001.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      6. NAKAGAWA, Elisa Yumi; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos; CHAIM, Marcos Lordello; JINO, Mario. Aspectos do Projeto e Implementação de Interfaces Gráficas do Usuário para Ferramentas de Teste. Em: Workshop do Projeto Validação e Teste de Sistemas Operação (WTDSO 1997), p. 57-67, 1997.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Márcio Eduardo Delamaro ⇔ Adenilso da Silva Simão (3.0)
      1. VINCENZI, Auri Marcelo Rizzo; SIMÃO, Adenilso da Silva; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos. Muta-Pro: Towards the Definition of a Mutation testing Process. Journal of the Brazilian Computer Society (Impresso). v. 12, p. 46-61, 2006.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. DAMASCENO, Carlos Diego Nascimento; DELAMARO, Márcio Eduardo; SIMÃO, Adenilso da Silva. Uma Revisão Sistemática em Teste de Segurança Baseado em Modelos. Em: 8th Brazilian Workshop on Systematic and Automated Software Testing -- Brazilian Conference on Software: theory and practice, v. s/n, p. n/a-n/a, 2014.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; SIMÃO, Adenilso da Silva; MALDONADO, José Carlos. Muta-Pro: Towards the Definition of a Mutation Testing Process. Em: 6th Latin-american test workshop (LATW'05), v. 1, p. 149-154, 2005.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Márcio Eduardo Delamaro ⇔ Paulo Sérgio Lopes de Souza (3.0)
      1. DELAMARO, MÁRCIO E.; ANDRADE, STEVÃO A.; DE SOUZA, SIMONE R. S.; DE SOUZA, PAULO S. L.. Parallel Execution of Programs as a Support for Mutation Testing: A Replication Study. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. v. 31, p. 337-380, 2021.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. SANTOS, ITALO; FURLANETTI, ANDRE B. P.; MELO, SILVANA M.; DE SOUZA, PAULO SERGIO LOPES; DELAMARO, MÁRCIO E.; Souza, Simone R. S.. Contributions to improve the combined selection of concurrent software testing techniques. Em: SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, p. 69-78, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. VILELA, Ricardo F.; SOUZA, Paulo Sergio L.; DELAMARO, Márcio Eduardo; SOUZA, Simone do Rocio Senger. Evidências sobre Configurações de Algoritmos Genéticos para Geração Automática de Dados de Teste. Em: 13th Experimental Software Engineering Latin America Workshop (ESELAW 2016), v. 1, p. 242-255, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Márcio Eduardo Delamaro ⇔ Denis Fernando Wolf (1.0)
      1. NEVES, Vania de Oliveira; DELAMARO, Márcio Eduardo; MASIERO, Paulo César; MENDES, Caio César Teodoro; WOLF, Denis Fernando. Structural Testing of Autonomous Vehicles. Em: 25th International Conference on Software Engineering and Knowledge Engineering (SEKE 2013), p. 200-205, 2013.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]




(*) Relatório criado com produções desde 1970 até 2023
Data de processamento: 08/03/2023 08:58:45