A Design for JTrader, an Internet Trading Service. - Marcelo d'Amorim; Carlos André Guimarães Ferraz (IICS, 2001)

A Formal Monitoring-Based Framework for Software Development and Analysis. - Feng Chen 006; Marcelo d'Amorim; Grigore Rosu (ICFEM, 2004)

Efficient Monitoring of omega-Languages. - Marcelo d'Amorim; Grigore Rosu (CAV, 2005)

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. - Feng Chen 006; Marcelo d'Amorim; Grigore Rosu (RV@CAV, 2005)

An Equational Specification for the Scheme Language. - Marcelo d'Amorim; Grigore Rosu (J. Univers. Comput. Sci., 2005)

Event-based runtime verification of java programs. - Marcelo d'Amorim; Klaus Havelund (ACM SIGSOFT Softw. Eng. Notes, 2005)

Optimized Execution of Deterministic Blocks in Java PathFinder. - Marcelo d'Amorim; Ahmed Sobeih; Darko Marinov (ICFEM, 2006)

An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. - Marcelo d'Amorim; Carlos Pacheco; Tao Xie 001; Darko Marinov; Michael D. Ernst (ASE, 2006)

Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data - Marcelo d'Amorim (2007)

State extensions for java pathfinder. - Tihomir Gvero; Milos Gligoric 001; Steven Lauterburg; Marcelo d'Amorim; Darko Marinov; Sarfraz Khurshid (ICSE, 2008)

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs. - Marcelo d'Amorim; Steven Lauterburg; Darko Marinov (IEEE Trans. Software Eng., 2008)

An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. - Cristiano Bertolini; Glaucia Peres; Marcelo d'Amorim; Alexandre Mota 001 (ICST, 2009)

A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. - Mitsuo Takaki; Diego Cavalcanti; Rohit Gheyi; Juliano Iyoda; Marcelo d'Amorim; Ricardo Bastos Cavalcante Prudêncio (NASA Formal Methods, 2009)

Randomized constraint solvers: a comparative study. - Mitsuo Takaki; Diego Cavalcanti; Rohit Gheyi; Juliano Iyoda; Marcelo d'Amorim; Ricardo Bastos Cavalcante Prudêncio (Innov. Syst. Softw. Eng., 2010)

Assertion Checking in J-Sim Simulation Models of Network Protocols. - Ahmed Sobeih; Marcelo d'Amorim; Mahesh Viswanathan 001; Darko Marinov; Jennifer C. Hou (Simul., 2010)

Tainted Flow Analysis on e-SSA-Form Programs. - Andrei Rimsa; Marcelo d'Amorim; Fernando Magno Quintão Pereira (CC, 2011)

Fault-localization using dynamic slicing and change impact analysis. - Elton Alves; Milos Gligoric 001; Vilas Jagannath; Marcelo d'Amorim (ASE, 2011)

CORAL: Solving Complex Constraints for Symbolic PathFinder. - Matheus Souza 003; Mateus Borges; Marcelo d'Amorim; Corina S. Pasareanu (NASA Formal Methods, 2011)

Symbolic Execution with Interval Solving and Meta-heuristic Search. - Mateus Borges; Marcelo d'Amorim; Saswat Anand; David H. Bushnell; Corina S. Pasareanu (ICST, 2012)

Entropy-based test generation for improved fault localization. - José Campos 001; Rui Abreu 001; Gordon Fraser 001; Marcelo d'Amorim (ASE, 2013)

SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. - Chang Hwan Peter Kim; Darko Marinov; Sarfraz Khurshid; Don S. Batory; Sabrina Souto; Paulo Barros; Marcelo d'Amorim (ESEC/SIGSOFT FSE, 2013)

A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution. - Tianhai Liu; Mateus Araújo; Marcelo d'Amorim; Mana Taghdiri (Haifa Verification Conference, 2014)

Compositional solution space quantification for probabilistic software analysis. - Mateus Borges; Antonio Filieri; Marcelo d'Amorim; Corina S. Pasareanu; Willem Visser (PLDI, 2014)

Quantifying information leaks using reliability analysis. - Quoc-Sang Phan; Pasquale Malacaria; Corina S. Pasareanu; Marcelo d'Amorim (SPIN, 2014)

Efficient static checker for tainted variable attacks. - Andrei Rimsa; Marcelo d'Amorim; Fernando Magno Quintão Pereira; Roberto da Silva Bigonha (Sci. Comput. Program., 2014)

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T). - Paulo Barros; René Just; Suzanne Millstein; Paul Vines; Werner Dietl; Marcelo d'Amorim; Michael D. Ernst (ASE, 2015)

Iterative distribution-aware sampling for probabilistic symbolic execution. - Mateus Borges; Antonio Filieri; Marcelo d'Amorim; Corina S. Pasareanu (ESEC/SIGSOFT FSE, 2015)

Faster bug detection for software product lines with incomplete feature models. - Sabrina Souto; Divya Gopinath; Marcelo d'Amorim; Darko Marinov; Sarfraz Khurshid; Don S. Batory (SPLC, 2015)

Iterative User-Driven Fault Localization. - Xiangyu Li 001; Marcelo d'Amorim; Alessandro Orso (Haifa Verification Conference, 2016)

Balancing soundness and efficiency for practical testing of configurable systems. - Sabrina Souto; Marcelo d'Amorim; Rohit Gheyi (ICSE, 2017)

Prevalence of Single-Fault Fixes and Its Impact on Fault Localization. - Alexandre Perez; Rui Abreu 001; Marcelo d'Amorim (ICST, 2017)

Test suite parallelization in open-source projects: a study on its usage and impact. - Jeanderson Cândido; Luis Melo; Marcelo d'Amorim (ASE, 2017)

Preface. - Tao Xie 001; Yuanfang Cai; Xuanzhe Liu; Xiaoyin Wang; Mithun P. Acharya; Marcelo d'Amorim; Xiaoxing Ma (J. Comput. Sci. Technol., 2017)

Enlightened debugging. - Xiangyu Li 001; Shaowei Zhu 001; Marcelo d'Amorim; Alessandro Orso (ICSE, 2018)

Automatically translating bug reports into test cases for mobile apps. - Mattia Fazzini; Martin Prammer; Marcelo d'Amorim; Alessandro Orso (ISSTA, 2018)

Time-space efficient regression testing for configurable systems. - Sabrina Souto; Marcelo d'Amorim (J. Syst. Softw., 2018)

Intent-Preserving Test Repair. - Xiangyu Li 001; Marcelo d'Amorim; Alessandro Orso (ICST, 2019)

Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization. - Sofia Reis; Rui Abreu 001; Marcelo d'Amorim (IJCAI, 2019)

A Study of Vulnerability Analysis of Popular Smart Devices Through Their Companion Apps. - Davino Mauro Junior; Luis Melo; Hao Lu; Marcelo d'Amorim; Atul Prakash 001 (IEEE Symposium on Security and Privacy Workshops, 2019)

Beware of the App! On the Vulnerability Surface of Smart Devices through their Companion Apps. - Davino Mauro Junior; Luis Melo; Harvey Lu; Marcelo d'Amorim; Atul Prakash 001 (CoRR, 2019)

Visual sketching: from image sketches to code. - Marcelo d'Amorim; Rui Abreu 001; Carlos A. B. Mello (ICSE (NIER), 2020)

Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker. - Denini Silva; Leopoldo Teixeira; Marcelo d'Amorim (ICSME, 2020)

Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations. - Marcio Augusto Guimarães; Leonardo Fernandes; Márcio Ribeiro 001; Marcelo d'Amorim; Rohit Gheyi (ICST, 2020)

Prioritizing Runtime Verification Violations. - Breno Miranda; Igor Lima; Owolabi Legunsen; Marcelo d'Amorim (ICST, 2020)

What is the Vocabulary of Flaky Tests? - Gustavo Pinto 001; Breno Miranda; Supun Dissanayake; Marcelo d'Amorim; Christoph Treude; Antonia Bertolino (MSR, 2020)

Generating Adversarial Inputs Using A Black-box Differential Technique. - João Batista Pereira Matos Jr.; Lucas Carvalho Cordeiro; Marcelo d'Amorim; Xiaowei Huang 001 (CoRR, 2020)

Practical detection of CMS plugin conflicts in large plugin sets. - Igor Lima; Jeanderson Cândido; Marcelo d'Amorim (Inf. Softw. Technol., 2020)

A comparative study on methods and tools for handwritten mathematical expression recognition. - Daniela S. Costa; Carlos A. B. Mello; Marcelo d'Amorim (DocEng, 2021)

Shipwright: A Human-in-the-Loop System for Dockerfile Repair. - Jordan Henkel; Denini Silva; Leopoldo Teixeira; Marcelo d'Amorim; Thomas W. Reps (ICSE, 2021)

Soundy Automated Parallelization of Test Execution. - Shouvick Mondal; Denini Silva; Marcelo d'Amorim (ICSME, 2021)

Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification. - Leopoldo Teixeira; Breno Miranda; Henrique Rebêlo; Marcelo d'Amorim (ICST, 2021)

Shaker: a Tool for Detecting More Flaky Tests Faster. - Marcello Cordeiro; Denini Silva; Leopoldo Teixeira; Breno Miranda; Marcelo d'Amorim (ASE, 2021)

NCQ: code reuse support for Node.js developers. - Brittany Reid; Keila Barbosa; Marcelo d'Amorim; Markus Wagner 007; Christoph Treude (CoRR, 2021)

Identifying method-level mutation subsumption relations using Z3. - Rohit Gheyi; Márcio Ribeiro 001; Beatriz Souza; Marcio Augusto Guimarães; Leo Fernandes; Marcelo d'Amorim; Vander Alves; Leopoldo Teixeira; Baldoino Fonseca (Inf. Softw. Technol., 2021)

Exposing bugs in JavaScript engines through test transplantation and differential testing. - Igor Lima; Jefferson Silva; Breno Miranda; Gustavo Pinto 001; Marcelo d'Amorim (Softw. Qual. J., 2021)

Using Docker to Assist Q&A Forum Users. - Luis Melo; Igor Wiese; Marcelo d'Amorim (IEEE Trans. Software Eng., 2021)

ICSE'21 Artifact for the paper Shipwright: A Human-in-the-Loop System for Dockerfile Repair. - Jordan Henkel; Denini Silva; Leopoldo Teixeira; Marcelo d'Amorim; Thomas W. Reps (Zenodo, 2021)

Fuzzing Class Specifications. - Facundo Molina; Marcelo d'Amorim; Nazareno Aguirre (ICSE, 2022)

ThirdEye: Attention Maps for Safe Autonomous Driving Systems. - Andrea Stocco 001; Paulo J. Nunes; Marcelo d'Amorim; Paolo Tonella (ASE, 2022)

Leveraging Practitioners' Feedback to Improve a Security Linter. - Sofia Reis; Rui Abreu 001; Marcelo d'Amorim; Daniel Fortunato (ASE, 2022)

Software Engineering User Study Recruitment on Prolific: An Experience Report. - Brittany Reid; Markus Wagner 007; Marcelo d'Amorim; Christoph Treude (CoRR, 2022)

Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code. - Patrick Bareiß; Beatriz Souza; Marcelo d'Amorim; Michael Pradel (CoRR, 2022)

RVprio: A tool for prioritizing runtime verification violations. - Lucas Cabral 002; Breno Miranda; Igor Lima; Marcelo d'Amorim (Softw. Test. Verification Reliab., 2022)

Syrius: Synthesis of Rules for Intrusion Detectors. - Lucas A. M. De Alcantara; Guilherme Padilha; Rui Abreu 001; Marcelo d'Amorim (IEEE Trans. Reliab., 2022)

SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing. - Facundo Molina; Marcelo d'Amorim; Nazareno Aguirre (ASE, 2023)

Do you see any problem? On the Developers Perceptions in Test Smells Detection. - Rodrigo Lima 002; Keila Costa; Jairo Souza; Leopoldo Teixeira; Baldoino Fonseca; Marcelo d'Amorim; Márcio Ribeiro 001; Breno Miranda (SBQS, 2023)

NCQ: Code Reuse Support for Node.js Developers. - Brittany Reid; Marcelo d'Amorim; Markus Wagner 007; Christoph Treude (IEEE Trans. Software Eng., 2023)

Test Flakiness Across Programming Languages. - Keila Barbosa; Ronivaldo Ferreira; Gustavo Pinto 001; Marcelo d'Amorim; Breno Miranda (IEEE Trans. Software Eng., 2023)

Runtime Verification of Crypto APIs: An Empirical Study. - 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 (IEEE Trans. Software Eng., 2023)

A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback. - Ummay Kulsum; Haotian Zhu; Bowen Xu; Marcelo d'Amorim (AIware, 2024)

Feedback-Directed Partial Execution. - Ishrak Hayet; Adam Scott; Marcelo d'Amorim (ISSTA, 2024)

Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers. - Sivana Hamer; Marcelo d'Amorim; Laurie A. Williams (SP (Workshops), 2024)

Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers. - Sivana Hamer; Marcelo d'Amorim; Laurie A. Williams (Zenodo, 2024)

The Effects of Computational Resources on Flaky Tests. - Denini Silva; Martin Gruber; Satyajit Gokhale; Ellen Arteca; Alexi Turcotte; Marcelo d'Amorim; Wing Lam; Stefan Winter 001; Jonathan Bell 001 (IEEE Trans. Software Eng., 2024)

BugsInDLLs : A Database of Reproducible Bugs in Deep Learning Libraries to Enable Systematic Evaluation of Testing Techniques. - M. M. Abid Naziri; Aman Kumar Singh; Benjamin Wu; Feiran (Alex) Qin; Saikat Dutta 001; Marcelo d'Amorim (ISSTA Companion, 2025)

Challenges to Using Large Language Models in Code Generation and Repair. - Liliana Pasquale; Antonino Sabetta; Marcelo d'Amorim; Péter Hegedüs; Mehdi Tarrit Mirakhorli; Hamed Okhravi; Mathias Payer; Awais Rashid; Joanna C. S. Santos; Jonathan M. Spring; Lin Tan 001; Katja Tuma (IEEE Secur. Priv., 2025)

ChatAssert: LLM-Based Test Oracle Generation With External Tools Assistance. - Ishrak Hayet; Adam Scott; Marcelo d'Amorim (IEEE Trans. Software Eng., 2025)

XMutant: XAI-based Fuzzing for Deep Learning Systems. - Xingcheng Chen; Matteo Biagiola; Vincenzo Riccio; Marcelo d'Amorim; Andrea Stocco 001 (CoRR, 2025)

Agentic SLMs: Hunting Down Test Smells. - Rian Melo; Pedro Simões; Rohit Gheyi; Marcelo d'Amorim; Márcio Ribeiro 001; Gustavo Soares; Eduardo Almeida; Elvys Soares (CoRR, 2025)

Test Oracle Automation in the Era of LLMs. - Facundo Molina; Alessandra Gorla; Marcelo d'Amorim (ACM Trans. Softw. Eng. Methodol., 2025)