Marcelo Bezerra d'Amorim

Pós-doutorado

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• ALCANTARA, L. ; PADILHA, G. ; ABREU, RUI ; DAMORIM, M . Syrius: Synthesis of Rules for Intrusion Detectors. IEEE TRANSACTIONS ON RELIABILITY , v. 71, p. 370-381, 2022.

• CABRAL, LUCAS ; MIRANDA, BRENO ; LIMA, IGOR ; d'Amorim, Marcelo . RVprio: A tool for prioritizing runtime verification violations. SOFTWARE TESTING VERIFICATION & RELIABILITY , v. 32, p. ---, 2022.

• LIMA, I. ; SILVA, J. ; MIRANDA, B. ; PINTO, G. ; D?AMORIM, MARCELO . Exposing bugs in JavaScript engines through test transplantation and differential testing. SOFTWARE QUALITY JOURNAL (ONLINE) , v. -, p. -, 2021.

• Gheyi, Rohit ; RIBEIRO, MÁRCIO ; SOUZA, BEATRIZ ; GUIMARÃES, MARCIO ; FERNANDES, LEO ; D?AMORIM, MARCELO ; ALVES, VANDER ; TEIXEIRA, LEOPOLDO ; FONSECA, BALDOINO . Identifying method-level mutation subsumption relations using Z3. INFORMATION AND SOFTWARE TECHNOLOGY , v. 132, p. 106496, 2021.

• LIMA, IGOR ; CÂNDIDO, JEANDERSON ; D?AMORIM, MARCELO . Practical detection of CMS plugin conflicts in large plugin sets. INFORMATION AND SOFTWARE TECHNOLOGY , v. 118, p. 106212, 2020.

• MELO, LUIS ; WIESE, IGOR SCALIANTE ; DAMORIM, MARCELO . Using Docker to Assist Q&A Forum Users. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , v. 118, p. 1-1, 2019.

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

• XIE, 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.

• BORGES, MATEUS ; FILIERI, ANTONIO ; d'Amorim, Marcelo ; P'S'REANU, CORINA S. ; VISSER, WILLEM . Compositional solution space quantification for probabilistic software analysis. ACM SIGPLAN NOTICES , v. 49, p. 123-132, 2014.

• RIMSA, 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.

• 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.

• Takaki, 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.

• d'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.

• CHEN, 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.

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

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

• 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.

• 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.

• MOLINA, FACUNDO ; d'Amorim, Marcelo ; AGUIRRE, NAZARENO . Fuzzing class specifications. In: ICSE '22: 44th International Conference on Software Engineering, 2022, Pittsburgh Pennsylvania. Proceedings of the 44th International Conference on Software Engineering. New York: ACM. p. 1008.

• REIS, SOFIA ; ABREU, R. ; DAMORIM, MARCELO ; FORTUNATO, D. . Leveraging Practitioners' Feedback to Improve a Security Linter. In: International Conference on Automated Software Engineering, 2022, Michigan. International Conference on Automated Software Engineering, 2022.

• STOCCO, A. ; NUNES, P. ; DAMORIM, MARCELO ; TONELLA, P. . ThirdEye: Attention Maps for Safe Autonomous Driving Systems (. In: International Conference on Automated Software Engineering, 2022. International Conference on Automated Software Engineering, 2022.

• TEIXEIRA, LEOPOLDO ; MIRANDA, BRENO ; REBELO, HENRIQUE ; d'Amorim, Marcelo . Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification. In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021, Porto de Galinhas. 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021. p. 82.

• HENKEL, JORDAN ; SILVA, DENINI ; TEIXEIRA, LEOPOLDO ; d'Amorim, Marcelo ; REPS, THOMAS . Shipwright: A Human-in-the-Loop System for Dockerfile Repair. In: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, Madrid. 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021. p. 1148.

• MONDAL, SHOUVICK ; SILVA, DENINI ; d'Amorim, Marcelo . Soundy Automated Parallelization of Test Execution. In: 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2021, Luxembourg. 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2021. p. 309.

• GUIMARAES, MARCIO AUGUSTO ; FERNANDES, LEO ; RIBEIRO, MARCIO ; d'Amorim, Marcelo ; Gheyi, Rohit . Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations. In: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), 2020, Porto. 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), 2020. p. 198.

• MIRANDA, BRENO ; LIMA, IGOR ; LEGUNSEN, OWOLABI ; d'Amorim, Marcelo . Prioritizing Runtime Verification Violations. In: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), 2020, Porto. 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), 2020. p. 297.

• d'Amorim, Marcelo ; ABREU, RUI ; MELLO, CARLOS . Visual sketching. In: ICSE '20: 42nd International Conference on Software Engineering, 2020, Seoul South Korea. Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results. New York: ACM. p. 101.

• PINTO, GUSTAVO ; MIRANDA, BRENO ; DISSANAYAKE, SUPUN ; d'Amorim, Marcelo ; TREUDE, CHRISTOPH ; BERTOLINO, ANTONIA . What is the Vocabulary of Flaky Tests?. In: MSR '20: 17th International Conference on Mining Software Repositories, 2020, Seoul Republic of Korea. Proceedings of the 17th International Conference on Mining Software Repositories. p. 492.

• SILVA, DENINI ; TEIXEIRA, LEOPOLDO ; d'Amorim, Marcelo . Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker. In: 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2020, Adelaide. 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2020. p. 301.

• Li, Xiangyu ; d'Amorim, Marcelo ; Orso, Alessandro . Intent-Preserving Test Repair. In: 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST), 2019, Xi'an. 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST), 2019. p. 217.

• REIS, SOFIA ; ABREU, RUI ; d'Amorim, Marcelo . Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization. In: TwentyEighth International Joint Conference on Artificial Intelligence {IJCAI19}, 2019, Macao. Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2019. p. 4760.

• MAURO JUNIOR, DAVINO ; MELO, LUIS ; LU, HAO ; DAMORIM, MARCELO ; PRAKASH, ATUL . A Study of Vulnerability Analysis of Popular Smart Devices Through Their Companion Apps. In: 2019 IEEE Security and Privacy Workshops (SPW), 2019, San Francisco. 2019 IEEE Security and Privacy Workshops (SPW), 2019. p. 181.

• 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.

• Li, Xiangyu ; ZHU, SHAOWEI ; d'Amorim, Marcelo ; Orso, Alessandro . Enlightened debugging. In: the 40th International Conference, 2018, Gothenburg. Proceedings of the 40th International Conference on Software Engineering - ICSE '18. New York: ACM Press, 2018. p. 82-92.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• BORGES, MATEUS ; FILIERI, ANTONIO ; d'Amorim, Marcelo ; P'S'REANU, CORINA S. ; VISSER, WILLEM . Compositional solution space quantification for probabilistic software analysis. In: the 35th ACM SIGPLAN Conference, 2013, Edinburgh. Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14, 2014. p. 123-132.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• CORDEIRO, MARCELLO ; SILVA, DENINI ; TEIXEIRA, LEOPOLDO ; MIRANDA, BRENO ; d'Amorim, Marcelo . Shaker: a Tool for Detecting More Flaky Tests Faster. In: 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, Melbourne. 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021. p. 1281.

• HENKEL, JORDAN ; SILVA, DENINI ; TEIXEIRA, LEOPOLDO ; d'Amorim, Marcelo ; REPS, THOMAS . Shipwright: A Human-in-the-Loop System for Dockerfile Repair. In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSECompanion), 2021, Madrid. 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021. p. 198.

• 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.

• 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.

• BARBOSA, K. ; FERREIRA, R. ; PINTO, G. ; DAMORIM, MARCELO ; MIRANDA, B. . Test Flakiness Across Programming Languages. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , 2022.

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

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

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

• 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).

Outras produções

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 - Coordenador / Darko Marinov - Integrante / Kiev Gama - Integrante / Paulo André da Silva Gonçalves - Integrante / José Augusto Suruagy Monteiro - Integrante / Atul Prakash - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Cooperação.

• 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. , Integrantes: Marcelo Bezerra d'Amorim - Coordenador / Sabrina Souto - Integrante / Don Batory - Integrante., Financiador(es): (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 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.

• 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. , Integrantes: Marcelo Bezerra d'Amorim - Coordenador / Paulo Barros - Integrante / Martin Rinard - Integrante., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro.

• 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. , Integrantes: Marcelo Bezerra d'Amorim - Integrante / Sérgio Soares - Integrante / Paulo Borba - Coordenador / Andre Santos - Integrante / Ana Carolina Salgado - Integrante / Carlos Ferraz - Integrante / Silvio Meira - Integrante / Alexandre Mota - Integrante / Fernando Jose Castor de Lima Filho - Integrante / Márcio Cornélio - Integrante / Adriano Lorena - Integrante / Kiev Gama - Integrante / RICARDO LIMA - Integrante / JONES ALBUQUERQUE - Integrante / FÁBIO QUEDA BUENO DA SILVA - Integrante / VINICIUS CARDOSO GARCIA - Integrante / LEOPOLDO TEIXEIRA - Integrante / Ricardo Rocha Amorim - Integrante / Patricia Tedesco - Integrante / Henrique Rebelo - Integrante / Alberto França - Integrante.

• 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: (2) . , 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. , Integrantes: Marcelo Bezerra d'Amorim - Integrante / Paulo Borba - Integrante / Augusto Alves Sampaio - Integrante / Silvio Meira - Coordenador / Alexandre Mota - Integrante / Patricia Machado - Integrante / Iyoda, Juliano - Integrante / Prudêncio, Ricardo B. C. - Integrante / Eduardo Henrique da Silva Aranha - Integrante / Márcio Cornélio - Integrante / Flávia Barros - Integrante / Adriano Lorena - Integrante / Eduardo Almeida - Integrante., Financiador(es): (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / (FACEPE) Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro.

• 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): (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / (FACEPE) Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro.

• 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. , Integrantes: Marcelo Bezerra d'Amorim - Integrante / Sérgio Soares - Integrante / Paulo Borba - Integrante / Augusto Alves Sampaio - Integrante / Andre Santos - Integrante / Silvio Meira - Coordenador / Rohit Gheyi - Integrante / Anamaria Martins Moreira - Integrante / Fernando Jose Castor de Lima Filho - Integrante / Tiago Massoni - Integrante / David Déharbe - Integrante / Martin Alejandro Musicante - Integrante.

Prêmios