Marcelo d'Amorim

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 50

Top Topics

Fault Localization

Top Venues

Publications

Ummay Kulsum, Haotian Zhu, Bowen Xu, Marcelo d'Amorim
A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback. CoRR (2024)
Sivana Hamer, Marcelo d'Amorim, Laurie A. Williams
Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers. SP (Workshops) (2024)
Ummay Kulsum, Haotian Zhu, Bowen Xu, Marcelo d'Amorim
A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback. AIware (2024)
Sivana Hamer, Marcelo d'Amorim, Laurie A. Williams
Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers. CoRR (2024)
Adriano Torres, Pedro Henrique Teixeira Costa, Luis Henrique Vieira Amaral, Jonata Pastro, Rodrigo Bonifácio, Marcelo d'Amorim, Owolabi Legunsen, Eric Bodden, Edna Dias Canedo
Runtime Verification of Crypto APIs: An Empirical Study. IEEE Trans. Software Eng. 49 (10) (2023)
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing. ASE (2023)
Denini Silva, Martin Gruber, Satyajit Gokhale, Ellen Arteca, Alexi Turcotte, Marcelo d'Amorim, Wing Lam, Stefan Winter, Jonathan Bell
The Effects of Computational Resources on Flaky Tests. CoRR (2023)
Rodrigo Lima, Keila Costa, Jairo Souza, Leopoldo Teixeira, Baldoino Fonseca, Marcelo d'Amorim, Márcio Ribeiro, Breno Miranda
Do you see any problem? On the Developers Perceptions in Test Smells Detection. SBQS (2023)
Brittany Reid, Marcelo d'Amorim, Markus Wagner, Christoph Treude
NCQ: Code Reuse Support for Node.js Developers. IEEE Trans. Software Eng. 49 (5) (2023)
Keila Barbosa, Ronivaldo Ferreira, Gustavo Pinto, Marcelo d'Amorim, Breno Miranda
Test Flakiness Across Programming Languages. IEEE Trans. Software Eng. 49 (4) (2023)
Brittany Reid, Markus Wagner, Marcelo d'Amorim, Christoph Treude
Software Engineering User Study Recruitment on Prolific: An Experience Report. CoRR (2022)
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
Fuzzing Class Specifications. CoRR (2022)
Andrea Stocco, Paulo J. Nunes, Marcelo d'Amorim, Paolo Tonella
ThirdEye: Attention Maps for Safe Autonomous Driving Systems. ASE (2022)
Patrick Bareiß, Beatriz Souza, Marcelo d'Amorim, Michael Pradel
Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code. CoRR (2022)
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
Fuzzing Class Specifications. ICSE (2022)
Lucas Cabral, Breno Miranda, Igor Lima, Marcelo d'Amorim
RVprio: A tool for prioritizing runtime verification violations. Softw. Test. Verification Reliab. 32 (5) (2022)
Lucas Alcantara, Guilherme Padilha, Rui Abreu, Marcelo d'Amorim
Syrius: Synthesis of Rules for Intrusion Detectors. IEEE Trans. Reliab. 71 (1) (2022)
Sofia Reis, Rui Abreu, Marcelo d'Amorim, Daniel Fortunato
Leveraging Practitioners' Feedback to Improve a Security Linter. ASE (2022)
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. ICSE (2021)
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. CoRR (2021)
Marcello Cordeiro, Denini Silva, Leopoldo Teixeira, Breno Miranda, Marcelo d'Amorim
Shaker: a Tool for Detecting More Flaky Tests Faster. ASE (2021)
Igor Lima, Jefferson Silva, Breno Miranda, Gustavo Pinto, Marcelo d'Amorim
Exposing bugs in JavaScript engines through test transplantation and differential testing. Softw. Qual. J. 29 (1) (2021)
Luis Melo, Igor Wiese, Marcelo d'Amorim
Using Docker to Assist Q&A Forum Users. IEEE Trans. Software Eng. 47 (11) (2021)
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. ICSE (Companion Volume) (2021)
Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Marcio Augusto Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca
Identifying method-level mutation subsumption relations using Z3. Inf. Softw. Technol. 132 (2021)
Leopoldo Teixeira, Breno Miranda, Henrique Rebêlo, Marcelo d'Amorim
Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification. ICST (2021)
Shouvick Mondal, Denini Silva, Marcelo d'Amorim
Soundy Automated Parallelization of Test Execution. ICSME (2021)
Brittany Reid, Keila Barbosa, Marcelo d'Amorim, Markus Wagner, Christoph Treude
NCQ: code reuse support for Node.js developers. CoRR (2021)
Daniela S. Costa, Carlos A. B. Mello, Marcelo d'Amorim
A comparative study on methods and tools for handwritten mathematical expression recognition. DocEng (2021)
Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim
Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker. ICSME (2020)
Marcelo d'Amorim, Rui Abreu, Carlos Mello
Visual sketching: from image sketches to code. ICSE (NIER) (2020)
Marcio Augusto Guimarães, Leonardo Fernandes, Márcio Ribeiro, Marcelo d'Amorim, Rohit Gheyi
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations. ICST (2020)
Igor Lima, Jefferson Silva, Breno Miranda, Gustavo Pinto, Marcelo d'Amorim
Exposing Bugs in JavaScript Engines through Test Transplantation and Differential Testing. CoRR (2020)
Igor Lima, Jeanderson Cândido, Marcelo d'Amorim
Practical detection of CMS plugin conflicts in large plugin sets. Inf. Softw. Technol. 118 (2020)
Gustavo Pinto, Breno Miranda, Supun Dissanayake, Marcelo d'Amorim, Christoph Treude, Antonia Bertolino
What is the Vocabulary of Flaky Tests? MSR (2020)
Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim
Prioritizing Runtime Verification Violations. ICST (2020)
João Batista Pereira Matos Jr., Lucas Carvalho Cordeiro, Marcelo d'Amorim, Xiaowei Huang
Generating Adversarial Inputs Using A Black-box Differential Technique. CoRR (2020)
Sofia Reis, Rui Abreu, Marcelo d'Amorim
Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization. IJCAI (2019)
Davino Mauro Junior, Luis Melo, Hao Lu, Marcelo d'Amorim, Atul Prakash
A Study of Vulnerability Analysis of Popular Smart Devices Through Their Companion Apps. IEEE Symposium on Security and Privacy Workshops (2019)
Xiangyu Li, Marcelo d'Amorim, Alessandro Orso
Intent-Preserving Test Repair. ICST (2019)
Davino Mauro Junior, Luis Melo, Harvey Lu, Marcelo d'Amorim, Atul Prakash
Beware of the App! On the Vulnerability Surface of Smart Devices through their Companion Apps. CoRR (2019)
Xiangyu Li, Shaowei Zhu, Marcelo d'Amorim, Alessandro Orso
Enlightened debugging. ICSE (2018)
Sabrina Souto, Marcelo d'Amorim
Time-space efficient regression testing for configurable systems. J. Syst. Softw. 137 (2018)
Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, Alessandro Orso
Automatically translating bug reports into test cases for mobile apps. ISSTA (2018)
Sabrina Souto, Marcelo d'Amorim
Time-Space Efficient Regression Testing for Configurable Systems. CoRR (2017)
Tao Xie, Yuanfang Cai, Xuanzhe Liu, Xiaoyin Wang, Mithun P. Acharya, Marcelo d'Amorim, Xiaoxing Ma
Preface. J. Comput. Sci. Technol. 32 (6) (2017)
Jeanderson Cândido, Luis Melo, Marcelo d'Amorim
Test suite parallelization in open-source projects: a study on its usage and impact. ASE (2017)
Sabrina Souto, Marcelo d'Amorim, Rohit Gheyi
Balancing soundness and efficiency for practical testing of configurable systems. ICSE (2017)
Alexandre Perez, Rui Abreu, Marcelo d'Amorim
Prevalence of Single-Fault Fixes and Its Impact on Fault Localization. ICST (2017)
Xiangyu Li, Marcelo d'Amorim, Alessandro Orso
Iterative User-Driven Fault Localization. Haifa Verification Conference (2016)
Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu
Iterative distribution-aware sampling for probabilistic symbolic execution. ESEC/SIGSOFT FSE (2015)
Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory
Faster bug detection for software product lines with incomplete feature models. SPLC (2015)
Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, Michael D. Ernst
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T). ASE (2015)
Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser
Compositional solution space quantification for probabilistic software analysis. PLDI (2014)
Tianhai Liu, Mateus Araújo, Marcelo d'Amorim, Mana Taghdiri
A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution. Haifa Verification Conference (2014)
Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim
Quantifying information leaks using reliability analysis. SPIN (2014)
Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira, Roberto da Silva Bigonha
Efficient static checker for tainted variable attacks. Sci. Comput. Program. 80 (2014)
Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don S. Batory, Sabrina Souto, Paulo Barros, Marcelo d'Amorim
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. ESEC/SIGSOFT FSE (2013)
José Campos, Rui Abreu, Gordon Fraser, Marcelo d'Amorim
Entropy-based test generation for improved fault localization. ASE (2013)
Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu
Symbolic Execution with Interval Solving and Meta-heuristic Search. ICST (2012)
Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira
Tainted Flow Analysis on e-SSA-Form Programs. CC (2011)
Elton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim
Fault-localization using dynamic slicing and change impact analysis. ASE (2011)
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina S. Pasareanu
CORAL: Solving Complex Constraints for Symbolic PathFinder. NASA Formal Methods (2011)
Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
Assertion Checking in J-Sim Simulation Models of Network Protocols. Simul. 86 (11) (2010)
Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio
Randomized constraint solvers: a comparative study. Innov. Syst. Softw. Eng. 6 (3) (2010)
Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio
A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. NASA Formal Methods (2009)
Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. ICST (2009)
Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs. IEEE Trans. Software Eng. 34 (5) (2008)
Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid
State extensions for java pathfinder. ICSE (2008)
Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
Delta execution for efficient state-space exploration of object-oriented programs. ISSTA (2007)
Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov
Optimized Execution of Deterministic Blocks in Java PathFinder. ICFEM (2006)
Feng Chen, Marcelo d'Amorim, Grigore Rosu
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. Electron. Notes Theor. Comput. Sci. 144 (4) (2006)
Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst
An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. ASE (2006)
Marcelo d'Amorim, Grigore Rosu
An Equational Specification for the Scheme Language. J. Univers. Comput. Sci. 11 (7) (2005)
Marcelo d'Amorim, Grigore Rosu
Efficient Monitoring of omega-Languages. CAV (2005)
Marcelo d'Amorim, Klaus Havelund
Event-based runtime verification of java programs. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Feng Chen, Marcelo d'Amorim, Grigore Rosu
A Formal Monitoring-Based Framework for Software Development and Analysis. ICFEM (2004)
Marcelo d'Amorim, Carlos André Guimarães Ferraz
A Design for JTrader, an Internet Trading Service. IICS (2001)