Marcelo Bezerra d'Amorim

Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

  • Endereço para acessar este CV: http://lattes.cnpq.br/3762670242328435
  • Última atualização do currículo em 14/09/2018


Marcelo obteve seu doutorado pela Universidade de Illinois em Urbana-Champaign, Estados Unidos (2007), e obteve seu mestrado (2001) e graduação (1997) em Ciência da Computação pela Universidade Federal de Pernambuco. Foi pesquisador visitante da Georgia Tech no período de Julho de 2015 a Junho de 2016. Sua área de pesquisa é Engenharia de Software, com foco em Verificação e Validação de Software. Seu interesse central de pesquisa é encontrar, diagnosticar, e reparar erros e vulnerabilidades em software. (Texto informado pelo autor)


Identificação


Nome
Marcelo Bezerra d'Amorim
Nome em citações bibliográficas
Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d Amorim, Marcelo

Endereço


Endereço Profissional
Universidade Federal de Pernambuco, Centro de Informática.
Avenida Jornalista Aníbal Fernandes
Cidade Universitária
50740560 - Recife, PE - Brasil - Caixa-postal: 7851
Telefone: (81) 21268430
Ramal: 4769
Fax: (81) 21268438
URL da Homepage: http://cin.ufpe.br/~damorim


Formação acadêmica/titulação


2002 - 2007
Doutorado em Ph.D. em Ciência da Computação.
University of Illinois at Urbana-Champaign, UIUC, Estados Unidos.
Título: Efficient Exploration for Explicit-State Model Checking of Programs with Dynamically-Allocated Data, Ano de obtenção: 2007.
Orientador: Darko Marinov.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: teste; Checagem de Modelos.
Grande área: Ciências Exatas e da Terra
1999 - 2001
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Service Trading on the Internet, the JTrader approach,Ano de Obtenção: 2001.
Orientador: Carlos Andre Guimaraes Ferraz.
Palavras-chave: Sistemas Distribuídos; Internet.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1997 - 1997
Especialização em Administracao Financeira. (Carga Horária: 165h).
Universidade de Pernambuco, UPE, Brasil.
Título: Administração Financeira.
1992 - 1996
Graduação em Ciencia da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.


Pós-doutorado


2015
Pós-Doutorado.
Georgia Institute of Technology, GEORGIA TECH, Estados Unidos.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.


Atuação Profissional



Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

2017 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2009 - 2017
Vínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2007 - 2009
Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Pesquisador Visitante, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
desempenhou atividades de ensino e pesquisa no CIN/UFPE. sua pesquisa concentrou-se no teste baseado em mudaças.

Atividades

1/2017 - Atual
Pesquisa e desenvolvimento , Centro de Informática, .

1/2013 - Atual
Pesquisa e desenvolvimento , Centro de Informática, .

01/2013 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
Teste de Software
01/2010 - Atual
Outras atividades técnico-científicas , Centro de Informática, Centro de Informática.

Atividade realizada
Participação em comitês de programa de vários eventos nacionais e internacionais: ASE, ICSE, ICST, CBSoft, ISSTA, e outros (ver Produção Técnica/Demais tipos de produções técnicas).
07/2009 - Atual
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Análise Estática de Programas
Teste e Depuração de Software
1/2002 - Atual
Pesquisa e desenvolvimento , Centro de Informática, .

1/2011 - 1/2016
Pesquisa e desenvolvimento , Centro de Informática, .

07/2009 - 07/2012
Ensino, Ciencia da Computação, Nível: Graduação

Disciplinas ministradas
Análise Estática de Programas
Introdução a Informática
Teste e Depuração de Software
01/2009 - 06/2009
Ensino, Ciencia da Computação, Nível: Graduação

Disciplinas ministradas
Introdução a Programação
Teste e Depuração de Software
01/2008 - 06/2009
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teste e Depuração de Software
01/2008 - 12/2008
Ensino, Ciencia da Computação, Nível: Graduação

Disciplinas ministradas
Teste e Depuração de Software

University of Illinois at Urbana-Champaign, UIUC, Estados Unidos.
Vínculo institucional

2002 - 2007
Vínculo: Assistente de Pesquisa, Enquadramento Funcional: Assistente de Pesquisa, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
trabalhei como assistente de pesquisa durante todo o periodo do meu doutoramento.


Qualiti Software Processes, QUALITI, Brasil.
Vínculo institucional

2000 - 2002
Vínculo: Colaborador, Enquadramento Funcional: Engenheiro de Processos, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
trabalhou no desenvolvimento da ferramenta coder (geracao e refactoring de codido Java), como instrutor em cursos de Java e JSP, como mentor em projetos de desenvolvimento, e na definicao de processo de desenvolvimentos (baseado no Rational Unified Process)


Centro de Estudos e Sistemas Avançados do Recife, CESAR, Brasil.
Vínculo institucional

1998 - 2000
Vínculo: Colaborador, Enquadramento Funcional: Engenheiro de Software, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
desenvolvedor Java em varios projetos da empresa


Terasoft, TERASOFT, Brasil.
Vínculo institucional

1996 - 1998
Vínculo: Colaborador, Enquadramento Funcional: desenvolvedor, Carga horária: 40
Outras informações
desenvolvedor do subsistema financeiro do piramide, um software de gerenciamento empresarial



Linhas de pesquisa


1.
Análise de Software para Ambientes Inteligentes
2.
Resolução de Restrições para Análise de Software Probabilístico
3.
Melhoria de Técnicas de Depuração e Localização de Faltas
4.
Teste e Depuração de Software


Projetos de pesquisa


2017 - Atual
IoT-Flows: Lightweight Policy Enforcement of Information Flows in IoT Infrastructures
Descrição: Dispositivos utilizados para Internet das Coisas (IoT) em geral são equipamentos com recursos limitados para barateamento de custos. São assim, vulneráveis a diversos riscos de segurança. Técnicas tradicionais de detecção de intrusão (IDS ? Intrusion Detection Systems) e/ou de anomalias do tráfego podem ajudar a identificar potenciais comprometimentos de segurança. Este projeto tem como objetivo realizar uma defesa cross-layer ? com análise dos aplicativos IoT e software dos dispositivos, extração de políticas de fluxos a partir da análise do tráfego normal, e uso destas políticas para garantir os fluxos desejados e detectar violações às mesmas nas camadas de rede e do dispositivo. Este projeto foi aprovado na Chamada Conjunta RNP-NSF para Projetos de Pesquisa e Desenvolvimento em Segurança Cibernética, com a participação dos pesquisadores, Darko Marinov da University of Illinois at Urbana-Champaign (UIUC, US), Atul Prakash da University of Michigan, Ann Arbor (UMich, US), além dos colegas: Paulo André da Silva Gonçalves, Marcelo d'Amorim e Kiev Gama do CIn/UFPE..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (8) / Mestrado acadêmico: (5) .
Integrantes: Marcelo Bezerra d'Amorim - Integrante / Darko Marinov - Integrante / Kiev Gama - Integrante / Paulo André da Silva Gonçalves - Integrante / José Augusto Suruagy Monteiro - Coordenador / Atul Prakash - Integrante.
2015 - 2017
Técnicas de Reestruturação de Software para Melhoria de Eficiência Energética em Aplicações para Cidades Inteligentes (FACEPE Pronem)
Descrição: O uso de TICs em cidades inteligentes impõe uma grande demanda de energia e conectividade que estão diretamente ligados à crescente necessidade de produzir e consumir grandes massas de dados. A coleta de dados nesse cenário tipicamente se dá através de sensores físicos e por crowdsensing, i.e., através de cidadãos munidos de dispositivos como smartphones. Este cenário de constante produção de dados envolve diferentes demandas energéticas até então inexistentes: de um lado, aplicativos de smartphones recolhem dados (e.g, geolocalização, pressão, aceleração) enquanto estão nos bolsos de seus proprietários, além de estimularem interações explícitas do usuário para coletar e informar dados, necessitando de maior processamento do dispositivo móvel e uso da rede. Do outro, a grande produção de massas de dados gera a necessidade de efetuar a análise e correlação destes, visando a extração de informação relevante. Este projeto de pesquisa tem por objetivo desenvolver e estender métodos, técnicas e ferramentas para melhorar a eficiência energética de aplicações que dão suporte a cidades inteligentes. Mais especificamente, pretende-se investigar técnicas para melhorar a eficiência energética de dois tipos de aplicação: aplicações móveis, muitas vezes rodando em dispositivos dependentes de baterias, como smartphones, e aplicações para servidores com alto poder computacional em execução em data centers, responsáveis pelo processamento de grandes massas de dados. Para os dois cenários, planeja-se lançar mão de técnicas de reestruturação de software...
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (5) Doutorado: (5) .
Integrantes: Marcelo Bezerra d'Amorim - Integrante / Andre Santos - Integrante / Fernando Jose Castor de Lima Filho - Coordenador / Kiev Gama - Integrante.
2015 - 2017
Tratando o problema da alta dimensionalidade e falta de modelos de features no teste de sistemas configuraveis (CNPq Universal)
Descrição: Sistemas configuráveis são aqueles que podem ser adaptados de acordo com um conjunto de opções. O web browser Firefox, a infra-estrutura de compilação GNU GCC, e o kernel do Linux são exemplos de sistemas com estas características. A adoção do conceito de variabilidades não está restrita a área de sistemas. Mais recentemente, outros domínios de aplicação também adotaram esta disciplina. O site de compras coletivas Groupon, por exemplo, é um sistema configurável envolvendo centenas de opções de configuração. Organizar software em função de suas variãveis é uma idéia que vem ganhando força. Isto se deve aos possíveis benefícios que este método de desenvolvimento pode trazer em produtividade e redução de ``time-to-market''. Apesar do benefício legítimo que o conceito de variações pode trazer, analisar tais sistemas é desafiador. Isto se deve ao fato de um sistema configurável poder ser instanciado (configurado) de diversas maneiras. Consequentemente, erros associados a apenas uma pequena fração das configurações podem permanecer latentes por um bom tempo. Nesse contexto, o projeto tem como objetivo tratar problemas amplamente conhecidos, porém ainda não resolvidos: o problema da alta dimensionalidade no espaço de configurações e o problema da ausência de modelos de features. Esta é uma proposta de projeto de pesquisa multi-institucional, envolvendo a Universidade Federal de Pernambuco e a Universidade do Texas em Austin. Os colaboradores possuem especialidades de conhecimento complementares e fundamentais para a condução deste projeto.
Situação: Concluído; Natureza: Pesquisa.
2014 - 2017
Program Analysis with Human-In-The-Loop
Descrição: Projeto em colaboração com MIT para melhoria de analisadores de código utlizando feedback humano..
Situação: Concluído; Natureza: Pesquisa.
2014 - Atual
Engenharia de Software para Cidades Inteligentes (PRONEX FACEPE/CNPq)

Projeto certificado pelo(a) coordenador(a) Paulo Henrique Monteiro Borba em 03/09/2018.
Descrição: Este projeto visa pesquisar, avaliar e aplicar técnicas, ferramentas e processos de engenharia de software para lidar com desafios associados ao contexto de cidades inteligentes. Em particular, pretendemos pesquisar aspectos como variabilidade, modularidade, e a especificação e teste de sistemas distribuídos. Todos esses aspectos serão avaliados e utilizados para o desenvolvimento de uma plataforma aberta de serviços de software urbanos, resultado prático do projeto e que será a base de um modelo de ecossistema de negócios voltado para cidades inteligentes. Esta plataforma visa permitir que terceiros possam consumir e fornecer serviços de software fortemente baseados em dados urbanos. Diferentes tipos de aplicações e serviços poderão ser criados, com a possibilidade de monetizar sobre estas soluções. Contrário à tendência dos grandes fornecedores de soluções, este formato permitirá a participação de diferentes fornecedores, estimulando o mercado local no setor de TIC...
Situação: Em andamento; Natureza: Pesquisa.
2013 - Atual
Automacao de Testes Centrada no Homem
Descrição: Este projeto tem como objetivo explorar interativade entre o homem e a maquina com o objetivo de melhorar as atividade de teste e depuração..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Mestrado acadêmico: (0) / Doutorado: (1) .
Integrantes: Marcelo Bezerra d'Amorim - Coordenador / Xiangyu Li - Integrante / Alex Orso - Integrante / FAZZINI, MATTIA - Integrante.
Número de produções C, T & A: 4
2011 - 2014
Modularização Emergente para Linhas de Produtos de Software (Universal CNPq)

Projeto certificado pelo(a) coordenador(a) Paulo Henrique Monteiro Borba em 23/05/2013.
Descrição: Este projeto tem como objetivo formalizar, implementar, e avaliar suporte ao desenvolvimento e evolução modulares de features em linhas de produtos de software. Nosso plano é definir e implementar o conceito de modularização emergente de features, que suportará, sob demanda, a inferência de contratos (interfaces) entre implementações de features, contendo informações essenciais para permitir o desenvolvimento e evolução independentes de uma dada feature. Assim precisamos estender a ferramenta de VSoC, indo além para dar suporte a interfaces e, consequentemente, modularidade de fato. A nossa hipótese principal é que a inferência de interfaces entre features, principalmente as de granulosidade fina, ajudará a alcançar melhores níveis de produtividade e qualidade, e a efetivamente raciocinar sobre features apenas com base em suas interfaces...
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (4) .
Integrantes: Marcelo Bezerra d'Amorim - Integrante / Paulo Borba - Coordenador / Márcio de Medeiro Ribeiro - Integrante / Rodrigo Andrade - Integrante / Társis Toledo - Integrante / Paola Accyoli - Integrante / Jean Melo - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Remuneração.
2011 - 2013
Evolução Fidedigna de Linhas de Produtos de Software (Grandes Desafios CNPq)

Projeto certificado pelo(a) coordenador(a) Paulo Henrique Monteiro Borba em 23/05/2013.
Descrição: O objetivo deste trabalho de pesquisa é contribuir para aperfeiçoar o processo de evolução de Linhas de Produtos de Software (LPS), de forma que empresas que adotem a abordagem e ferramentas propostas tenham mais vantagem competitiva advindo do aumento tanto de confiabilidade quanto de produtividade na evolução segura de LPS. Em particular, temos as seguintes metas: propor, implementar, e derivar formalmente, utilizando PVS, catálogos de refatorações e equivalências tanto para linhas de produtos como um todo quanto para seus modelos; conceber e implementar verificadores de refatoração tanto para quando uma linha é modificada como um todo quanto para quando apenas um de seus elementos (FM, CK, e artefatos de código) é modificado, o que aumenta a confiança na corretude da evolução em situações em que os catálogos não são usados. Tais verificadores também serão integrados a ferramentas de refatoração e derivação de linhas de produto já desenvolvidas pelos pesquisadores envolvidos no projeto; realizar estudos experimentais avaliando tanto a expressividade dos catálogos propostos e a precisão dos verificadores quanto os custos e benefícios associados ao uso das ferramentas e abordagem proposta para extração e evolução de linhas de produtos reais; transferir a tecnologia desenvolvida (catálogos e ferramentas) para a indústria de software local, primeiramente para a Qualiti Software Processes..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (5) / Doutorado: (4) .
Integrantes: Marcelo Bezerra d'Amorim - Integrante / Sérgio Soares - Integrante / Paulo Borba - Coordenador / Uira Kulesca - Integrante / Rohit Gheyi - Integrante / Eduardo Henrique da Silva Aranha - Integrante / Sabrina Souto - Integrante / Fernando Jose Castor de Lima Filho - Integrante / Tiago Massoni - Integrante.Financiador(es): (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2008 - 2011
Linhas de Produtos de Geração, Seleção, Priorização e Processamento de Testes (subprojeto do INES)
Descrição: Teste é a principal atividade adotada pela indústria para garantir a qualidade de um software. Dada sua importância, as empresas têm investido cada vez mais tempo e esforço nesta atividade. Estima-se que entre 30 e 90% do custo total de desenvolvimento de um software seja atribuído a testes. Este projeto tem como objetivo desenvolver técnicas e ferramentas que tornem a atividade de testes mais eficaz e eficiente. O objetivo deste projeto é a investigação da geração, seleção, priorização e processamento dos testes. O Centro de Informática da Universidade Federal de Pernambuco tem experiência em pesquisa e desenvolvimento em todas as atividades de teste mencionadas. Muitos dos nossos projetos anteriores envolveram inclusive a concepção e construção de ferramentas de geração, seleção, priorização e processamento de testes. Neste projeto, desenvolveremos as ferramentas como uma linha de produtos. As ferramentas serão construídas em um framework que possibilite que novos produtos sejam facilmente acoplados e criados. Por exemplo, nossa ferramenta de geração de testes será construída em um framework (código aberto) comum a todas ferramentas de geração de testes (externas ao projeto). Tais ferramentas teriam certamente entradas, saídas e facilidades diferentes das nossas e seriam desenvolvidas por outra instituição ou empresa que deseje usar o framework..
Situação: Concluído; Natureza: Pesquisa.
2008 - 2010
Teste modular de interface de usu ́ario e de sistema
Descrição: É pratica comum na industria de software apenas testar interface de usuario e funcionalidade do sistema de forma integrada, e usar a interface de usuario para este fim. A interface tipicamente usa uma implementação completa do sistema e o sistema usa uma interface de usuario completa para comando. Esta dependencia pode serializar desnecessariamente o processo de desenvolvimento e afetar, portanto, produtividade. Por exemplo, o teste de sistema pode incluir funcionalidades ja desenvolvidas mas ainda indisponiveis na interface de usuario. Assim, e possivel que um erro de sistema esteja presente mas nao possa ser descoberto pois e inacessivel atraves da interface. Esta dependencia dificulta tambem a automacao de testes. Por exemplo, o teste integrado deve capturar erros levantados pelo sistema e isto pode dificultar uma exploracao mais exaustiva dos eventos de tela. O objetivo do projeto e melhorar a infra-estrutura de testes em software e, assim, reduzir o tempo para descoberta e correção de erros. O foco e em automacao e modularização do teste de interface de usuario e de sistema. Automacao do processo de testes permite descoberta sistematica de erros. Modularidade facilita a construção de testes. Estes mecanismos oferecem meios para atingir o objetivo do projeto..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) .
Integrantes: Marcelo Bezerra d'Amorim - Coordenador / Paulo Borba - Integrante / Alexandre Mota - Integrante / Cristiano Bertolini - Integrante / Glaucia Peres - Integrante.Financiador(es): (FACEPE) Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro / (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2008 - Atual
INES - Instituto Nacional de Ciência e Tecnologia para Engenharia de Software (INCT CNPq e FACEPE)
Descrição: Descrição: O INES (Instituto Nacional de Ciência e Tecnologia para Engenharia de Software) tem como tema global promover desenvolvimento de software com altíssima produtividade, aplicando de forma sistemática o conceito de fábrica. Primordialmente, os sistemas desenvolvidos apresentarão, de forma mensurável e configurável, fidedignidade (ou seja, poderemos depender deles sem receio). Em especial, as iniciativas do INES buscarão diminuir de forma radical as taxas de fracasso de projeto, aumentando o nível de satisfação com a qualidade dos produtos entregues, com custo e benefício controlados. Dentro deste contexto, o Instituto determinará e controlará a execução de atividades com metas de curto, médio e longo prazo, coordenando as contribuições das várias instituições e grupos de pesquisa participantes. A área de atuação dos pesquisadores que irão compor o INES, em termos gerais, engloba atividades de definição, viabilização e implantação de fábricas de software efetivas, com foco em alta produtividade e, ao mesmo tempo, fidedignidade mensurável e controlável. De forma específica, pesquisadores atuarão em diversas linhas de pesquisa conectadas em termos do objetivo em comum: (a) reuso sistemático e linhas de produto de software, (b) verificação e validação automática de sistemas, (c) técnicas de evolução e refatoração automáticas, (d) desenvolvimento dirigido por modelos, (e) linguagens de domínio específico, (f) qualidade de software e (g) engenharia de software experimental. FINANCIAMENTOS: 1 - EDITAL CNPq 15/2008 INCT, processo #573964/2008-4 2 - EDITAL FACEPE 07/2008 PRONEX/FACEPE/CNPq, processo #APQ-1037-1.03/08.. Situação: Em andamento; Natureza: Pesquisa..
Situação: Em andamento; Natureza: Pesquisa.


Membro de corpo editorial


2016 - 2017
Periódico: JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY


Membro de comitê de assessoramento


2009 - Atual
Agência de fomento: (FACEPE) Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco
2009 - Atual
Agência de fomento: (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico
2008 - Atual
Agência de fomento: (FACEPE) Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco


Revisor de periódico


2009 - Atual
Periódico: ACM Transactions on Software Engineering and Methodology
2012 - Atual
Periódico: ACM Transactions on Software Engineering and Methodology
2012 - 2012
Periódico: Information Processing Letters (Print)
2012 - 2012
Periódico: Science of Computer Programming (Print)
2012 - 2012
Periódico: IEEE Transactions on Computers (Print)
2014 - Atual
Periódico: IEEE Transactions on Software Engineering
2015 - Atual
Periódico: Software Quality Journal (Online)
2013 - 2013
Periódico: Automated Software Engineering


Revisor de projeto de fomento


2009 - Atual
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico
2009 - Atual
Agência de fomento: Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2016
Distinguished Reviewer Award, IEEE/ACM.
2013
Renovacao Bolsa de Produtividade em Pesquisa - Nivel 2, CNPQ.
2013
Software Engineering Innovation Foundation Awards, Microsoft Research (MSR).
2010
Bolsa de Produtividade em Pesquisa - Nível 2, CNPQ.
2010
3o. premio de melhor artigo SBLP-CbSoft, SBC.
2008
Auxílio Enxoval e Bolsa de Pós-Doutorado, FACEPE-CNPQ.
2007
Nomination for ACM Distinguished Paper Award (ISSTA'07), Association of Computer Machinery (ACM).
2006
Nomination for ACM Distinguished Paper Award (ASE'06), Association of Computer Machinery (ACM).


Produções



Produção bibliográfica
Citações

Outras
Total de trabalhos:36
Total de citações:823
Marcelo d'Amorim  Data: 25/01/2017

Artigos completos publicados em periódicos

1.
SOUTO, SABRINA2018SOUTO, SABRINA ; D?AMORIM, MARCELO . Time-space efficient regression testing for configurable systems. JOURNAL OF SYSTEMS AND SOFTWARE, v. 137, p. 733-746, 2018.

2.
XIE, TAO2017XIE, TAO ; CAI, YUANFANG ; LIU, XUANZHE ; WANG, XIAOYIN ; ACHARYA, MITHUN P. ; D?AMORIM, MARCELO ; MA, XIAOXING . Preface. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, v. 32, p. 1057-1059, 2017.

3.
BORGES, MATEUS2014BORGES, MATEUS ; FILIERI, ANTONIO ; d'Amorim, Marcelo ; P'S'REANU, CORINA S. ; VISSER, WILLEM . Compositional solution space quantification for probabilistic software analysis. SIGPLAN Notices (Cessou em 1991. Cont. ISSN 1523-2867 ACM SIGPLAN Notices), v. 49, p. 123-132, 2014.

4.
RIMSA, ANDREI2013RIMSA, ANDREI ; D?AMORIM, MARCELO ; PEREIRA, FERNANDO MAGNO QUINTÃO ; BIGONHA, ROBERTO S. . Efficient static checker for tainted variable attacks. SCIENCE OF COMPUTER PROGRAMMING, v. 80, p. 91-105, 2013.

5.
Sobeih, A.2010Sobeih, A. ; d'Amorim, M. ; Viswanathan, M. ; Marinov, D. ; Hou, J. C. ; d'Amorim, M. . Assertion Checking in J-Sim Simulation Models of Network Protocols. Simulation (San Diego, Calif.), v. 86, p. 651-673, 2010.

6.
Takaki, Mitsuo2010Takaki, Mitsuo ; Cavalcanti, Diego ; Gheyi, Rohit ; Iyoda, Juliano ; D?AMORIM, MARCELO ; Prudêncio, Ricardo B. C. . Randomized constraint solvers: a comparative study. Innovations in Systems and Software Engineering (Internet), v. 6, p. 243-253, 2010.

7.
d'Amorim, M.2008d'Amorim, M.; LAUTERBURG, S. ; Marinov, D. . Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs. IEEE Transactions on Software Engineering, v. 34, p. 597-613, 2008.

8.
CHEN, FENG2006CHEN, FENG ; d'Amorim, Marcelo ; RO'U, GRIGORE . Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. Electronic Notes in Theoretical Computer Science, v. 144, p. 3-20, 2006.

9.
DAMORIM, M2005DAMORIM, M; Grigore Rosu . An Equational Specification for the Scheme Language. Journal of Universal Computer Science (Print), v. 11, p. 1327-1348, 2005.

10.
d'Amorim, Marcelo2005d'Amorim, Marcelo; Havelund, Klaus . Event-based runtime verification of java programs. Software Engineering Notes, v. 30, p. 1, 2005.

Capítulos de livros publicados
1.
Li, Xiangyu ; d Amorim, Marcelo ; Orso, Alessandro . Iterative User-Driven Fault Localization. Lecture Notes in Computer Science. -ed.: Springer International Publishing, 2016, v. , p. 82-98.

2.
Liu, Tianhai ; Araújo, Mateus ; d Amorim, Marcelo ; Taghdiri, Mana . A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution. Lecture Notes in Computer Science. -ed.: Springer International Publishing, 2014, v. , p. 284-299.

Trabalhos completos publicados em anais de congressos
1.
FAZZINI, MATTIA ; PRAMMER, MARTIN ; d'Amorim, Marcelo ; Orso, Alessandro . Automatically translating bug reports into test cases for mobile apps. In: the 27th ACM SIGSOFT International Symposium, 2018, Amsterdam. Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2018. New York: ACM Press, 2018. p. 141.

2.
LI, X. ; ZHU, S. ; DAMORIM, MARCELO ; Orso, Alessandro . Enlightened debugging. In: International Conference on Software Engineering, 2018, Sweden. Proceedings of the 40th International Conference on Software Engineering, 2018. p. 82-92.

3.
PEREZ, ALEXANDRE ; ABREU, RUI ; d'Amorim, Marcelo . Prevalence of Single-Fault Fixes and Its Impact on Fault Localization. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), 2017, Tokyo. 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), 2017. p. 12-98.

4.
SOUTO, SABRINA ; d'Amorim, Marcelo ; Gheyi, Rohit . Balancing Soundness and Efficiency for Practical Testing of Configurable Systems. In: 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, Buenos Aires. 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017. v. -. p. 632-648.

5.
CANDIDO, JEANDERSON ; MELO, LUIS ; d'Amorim, Marcelo . Test suite parallelization in open-source projects: A study on its usage and impact. In: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017, Urbana. 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017. p. 838.

6.
SOUTO, SABRINA ; GOPINATH, DIVYA ; d'Amorim, Marcelo ; Marinov, Darko ; KHURSHID, SARFRAZ ; BATORY, DON . Faster bug detection for software product lines with incomplete feature models. In: the 19th International Conference, 2015, Nashville. Proceedings of the 19th International Conference on Software Product Line - SPLC '15. New York: ACM Press, 2015. p. 151.

7.
BORGES, MATEUS ; FILIERI, ANTONIO ; d'Amorim, Marcelo ; P'S'REANU, CORINA S. . Iterative distribution-aware sampling for probabilistic symbolic execution. In: the 2015 10th Joint Meeting, 2015, Bergamo. Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015. New York: ACM Press, 2015. p. 866-877.

8.
BARROS, PAULO ; JUST, RENE ; MILLSTEIN, SUZANNE ; VINES, PAUL ; DIETL, WERNER ; DAMORIM, MARCELO ; ERNST, MICHAEL D. . Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T). In: 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, Lincoln. 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015. p. 669.

9.
BORGES, MATEUS ; FILIERI, ANTONIO ; DAMORIM, M ; P'S'REANU, CORINA S. ; VISSER, WILLEM . Compositional Solution Space Quantification for Probabilistic Software Analysis. In: ACM SIGPLAN Programming Language Design and Implementation, 2014, Edinburgh, UK. Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY: ACM, 2014. p. 123-132.

10.
KIM, CHANG HWAN PETER ; Marinov, Darko ; KHURSHID, SARFRAZ ; BATORY, DON ; SOUTO, SABRINA ; BARROS, PAULO ; d'Amorim, Marcelo . SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. In: the 2013 9th Joint Meeting, 2013, Saint Petersburg. Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013. New York: ACM Press. p. 257-267.

11.
CAMPOS, JOSE ; ABREU, RUI ; FRASER, GORDON ; d'Amorim, Marcelo . Entropy-based test generation for improved fault localization. In: 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), 2013, Silicon Valley. 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE). p. 257-267.

12.
Mateus Borges ; Marcelo d'Amorim ; Saswat Anand ; David H. Bushnell ; Corina Pasareanu . Symbolic Execution with Interval Solving and Meta-heuristic Search. In: International Conference on Software Testing, Verification and Validation, 2012, Montreal. IEEE International Conference on Software Testing, Verification and Validation, 2012. p. 111-120.

13.
Matheus Arrais ; Mateus Borges ; d'Amorim, Marcelo ; Corina Pasareanu . CORAL: Solving Complex Constraints for Symbolic PathFinder. In: NASA Formal Methods Symposium, 2011, Pasadena. Proceedings of the NASA Formal Methods Symposium, 2011. p. 359-374.

14.
Elton Alves ; Milos Gligoric ; JAGANANTH, V. ; d'Amorim, Marcelo . Fault-localization using dynamic slicing and change impact analysis. In: IEEE/ACM International Conference on Automated Software Engineering, 2011, Lawrence, KS, USA. Proceedings of IEEE/ACM International Conference on Automated Software Engineering, 2011. p. 520-523.

15.
Andrei Rimsa Alvares ; d'Amorim, Marcelo ; Fernando M. Q. Pereira . Tainted Flow Analysis on e-SSA-form Programs. In: International Conference on Compiler Construction (CC), 2011, Saarbrücken. Proceedings of International Conference on Compiler Construction (CC), 2011. p. 124-143.

16.
Andrei Rimsa Alvares ; Marcelo d'Amorim ; Fernando M. Q. Pereira . Efficient Checking of Tainted Variable Attacks. In: Congresso Brasileiro em Software (CBSoft), SBLP, 2010, Salvador. Congresso Brasileiro em Software (CBSoft), SBLP, 2010.

17.
Cristiano Bertolini ; Glaucia Peres ; Marcelo d'Amorim ; Alexandre Mota . An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. In: International Conference on Software Testing Verification and Validation (ICST), 2009, Denver, CO, USA. Proceedings of the 2nd International Conference on Software Testing Verification and Validation. Los Alamitos, CA, USA: IEEE Computer Society, 2009. v. 0. p. 21-30.

18.
Mitsuo Takaki ; Diego Cavalcanti ; Rohit Gheyi ; Juliano Iyoda ; Marcelo d'Amorim ; Ricardo Prudêncio . A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing.. In: NASA Formal Methods Symposium, 2009, Moffet Field, CA. Proceedings of the First NASA Formal Methods Symposium (NFM), 2009., 2009. v. 0. p. 56-65.

19.
Tihomir Gvero ; Milos Gligoric ; Steven Lauterburg ; d'Amorim, Marcelo ; Darko Marinov ; Sarfraz Khurshid . State extensions for java pathfinder. In: International Conference on Software Engineering (Tool Demo), 2008, Leipzig, Germany. Proceedings of the 2008 International Conference on Software Engineering, 2008. p. 863-866.

20.
Yuanyuan Zhou ; Darko Marinov ; William Sanders ; Craig Zilles ; Marcelo d'Amorim ; Steven Lauterburg ; Ryan M. Lefever ; Joe Tucek . Delta execution for software reliability. In: Hot Topics in System Dependability, 2007, Edinburgh. Delta execution for software reliability. Berkeley, CA, USA: USENIX Association, 2007.

21.
d'Amorim, Marcelo; Lauterburg, Steven ; Darko Marinov . Delta execution for efficient state-space exploration of object-oriented programs. In: International Symposium on Software testing and analysis (ISSTA), 2007, United Kingdon. Proceedings of the 2007 international symposium on Software testing and analysis, 2007. p. 50-60.

22.
d'Amorim, Marcelo; Carlos Pacheco ; Tao Xie ; Darko Marinov ; Michael Ernst . An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. In: International Conference on Automated Software Engineering (ASE), 2006, Tokyo, Japan. Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering, 2006. p. 59-68.

23.
d'Amorim, Marcelo; Ahmed Sobeih ; Darko Marinov . Optimized Execution of Deterministic Blocks in Java PathFinder. In: International Conference on Formal Engineering Methods, 2006, Macao, China. Proceedings of the 8th International Conference on Formal Engineering Methods, 2006. v. 4260. p. 549-567.

24.
Marcelo d'Amorim; Grigore Rosu . An Equational Specification for the Scheme Language. In: Simposio Brasileiro de Linguagens de Programacao, 2005, Recife. Anais do Simposio Brasileiro de Linguagens de Programacao, 2005.

25.
d'Amorim, Marcelo; Grigore Rosu . Efficient Monitoring of Omega Languages. In: Computer Aided Verification (CAV), 2005, Edinburgh, Scotland, UK. 17th International Conference, Computer Aided Verification, 2005. v. 3576. p. 364-378.

26.
Marcelo d'Amorim; NOGUEIRA, C. ; SANTOS, G. ; SOUZA, A. ; BORBA, P. . Integrating Code Generation and Refactoring. In: ECOOP?2002 Workshop on Generative Programming, 2002, Malaga. ECOOP?2002 workshop reader, 2002.

27.
Marcelo d'Amorim; Carlos Ferraz . A Design for JTrader, an Internet Trading Federation.. In: Simposio Brasileiro de Redes de Computadores, 2001, Florianopolis. Proceedings of the 19th Brazilian Symposium on Computer Networks. Florianopolis, 2001.

28.
Marcelo d'Amorim. Reverse Lease Subscriber, a Design Pattern based on Service Trading for Failure Detection and Reconfiguration of Distributed Systems. In: First Latin American Conference on Pattern Languages of Programming - SugarloafPLoP'2001, 2001, Rio de Janeiro. In technical report of the Federal University of Rio de Janeiro. Rio de Janeiro, 2001.

29.
Marcelo d'Amorim; Carlos Ferraz . Designing Jini Distributed Services - A Framework to support the development of reliable component networks. In: First OOPSLA Workshop on Language Mechanisms for Programming Software Components., 2001, Tampa Bay, Florida. Technical Report NU-CCS-01-06, 2001.

30.
Marcelo d'Amorim; Carlos Ferraz . Proxy-to-Proxy, a Structural Pattern for Leveraging Security on Highly Distributed Internet Applications. In: First Latin American Conference on Pattern Languages of Programming - SugarloafPLoP'2001, 2001, Rio de Janeiro. technical report of the Federal University of Rio de Janeiro, 2001.

Resumos publicados em anais de congressos
1.
PHAN, QUOC-SANG ; MALACARIA, PASQUALE ; P'S'REANU, CORINA S. ; d'Amorim, Marcelo . Quantifying information leaks using reliability analysis. In: the 2014 International SPIN Symposium, 2014, San Jose. Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014. New York: ACM Press, 2014. p. 105-108.

2.
Marcelo d'Amorim; SOARES, S. ; NEVES, D. ; AQUINO, G. ; VALENÇA, A. ; VALADARES, L. ; FARO, M. . Implementando Sistemas Orientados a Objetos para Web usando Servlets. In: Simposio Brasileiro de Linguagens de Programacao, 2000, Recife. Proceedings of the IV Brasilian Simposium on Programming Languages, 2000. p. 290-299.

Apresentações de Trabalho
1.
DAMORIM, M. Symbolic Execution with Interval Constraint Solving and Meta-Heuristic Search. 2012. (Apresentação de Trabalho/Outra).

2.
Thiago Vieira ; d'Amorim, Marcelo . Optimized Delta Execution for Efficient Mutation Testing. 2011. (Apresentação de Trabalho/Outra).

3.
Matheus Arrais ; Mateus Borges ; Corina Pasareanu ; Marcelo d'Amorim . CORAL: Solving Complex Constraints for Symbolic PathFinder. 2011. (Apresentação de Trabalho/Simpósio).

Outras produções bibliográficas
1.
Anamaria Martins Moreira ; d'Amorim, Marcelo . Proceedings of the Brazilian Workshop on Systematic and Automated Software Testing - SAST. Natal, Rio Grande do Norte: Editora da Universidade Federal do Rio Grande do Norte, 2011 (Científica - Organizador de evento).


Produção técnica
Produtos tecnológicos
1.
Marcelo d'Amorim. Controle Academico - UFPE. 1999.


Demais tipos de produção técnica
1.
DAMORIM, MARCELO. International Conference on Software Engineering (ICSE). 2017. (Membro de Comitê de Programa).

2.
DAMORIM, MARCELO. International Conference on Automated Software Engineering (ASE). 2017. (Membro de Comitê de Programa).

3.
DAMORIM, MARCELO. International Conference on Software Testing, Verification and Validation (ICST). 2017. (Membro de Comitê de Programa).

4.
Marcelo d'Amorim. Membro do Comitê de Programa - ICSE SEIP (Software Engineering in Practice). 2016. (Membro de Comitê de Programa).

5.
d'Amorim, Marcelo. International Conference on Automated Software Engineering (ASE). 2016. (Membro de Comitê de Programa).

6.
d'Amorim, Marcelo. IEEE International Conference on Software Testing, Verification and Validation (ICST). 2016. (Membro de Comitê de Programa).

7.
Marcelo d'Amorim. Membro de Comitê de Programa - Brazilian Conference on Software (CBSoft). 2015. (Membro de Comitê de Programa).

8.
d'Amorim, Marcelo. Membro de Comitê de Programa - International Symposium on Software Testing and Analysis (ISSTA). 2015. (Membro de Comitê de Programa).

9.
d'Amorim, Marcelo. Membro de Comitê de Programa - Java PathFinder Workshop (JPF Workshop). 2014. (Membro de Comitê de Programa).

10.
d'Amorim, Marcelo. Membro de Comitê de Programa - International Symposium on Software Testing and Analysis (ISSTA). 2014. (Membro de Comitê de Programa).

11.
d'Amorim, Marcelo. Membro de Comitê de Programa - International Conference of Software Engineering (ICSE SEIP track). 2014. (Membro de Comitê de Programa).

12.
d'Amorim, Marcelo. Membro de Comitê de Programa - International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE). 2014. (Membro de Comitê de Programa).

13.
d'Amorim, Marcelo. Membro de Comitê de Programa - Java PathFinder Workshop (JPF Workshop). 2013. (Membro de Comitê de Programa).

14.
d'Amorim, Marcelo. Membro de Comitê de Programa - Brazilian Conference on Software (CBSoft). 2013. (Membro de Comitê de Programa).

15.
DAMORIM, M. Aplicando Ferramentas de Teste na Industria. 2012. (Curso de curta duração ministrado/Especialização).

16.
d'Amorim, Marcelo. Membro de Comitê de Programa - Brazilian Conference on Software (CBSoft). 2012. (Membro de Comitê de Programa).

17.
d'Amorim, Marcelo. Membro de Comitê de Programa - International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE). 2012. (Membro de Comitê de Programa).

18.
d'Amorim, Marcelo. Membro de Comitê de Programa - International Conference on Automated Software Engineering (ASE). 2012. (Membro de Comitê de Programa).

19.
d'Amorim, Marcelo. Membro de Comitê de Programa - Constraints in Software Testing Verification and Analysis (CSTVA). 2012. (Membro de Comitê de Programa).

20.
d'Amorim, Marcelo. Membro de Comitê de Programa - Java PathFinder Workshop (JPF Workshop). 2012. (Membro de Comitê de Programa).

21.
d'Amorim, Marcelo. Membro de Comitê de Programa - Brazilian Conference on Software (CBSoft). 2011. (Membro de Comitê de Programa).

22.
d'Amorim, Marcelo. Membro de Comitê de Programa - Java PathFinder Workshop (JPF Workshop). 2011. (Membro de Comitê de Programa).

23.
d'Amorim, Marcelo. Membro de Comitê de Programa - International Conference on Automated Software Engineering (ASE). 2011. (Membro de Comitê de Programa).

24.
d'Amorim, Marcelo. Membro de Comitê de Programa - Constraints in Software Testing Verification and Analysis (CSTVA). 2011. (Membro de Comitê de Programa).

25.
d'Amorim, Marcelo. Membro de Comitê de Programa - Brazilian Conference on Software (CBSoft). 2010. (Membro de Comitê de Programa).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
D?AMORIM, MARCELO; ANICHE, M. F.; BORBA, P.. Participação em banca de Léuson Mário Pedro da Silva. Build and Test Conflicts in the Wild. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
DAMORIM, M; KULESCA, U.; BORBA, P.. Participação em banca de Roberto Souto Maior de Barros Filho. Using Information Flows to Estimate Interference Between Same Method Contributions. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
BORBA, P.; Rohit Gheyi; SANTOS, A.; TEIXEIRA, L.; RIBEIRO, M. M.; DAMORIM, M. Participação em banca de Leonardo Fernandes Mendonça de Oliveira. Avoiding Useless Mutants. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

4.
MELO, A. C. V.; VIJAYKUMAR, N. L.; d'Amorim, M.. Participação em banca de Alexandre Locci Martins. Teste e Verificação Formal do Comportamento Excepcional de Programas Java. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

5.
DAMORIM, M; SEREY, D.Dalton; BORBA, P.. Participação em banca de Tarsis Wanderley Toledo. Dataflow Analysis for Software Product Lines. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

6.
Roberta de Souza Coelho; Fernando Castor; DAMORIM, M. Participação em banca de Felipe Ebert. An Exploratory Study on Exception Handling Bugs. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

7.
Juliano Iyoda; Roberta de Souza Coelho; Marcelo d'Amorim. Participação em banca de Elton Renan Magalhaes Alves. Fault-Localization Using Dynamic Slicing and Change Impact Analysis. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

8.
d'Amorim, M.; Roberta de Souza Coelho; BORBA, P.. Participação em banca de Felype Santiago Ferreira. Making Software Product Line Evolution Safer. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

9.
Alexandre Mota; Roberta de Souza Coelho; d'Amorim, M.. Participação em banca de João Paulo dos Santos Oliveira. Rabbit: A novel approach to find data-races during state-space exploration. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

10.
Prudêncio, Ricardo B. C.; Aranha, Eduardo; Marcelo d'Amorim. Participação em banca de Luciano Soares de Souza. Seleção de Casos de Teste com Restrição de Custo de Execução utilizando Otimização por Enxame de Partículas. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

11.
d'Amorim, Marcelo; KULESCA, U.; BORBA, P.. Participação em banca de Leopoldo Teixeira. Verification and Refactoring of Configuration Knowledge for Software Product Lines. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

12.
Roberto Bigonha; Mariza Bigonha; Fernando M. Q. Pereira; d'Amorim, M.. Participação em banca de Andrei Rimsa Alvares. Efficient Static Analysis to Find Tainted Variable Attacks. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

13.
d'Amorim, Marcelo; KULESCA, U.; MEIRA, S.. Participação em banca de Fernando Raposo da Camara Silva. A Component Testing Approach Supported by a CASE Tool. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

14.
BORBA, P.; DAMORIM, M; VALENTE, R. T. O.. Participação em banca de Marcio de Medeiros Ribeiro. Restructuring Test Variabilities in Software Product Lines. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Teses de doutorado
1.
GARCIA, V. C.; D?AMORIM, MARCELO; Fernando Castor; MONTEIRO, J. A. B.; VALENTE, R. T. O.. Participação em banca de Rodrigo Cardoso Amaral de Andrade. Privacy and Security Constraints for Code Contributions. 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
BORBA, P.; LIMA, R.; DAMORIM, M; Fernando Castor; VALENTE, R. T. O.. Participação em banca de Gustavo Henrique Lima Pinto. A Refactoring Approach to Improve Energy Consumption of Parallel Software Systems. 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
Fernando Castor; d'Amorim, M.; VALENTE, R. T. O.; Alessandro Garcia; Carolyn Seaman. Participação em banca de Márcio de Medeiros Ribeiro. Emergent Feature Modularization. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

4.
KULESCA, U.; Juliano Iyoda; VALENTE, R. T. O.; SOARES, S.; DAMORIM, M. Participação em banca de Alberto Costa Neto. Specifying Design Rules in Aspect-Oriented Systems. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

5.
Francisco Brasileiro; SEREY, D.Dalton; Roberta de Souza Coelho; Walfredo Cirne; Marcelo d'Amorim. Participação em banca de Ayla Débora Dantas S. Rebouças. Aumentando a Confiaça nos Resultados de Testes de Sistemas Multi-Threaded. 2010. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

Qualificações de Doutorado
1.
GEROSA, M. A.; CHAIM, M. L.; DAMORIM, M. Participação em banca de Higor Amário de Souza. Fault Localization in Automated Debugging: Challenges for Its Practical Adoption. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade de São Paulo.

2.
VALENTE, R. T. O.; Marcelo d'Amorim; Fernando Castor. Participação em banca de Marcio de Medeiro Ribeiro. Emergent Feature Modularization. 2011. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
SEREY, D.Dalton; MACHADO, P.Patricia; Walfredo Cirne; Francisco Brasileiro; DAMORIM, M. Participação em banca de Ayla Débora Dantas de Souza Rebouças. Aumentando a Confiaça nos Resultados de Testes de Sistemas Multi-Threaded. 2009. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
Juliano Iyoda; VALENTE, R. T. O.; Marcelo d'Amorim. Participação em banca de Alberto Costa Neto. Specifying Design Rules in Aspect-Oriented Systems. 2009. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

5.
Juliano Iyoda; d'Amorim, Marcelo; VALENTE, R. T. O.; KULESCA, U.. Participação em banca de Alberto Costa Neto. Specification of Design Rules in Aspect- Oriented Systems. 2009. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco.

Trabalhos de conclusão de curso de graduação
1.
LINS, A.; Marcelo d'Amorim. Participação em banca de Taise Dias da Silva.Ferramenta de Suporte a uma Metodologia para Testes Exploratórios. 2009. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computação) - Universidade Federal de Pernambuco.

2.
Juliano Iyoda; Marcelo d'Amorim. Participação em banca de Rafael Araujo Santana de Oliveira.Uso de espectros de execução para análise de modificações em um programa. 2009. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computação) - Universidade Federal de Pernambuco.

3.
Alexandre Mota; Marcelo d'Amorim. Participação em banca de Breno Neil Felix Bezerra.Um plugin-in do Eclipse para seleção de teste caixa-branca. 2008. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computação) - Universidade Federal de Pernambuco.

4.
LINS, A.; Marcelo d'Amorim. Participação em banca de João Victor Guimarães de Lemos.Avaliação Empírica de uma Ferramenta para Seleção de Testes de Regressão de Software Orientado a Objectos. 2008. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computação) - Universidade Federal de Pernambuco.

5.
Alexandre Mota; Marcelo d'Amorim. Participação em banca de Filipe César Silva de Andrade.Teste Randômico Baseado em Mudanças. 2008. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computação) - Universidade Federal de Pernambuco.



Participação em bancas de comissões julgadoras
Outras participações
1.
Marcelo d'Amorim. PC member - Brazilian Conference on Software - CBSoft (SBLP). 2012.

2.
Marcelo d'Amorim. PC member - Brazilian Conference on Software - CBSoft (Tools). 2012.

3.
Marcelo d'Amorim. PC member - IEEE/ACM Automated Software Engineering (ASE). 2012.

4.
Marcelo d'Amorim. PC member - Java PathFinder (JPF) Workshop. 2012.

5.
Marcelo d'Amorim. PC member - International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE). 2012.

6.
Marcelo d'Amorim. PC Member - 4th Workshop on Constraints in Software Testing, Verification, and Analysis Co-located with ICST 2012. 2012.

7.
Marcelo d'Amorim. PC member - Brazilian Conference of Software - CBSoft (SBLP). 2011.

8.
Marcelo d'Amorim. PC member - Brazilian Conference of Software - CBSoft (Tools). 2011.

9.
Marcelo d'Amorim. PC member - Brazilian Conference of Software - CBSoft (SAST). 2011.

10.
Marcelo d'Amorim. PC member - IEEE/ACM International Conference on Automated Software Engineering (ASE). 2011.

11.
Marcelo d'Amorim. PC member - Java PathFinder (JPF) Workshop. 2011.

12.
Marcelo d'Amorim. PC memmber - Brazilian Conference on Software - CBSoft (Tools). 2010.

13.
Marcelo d'Amorim; Anamaria Martins Moreira. co-chair - Workshop on Systematic and Automated Software Testing (SAST). 2010.

14.
Marcelo d'Amorim. PC member - Simpósio Brasileiro em Engenharia de Software - SBES. 2009.

15.
Marcelo d'Amorim. PC member - Workshop on Systematic and Automated Software Testing - SAST. 2009.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Congresso Brasileiro em Software (CBSoft). Efficient Checking of Tainted Variable Attacks. 2010. (Congresso).

2.
ICTSS + SBMF + SAST. Program Chair e PC member do SAST. 2010. (Congresso).

3.
International Conference on Formal Engineering Methods. 2009. (Congresso).

4.
NFM (Nasa Formal Methods Conference). A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. 2009. (Congresso).

5.
SBMF+SBLP.moderação de sessões. 2009. (Simpósio).

6.
SBMF.apresentação de mini-curso e moderação de apresentação. 2008. (Simpósio).

7.
ICSE (International Conference on Software Engineering). 2007. (Congresso).

8.
ASE (Automated Software Engineering). An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. 2006. (Congresso).

9.
ICFEM (International Conference on Formal Engineering Methods). Optimized Execution of Deterministic Blocks in Java PathFinder. 2006. (Congresso).

10.
ICSE (International Conference on Software Engineering).Event-Based Runtime Verification of Java Programs.. 2005. (Simpósio).

11.
SBLP.An Equational Specification for the Scheme Language.. 2005. (Simpósio).

12.
SBRC.A Design for JTrader, an Internet Trading Federation. 2001. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
DAMORIM, M; LO, D. . Automated Software Engineering (ASE). 2013. (Congresso).

2.
DAMORIM, M. International Symposium on Software Testing and Analysis. 2013. (Congresso).

3.
d'Amorim, M.. Automated Software Engineering (ASE). 2012. (Congresso).

4.
d'Amorim, M.. Automated Software Engineering (ASE). 2011. (Congresso).

5.
d'Amorim, M.; Anamaria Martins Moreira . SAST: Workshop on Systematic and Automated Software Testing. 2010. (Outro).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Sotero Rocha de Souza Junior. Automatizando Teste de Conformidade para Identificando de Bugsem Bibliotecas. Início: 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. (Orientador).

2.
Igor Simões de Oliveira Lima. Análise de Bugs Recorrentes em Projetos de Software Baseados em Frameworks. Início: 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. (Orientador).

3.
Luis Henrique de Souza Melo. Geração de testes para internet das coisas. Início: 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. (Orientador).

Tese de doutorado
1.
Fabrízio Barbosa Farias. Descoberta de conflitos em sistemas baseados em plugins. Início: 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Jeanderson Barros Cândido. Teste combinatorial e simbólico para sistemas configuráveis.. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Marcelo Bezerra d'Amorim.

2.
Paulo de Barros e Silva Filho. STATIC ANALYSIS OF IMPLICIT CONTROL FLOW: RESOLVING JAVA REFLECTION AND ANDROID INTENTS. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Marcelo Bezerra d'Amorim.

3.
Mateus Araújo Borges. Techniques to Facilitate Probabilistic Software Analysis of Real-world Programs. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Marcelo Bezerra d'Amorim.

4.
Joao Paulo dos Santos Oliveira. Rabbit: A novel approach for finding data-races during state-space exploration. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Marcelo Bezerra d'Amorim.

5.
ELTON RENAN MAGALHAES ALVES. Improved Lightweight Debugging with Change Analysis. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Marcelo Bezerra d'Amorim.

6.
Andrei Rimsa Alvares. Efficient Static Analysis to Find Tainted Variable Attacks. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Marcelo Bezerra d'Amorim.

7.
Mitsuo Takaki. Busca Meta-Heuristica para Resolução de CSP em Teste de Software. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Coorientador: Marcelo Bezerra d'Amorim.

8.
Gláucia Boudoux Peres. A Black-box Testing Technique for the Detection of Crashes Based on Automated Test Scenarios. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Coorientador: Marcelo Bezerra d'Amorim.

Tese de doutorado
1.
Sabrina de Figueiredo Souto. Addressing High Dimensionality and Lack of Feature Models in Testing of Software Product Lines. 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Marcelo Bezerra d'Amorim.

Trabalho de conclusão de curso de graduação
1.
Adriana Libório. Automacao de Testes Centrada no Homem. 2013. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Marcelo Bezerra d'Amorim.

2.
Paulo de Barros e Silva Filho. Automacao de Testes Centrada no Homem. 2013. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Marcelo Bezerra d'Amorim.

Iniciação científica
1.
Mateus de Araújo Borges. Solving Complex Constraint in Symbolic PathFinder. 2010. Iniciação Científica. (Graduando em Ciencia da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Bezerra d'Amorim.



Inovação



Projetos de pesquisa


Educação e Popularização de C & T



Cursos de curta duração ministrados
1.
DAMORIM, M. Aplicando Ferramentas de Teste na Industria. 2012. (Curso de curta duração ministrado/Especialização).


Organização de eventos, congressos, exposições e feiras
1.
d'Amorim, M.. Automated Software Engineering (ASE). 2011. (Congresso).




Página gerada pelo Sistema Currículo Lattes em 14/12/2018 às 21:44:08