Rede de Colaboração
Diretório de grupos de pesquisa

Marcelo Bezerra d'Amorim
Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

Marcelo obteve graduacao de bacharel (1997) e mestre (2001) em Ciência da Computação pela Universidade Federal de Pernambuco, e PhD pela Universidade de Illinois em Urbana-Champaign, E.U.A. (2007). Seus principais interesses de pesquisa são em análise de programas e teste automatizado de software. Marcelo tem como objetivo desenvolver técnicas mais precisas e eficientes para encontrar erros em programas.
(Texto informado pelo autor)

Última atualização do currículo em 12/01/2012
Endereço para acessar este CV:
http://lattes.cnpq.br/3762670242328435
Dados pessoais
NomeMarcelo Bezerra d'Amorim
Nome em citações bibliográficasMarcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.
SexoMasculino
Endereço profissionalUniversidade Federal de Pernambuco.
Av. Prof. Luiz Freire
50732-970 - 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 - 2007Doutorado em Ph.D. em Ciência da Computação .
University of Illinois at Urbana-Champaign.
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 .
Palavras-chave: teste; Checagem de Modelos.
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.
1999 - 2001Mestrado 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 / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação.
Setores de atividade: Informática.
1997 - 1997Especialização em Administracao Financeira . (Carga Horária: 165h).
Universidade de Pernambuco, UPE, Brasil.
Título: Administração Financeira.
1992 - 1996Graduação em Ciencia da Computação .
Universidade Federal de Pernambuco, UFPE, Brasil.

Atuação profissional
Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional
2009 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto II, 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
07/2009 - AtualEnsino, Nível: Graduação.
Disciplinas ministradas
Análise Estática de Programas
Introdução a Informática
Teste e Depuração de Software
07/2009 - AtualEnsino, 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
2009 - AtualAtividades de Participação em Projeto, Centro de Informática, .
Projetos de pesquisa
Otimização do Teste de Mutação com Execução Delta
01/2008 - AtualAtividades de Participação em Projeto, Centro de Informática, .
Projetos de pesquisa
Otimização de Tarantula com análise de dependência
2011 - 2014Atividades de Participação em Projeto, Centro de Informática, .
Projetos de pesquisa
Extração e checagem de conformidade de modelos de features
2009 - 2012Atividades de Participação em Projeto, Centro de Informática, .
Projetos de pesquisa
Busca meta-heurística de soluções para problemas de restrições matemáticas complexas
01/2009 - 06/2009Ensino, Nível: Graduação.
Disciplinas ministradas
Introdução a Programação
Teste e Depuração de Software
01/2008 - 06/2009Ensino, Ciências da Computação, Nível: Pós-Graduação.
Disciplinas ministradas
Teste e Depuração de Software
01/2008 - 12/2008Ensino, 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

Projetos de Pesquisa
2011 - 2014Extração e checagem de conformidade de modelos de features
Descrição: O desenvolvimento de software baseado em linhas de produtos de software é cada vez mais usado para dar suporte a alta demanda de variabilidade de código. Este projeto tem como fim propor e avaliar técnicas de análise para extrair modelos de features a partir do código e comparar modelos existentes com construídos de forma a indicar possíveis sinais de erros..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 3) Doutorado ( 1) .
Integrantes: Elton Alves - Integrante / Thiago Vieira - Integrante / Sabrina Souto - Integrante / Marcelo Bezerra d'Amorim - Coordenador.
.
2009 - 2012Busca meta-heurística de soluções para problemas de restrições matemáticas complexas
Descrição: Execução simbólica é uma técnica de geração de dados eficaz. A técnica usa solucionadores de restrições para apoiar a geração de dados. Para programas simples procedimentos de decisão são suficientes para gerar soluções. Entretanto, insuficiente para problemas com restrições envolvendo teorias indecidíveis. Este projeto usa busca meta-heurística e uma série de otimizações específica do domínio para melhorar resolução de restrição e, por consequência, o teste de software..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) .
Integrantes: Matheus Arrais - Integrante / Marcelo Bezerra d'Amorim - Coordenador.

Número de produções C, T & A: 2.
2009 - AtualOtimização de Tarantula com análise de dependência
Descrição: Este projeto tem como objetivo melhorar a localização de erros em software usando técnicas leve de depuração, como Tarantula. Uma forma de melhorar a depuração leve é combinar técnicas existentes que exploram características distintas de um cenário de erro..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 4) .
Integrantes: Elton Alves - Integrante / Thiago Vieira - Integrante / Marcelo Bezerra d'Amorim - Coordenador.
.
2009 - AtualOtimização do Teste de Mutação com Execução Delta
Descrição: Teste de mutação é reconhecidamente um técnica cara de avaliação de qualidade de uma suíte de testes. Várias otimizações foram propostas mas o custo de análise ainda é bastante alto. De acordo com estudo recente sobre a ferramenta JavaLanche a análise de mutantes pode levar horas mesmo para uma suíte que leva cerca de 5 minutos para executar. Este projeto tem como objetivo otimizar o teste de mutação com o uso de uma execução não tradicional chamada "Execução Delta" que conceitualmente permite executar um teste sobre vários estados (neste caso, mutantes) simultaneamente..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 1) .
Integrantes: Thiago Vieira - Integrante / Marcelo Bezerra d'Amorim - Coordenador.
.

Revisor de periódico
2009 - Atual Periódico: ACM Transactions on Software Engineering and Methodology

Á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: Linguagens de Programação.
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: Engenharia de Software.

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
2010Bolsa de Produtividade em Pesquisa - Nível 2, CNPQ.
20103o. premio de melhor artigo do SBLP-CbSoft, SBC.
2008Auxílio Enxoval e Bolsa de Pós-Doutorado, FACEPE-CNPQ.
2007Nomination for ACM Distinguished Paper Award (ISSTA'07), Association of Computer Machinery (ACM).
2006Nomination for ACM Distinguished Paper Award (ASE'06), Association of Computer Machinery (ACM).


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1. Takaki, Mitsuo ; Cavalcanti, Diego ; Gheyi, Rohit ; Iyoda, Juliano ; d Amorim, Marcelo ; Prudêncio, Ricardo B. C. ; d'Amorim, Marcelo . Randomized constraint solvers: a comparative study. Innovations in Systems and Software Engineering (Print), v. 6, p. 243-253, 2010.
2. Sobeih, 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.
3. d'Amorim, Marcelo ; Lauterburg, Steven ; Marinov, Darko . <![CDATA[Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs]]>. IEEE Transactions on Software Engineering, v. 34, p. 597-613, 2008.
4. DAMORIM, M ; Grigore Rosu . An Equational Specification for the Scheme Language. Journal of Universal Computer Science, v. 11, p. 1327-1348, 2005.
Trabalhos completos publicados em anais de congressos
1. 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.
2.   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.
3. 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.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9.   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.
10. 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.
11. 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.
12. CHEN, F ; DAMORIM, M ; ROSU, G . Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP1. In: Runtime Verification Workshop, 2006. Electronic Notes Theoretical Computer Science. v. 144. p. 3-20.
13. 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.
14.   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.
15. d'Amorim, Marcelo ; Havelund, Klaus . Event-based runtime verification of java programs. In: Workshop on Dynamic Analysis (WODA), 2005. Workshop on Dynamic Analysis (WODA). v. 30. p. 1-7.
16. 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.
17. 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.
18. 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.
19. 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.
20. 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. 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. Matheus Arrais ; Mateus Borges ; Corina Pasareanu ; Marcelo d'Amorim . CORAL: Solving Complex Constraints for Symbolic PathFinder. 2011. (Apresentação de Trabalho/Simpósio).
2. Thiago Vieira ; d'Amorim, Marcelo . Optimized Delta Execution for Efficient Mutation Testing. 2011. (Apresentação de Trabalho/Outra).
Demais tipos de produção bibliográfica
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.

Bancas
Participação em bancas examinadoras
Dissertações
1. 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.
2. 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.
3. 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.
4. 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.
5. 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. 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.
2. 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. 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.
2. 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.
3. 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 - 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 - 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 - 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 - 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 - Universidade Federal de Pernambuco.
Participação em bancas de comissões julgadoras
Outras participações
1. Marcelo d'Amorim. PC member - Brazilian Conference of Software - CBSoft (SBLP). 2011.
2. Marcelo d'Amorim. PC member - Brazilian Conference of Software - CBSoft (Tools). 2011.
3. Marcelo d'Amorim. PC member - Brazilian Conference of Software - CBSoft (SAST). 2011.
4. Marcelo d'Amorim. PC member - IEEE/ACM International Conference on Automated Software Engineering (ASE). 2011.
5. Marcelo d'Amorim. PC memmber - Brazilian Conference on Software - CBSoft (Tools). 2010.
6. Marcelo d'Amorim; Anamaria Martins Moreira. co-chair - Workshop on Systematic and Automated Software Testing (SAST). 2010.
7. Marcelo d'Amorim. PC member - Simpósio Brasileiro em Engenharia de Software - SBES. 2009.
8. Marcelo d'Amorim. PC member - Workshop on Systematic and Automated Software Testing - SAST. 2009.

Eventos
Participação em eventos
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. NFM (Nasa Formal Methods Conference).A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. 2009. (Congresso).
4. International Conference on Formal Engineering Methods. 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. SBLP.An Equational Specification for the Scheme Language.. 2005. (Simpósio).
11. ICSE (International Conference on Software Engineering).Event-Based Runtime Verification of Java Programs.. 2005. (Simpósio).
12. SBRC.A Design for JTrader, an Internet Trading Federation. 2001. (Simpósio).
Organização de eventos
1. d'Amorim, M. ; Anamaria Martins Moreira . SAST: Workshop on Systematic and Automated Software Testing. 2010. (Outro).

Orientações
Orientações em andamento
Dissertação de mestrado
1. Thiago Pereira de Brito Vieira. Análise e otimização do teste de mutação com execução delta. Início: 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).
2. Elton Alves. Improved Lightweight Debugging with Change Analysis. Início: 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).
Tese de doutorado
1. Sabrina de Figueiredo Souto. Checagem de modelos e testes de linhas de produtos de software. Início: 2011. 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).
Iniciação científica
1. Mateus de Araújo Borges. Solving Complex Constraint in Symbolic PathFinder. Início: 2010 - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).
Supervisões e orientações concluídas
Dissertação de mestrado
1. 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, . Co-Orientador: Marcelo Bezerra d'Amorim.
2. 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, . Co-Orientador: Marcelo Bezerra d'Amorim.
Página gerada pelo Sistema Currículo Lattes em 09/02/2012 às 21:19:02