Marcelo d'Amorim

103 papers A* 17A 13B 3C 3Journal 48Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
Agentic LMs: Hunting Down Test Smells.
IEEE Softw.
Rian Melo, Pedro Simões, Rohit Gheyi, Marcelo d'Amorim, Márcio Ribeiro, Gustavo Soares, Eduardo Santana de Almeida, Elvys Soares
2026 J jnl
Code Quality Analysis of Translations from C to Rust.
CoRR
Biruk Tadesse, Vikram Nitin, Mazin Salah, Baishakhi Ray, Marcelo d'Amorim, Wesley Assunção
2026 J jnl
Configuration Defects in Kubernetes.
IEEE Trans. Software Eng.
Yue Zhang, Uchswas Paul, Marcelo d'Amorim, Akond Rahman
2026 J jnl
Improving Deep Learning Library Testing with Machine Learning.
CoRR
Facundo Molina, M. M. Abid Naziri, Feiran (Alex) Qin, Alessandra Gorla, Marcelo d'Amorim
2026 J jnl
SmartOracle - An Agentic Approach to Mitigate Noise in Differential Oracles.
CoRR
Srinath Srinivasan, Tim Menzies, Marcelo d'Amorim
2026 J jnl
Testing Deep Learning Libraries via Neurosymbolic Constraint Learning.
CoRR
M. M. Abid Naziri, Shinhae Kim, Feiran (Alex) Qin, Marcelo d'Amorim, Saikat Dutta
2026 J jnl
XMutant: XAI-based fuzzing for deep learning systems.
Empir. Softw. Eng.
Xingcheng Chen, Matteo Biagiola, Vincenzo Riccio, Marcelo d'Amorim, Andrea Stocco
2025 J jnl
A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation.
CoRR
Zhuohang Shen, Mohammed Yaseen, Denini Silva, Kevin Guan, Junho Lee, Marcelo d'Amorim, Owolabi Legunsen
2025 J jnl
Agentic SLMs: Hunting Down Test Smells.
CoRR
Rian Melo, Pedro Simões, Rohit Gheyi, Marcelo d'Amorim, Márcio Ribeiro, Gustavo Soares, Eduardo Almeida, Elvys Soares
2025 J jnl
Bug Histories as Sources of Compiler Fuzzing Mutators.
CoRR
Lingjun Liu, Feiran (Alex) Qin, Owolabi Legunsen, Marcelo d'Amorim
2025 — conf
BugsInDLLs : A Database of Reproducible Bugs in Deep Learning Libraries to Enable Systematic Evaluation of Testing Techniques.
ISSTA Companion
M. M. Abid Naziri, Aman Kumar Singh, Benjamin Wu, Feiran (Alex) Qin, Saikat Dutta, Marcelo d'Amorim
2025 J jnl
Challenges to Using Large Language Models in Code Generation and Repair.
IEEE Secur. Priv.
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, Katja Tuma
2025 J jnl
ChatAssert: LLM-Based Test Oracle Generation With External Tools Assistance.
IEEE Trans. Software Eng.
Ishrak Hayet, Adam Scott, Marcelo d'Amorim
2025 J jnl
Configuration Defects in Kubernetes.
CoRR
Yue Zhang, Uchswas Paul, Marcelo d'Amorim, Akond Rahman
2025 J jnl
Evaluating the Effectiveness of Coverage-Guided Fuzzing for Testing Deep Learning Library APIs.
CoRR
Feiran (Alex) Qin, M. M. Abid Naziri, Hengyu Ai, Saikat Dutta, Marcelo d'Amorim
2025 J jnl
Faster Explicit-Trace Monitoring-Oriented Programming for Runtime Verification of Software Tests.
Proc. ACM Program. Lang.
Kevin Guan, Marcelo d'Amorim, Owolabi Legunsen
2025 J jnl
Misbehavior Forecasting for Focused Autonomous Driving Systems Testing.
CoRR
M. M. Abid Naziri, Stefano Carlo Lambertenghi, Andrea Stocco, Marcelo d'Amorim
2025 J jnl
Test Oracle Automation in the Era of LLMs.
ACM Trans. Softw. Eng. Methodol.
Facundo Molina, Alessandra Gorla, Marcelo d'Amorim
2025 C conf
The Effects of Computational Resources on Flaky Tests.
Software Engineering
Denini Silva, Martin Gruber, Satyajit Gokhale, Ellen Arteca, Alexi Turcotte, Marcelo d'Amorim, Wing Lam, Stefan Winter, Jonathan Bell
2025 J jnl
XMutant: XAI-based Fuzzing for Deep Learning Systems.
CoRR
Xingcheng Chen, Matteo Biagiola, Vincenzo Riccio, Marcelo d'Amorim, Andrea Stocco
2024 — conf
A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback.
AIware
Ummay Kulsum, Haotian Zhu, Bowen Xu, Marcelo d'Amorim
2024 J jnl
A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback.
CoRR
Ummay Kulsum, Haotian Zhu, Bowen Xu, Marcelo d'Amorim
2024 — ed.
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, FSE 2024, Porto de Galinhas, Brazil, July 15-19, 2024
SIGSOFT FSE Companion
Marcelo d'Amorim
2024 A conf
Feedback-Directed Partial Execution.
ISSTA
Ishrak Hayet, Adam Scott, Marcelo d'Amorim
2024 — conf
Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers.
SP (Workshops)
Sivana Hamer, Marcelo d'Amorim, Laurie A. Williams
2024 J jnl
Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers.
CoRR
Sivana Hamer, Marcelo d'Amorim, Laurie A. Williams
2024 — conf
The Effects of Computational Resources on Flaky Tests.
ICSTW
Denini Silva, Martin Gruber, Satyajit Gokhale, Ellen Arteca, Alexi Turcotte, Marcelo d'Amorim, Wing Lam, Stefan Winter, Jonathan Bell
2024 J jnl
The Effects of Computational Resources on Flaky Tests.
IEEE Trans. Software Eng.
Denini Silva, Martin Gruber, Satyajit Gokhale, Ellen Arteca, Alexi Turcotte, Marcelo d'Amorim, Wing Lam, Stefan Winter, Jonathan Bell
2023 — conf
Do you see any problem? On the Developers Perceptions in Test Smells Detection.
SBQS
Rodrigo Lima, Keila Costa, Jairo Souza, Leopoldo Teixeira, Baldoino Fonseca, Marcelo d'Amorim, Márcio Ribeiro, Breno Miranda
2023 J jnl
NCQ: Code Reuse Support for Node.js Developers.
IEEE Trans. Software Eng.
Brittany Reid, Marcelo d'Amorim, Markus Wagner, Christoph Treude
2023 J jnl
Runtime Verification of Crypto APIs: An Empirical Study.
IEEE Trans. Software Eng.
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
2023 A* conf
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing.
ASE
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
2023 J jnl
Test Flakiness Across Programming Languages.
IEEE Trans. Software Eng.
Keila Barbosa, Ronivaldo Ferreira, Gustavo Pinto, Marcelo d'Amorim, Breno Miranda
2023 J jnl
The Effects of Computational Resources on Flaky Tests.
CoRR
Denini Silva, Martin Gruber, Satyajit Gokhale, Ellen Arteca, Alexi Turcotte, Marcelo d'Amorim, Wing Lam, Stefan Winter, Jonathan Bell
2022 J jnl
Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code.
CoRR
Patrick Bareiß, Beatriz Souza, Marcelo d'Amorim, Michael Pradel
2022 A* conf
Fuzzing Class Specifications.
ICSE
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
2022 J jnl
Fuzzing Class Specifications.
CoRR
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
2022 A* conf
Leveraging Practitioners' Feedback to Improve a Security Linter.
ASE
Sofia Reis, Rui Abreu, Marcelo d'Amorim, Daniel Fortunato
2022 J jnl
RVprio: A tool for prioritizing runtime verification violations.
Softw. Test. Verification Reliab.
Lucas Cabral, Breno Miranda, Igor Lima, Marcelo d'Amorim
2022 J jnl
Software Engineering User Study Recruitment on Prolific: An Experience Report.
CoRR
Brittany Reid, Markus Wagner, Marcelo d'Amorim, Christoph Treude
2022 J jnl
Syrius: Synthesis of Rules for Intrusion Detectors.
IEEE Trans. Reliab.
Lucas A. M. De Alcantara, Guilherme Padilha, Rui Abreu, Marcelo d'Amorim
2022 A* conf
ThirdEye: Attention Maps for Safe Autonomous Driving Systems.
ASE
Andrea Stocco, Paulo J. Nunes, Marcelo d'Amorim, Paolo Tonella
2021 B conf
A comparative study on methods and tools for handwritten mathematical expression recognition.
DocEng
Daniela S. Costa, Carlos A. B. Mello, Marcelo d'Amorim
2021 A conf
Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification.
ICST
Leopoldo Teixeira, Breno Miranda, Henrique Rebêlo, Marcelo d'Amorim
2021 J jnl
Exposing bugs in JavaScript engines through test transplantation and differential testing.
Softw. Qual. J.
Igor Lima, Jefferson Silva, Breno Miranda, Gustavo Pinto, Marcelo d'Amorim
2021 J jnl
Identifying method-level mutation subsumption relations using Z3.
Inf. Softw. Technol.
Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Marcio Augusto Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca
2021 J jnl
NCQ: code reuse support for Node.js developers.
CoRR
Brittany Reid, Keila Barbosa, Marcelo d'Amorim, Markus Wagner, Christoph Treude
2021 A* conf
Shaker: a Tool for Detecting More Flaky Tests Faster.
ASE
Marcello Cordeiro, Denini Silva, Leopoldo Teixeira, Breno Miranda, Marcelo d'Amorim
2021 A* conf
Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
ICSE
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
2021 — conf
Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
ICSE (Companion Volume)
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
2021 J jnl
Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
CoRR
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
2021 A conf
Soundy Automated Parallelization of Test Execution.
ICSME
Shouvick Mondal, Denini Silva, Marcelo d'Amorim
2021 J jnl
Using Docker to Assist Q&A Forum Users.
IEEE Trans. Software Eng.
Luis Melo, Igor Wiese, Marcelo d'Amorim
2020 J jnl
Exposing Bugs in JavaScript Engines through Test Transplantation and Differential Testing.
CoRR
Igor Lima, Jefferson Silva, Breno Miranda, Gustavo Pinto, Marcelo d'Amorim
2020 J jnl
Generating Adversarial Inputs Using A Black-box Differential Technique.
CoRR
João Batista Pereira Matos Jr., Lucas Carvalho Cordeiro, Marcelo d'Amorim, Xiaowei Huang
2020 A conf
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations.
ICST
Marcio Augusto Guimarães, Leonardo Fernandes, Márcio Ribeiro, Marcelo d'Amorim, Rohit Gheyi
2020 J jnl
Practical detection of CMS plugin conflicts in large plugin sets.
Inf. Softw. Technol.
Igor Lima, Jeanderson Cândido, Marcelo d'Amorim
2020 A conf
Prioritizing Runtime Verification Violations.
ICST
Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim
2020 A conf
Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker.
ICSME
Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim
2020 — conf
Visual sketching: from image sketches to code.
ICSE (NIER)
Marcelo d'Amorim, Rui Abreu, Carlos A. B. Mello
2020 A conf
What is the Vocabulary of Flaky Tests?
MSR
Gustavo Pinto, Breno Miranda, Supun Dissanayake, Marcelo d'Amorim, Christoph Treude, Antonia Bertolino
2019 — conf
A Study of Vulnerability Analysis of Popular Smart Devices Through Their Companion Apps.
IEEE Symposium on Security and Privacy Workshops
Davino Mauro Junior, Luis Melo, Hao Lu, Marcelo d'Amorim, Atul Prakash
2019 J jnl
Beware of the App! On the Vulnerability Surface of Smart Devices through their Companion Apps.
CoRR
Davino Mauro Junior, Luis Melo, Harvey Lu, Marcelo d'Amorim, Atul Prakash
2019 A* conf
Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization.
IJCAI
Sofia Reis, Rui Abreu, Marcelo d'Amorim
2019 A conf
Intent-Preserving Test Repair.
ICST
Xiangyu Li, Marcelo d'Amorim, Alessandro Orso
2018 A conf
Automatically translating bug reports into test cases for mobile apps.
ISSTA
Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, Alessandro Orso
2018 A* conf
Enlightened debugging.
ICSE
Xiangyu Li, Shaowei Zhu, Marcelo d'Amorim, Alessandro Orso
2018 J jnl
Time-space efficient regression testing for configurable systems.
J. Syst. Softw.
Sabrina Souto, Marcelo d'Amorim
2017 A* conf
Balancing soundness and efficiency for practical testing of configurable systems.
ICSE
Sabrina Souto, Marcelo d'Amorim, Rohit Gheyi
2017 J jnl
Preface.
J. Comput. Sci. Technol.
Tao Xie, Yuanfang Cai, Xuanzhe Liu, Xiaoyin Wang, Mithun P. Acharya, Marcelo d'Amorim, Xiaoxing Ma
2017 A conf
Prevalence of Single-Fault Fixes and Its Impact on Fault Localization.
ICST
Alexandre Perez, Rui Abreu, Marcelo d'Amorim
2017 A* conf
Test suite parallelization in open-source projects: a study on its usage and impact.
ASE
Jeanderson Cândido, Luis Melo, Marcelo d'Amorim
2017 J jnl
Time-Space Efficient Regression Testing for Configurable Systems.
CoRR
Sabrina Souto, Marcelo d'Amorim
2016 — conf
Iterative User-Driven Fault Localization.
Haifa Verification Conference
Xiangyu Li, Marcelo d'Amorim, Alessandro Orso
2015 B conf
Faster bug detection for software product lines with incomplete feature models.
SPLC
Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory
2015 — conf
Iterative distribution-aware sampling for probabilistic symbolic execution.
ESEC/SIGSOFT FSE
Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu
2015 A* conf
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T).
ASE
Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, Michael D. Ernst
2014 — conf
A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution.
Haifa Verification Conference
Tianhai Liu, Mateus Araújo, Marcelo d'Amorim, Mana Taghdiri
2014 A* conf
Compositional solution space quantification for probabilistic software analysis.
PLDI
Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser
2014 J jnl
Efficient static checker for tainted variable attacks.
Sci. Comput. Program.
Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira, Roberto da Silva Bigonha
2014 — conf
Quantifying information leaks using reliability analysis.
SPIN
Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim
2013 A* conf
Entropy-based test generation for improved fault localization.
ASE
José Campos, Rui Abreu, Gordon Fraser, Marcelo d'Amorim
2013 — conf
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems.
ESEC/SIGSOFT FSE
Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don S. Batory, Sabrina Souto, Paulo Barros, Marcelo d'Amorim
2012 A conf
Symbolic Execution with Interval Solving and Meta-heuristic Search.
ICST
Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu
2011 — conf
CORAL: Solving Complex Constraints for Symbolic PathFinder.
NASA Formal Methods
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina S. Pasareanu
2011 A* conf
Fault-localization using dynamic slicing and change impact analysis.
ASE
Elton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim
2011 B conf
Tainted Flow Analysis on e-SSA-Form Programs.
CC
Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira
2010 J jnl
Assertion Checking in J-Sim Simulation Models of Network Protocols.
Simul.
Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
2010 J jnl
Randomized constraint solvers: a comparative study.
Innov. Syst. Softw. Eng.
Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio
2009 — conf
A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing.
NASA Formal Methods
Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio
2009 A conf
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs.
ICST
Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota
2008 J jnl
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs.
IEEE Trans. Software Eng.
Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
2008 A* conf
State extensions for java pathfinder.
ICSE
Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid
2007 A conf
Delta execution for efficient state-space exploration of object-oriented programs.
ISSTA
Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
2007 — —
Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data
Marcelo d'Amorim
2006 A* conf
An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing.
ASE
Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst
2006 C conf
Optimized Execution of Deterministic Blocks in Java PathFinder.
ICFEM
Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov
2005 J jnl
An Equational Specification for the Scheme Language.
J. Univers. Comput. Sci.
Marcelo d'Amorim, Grigore Rosu
2005 — conf
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP.
RV@CAV
Feng Chen, Marcelo d'Amorim, Grigore Rosu
2005 A* conf
Efficient Monitoring of omega-Languages.
CAV
Marcelo d'Amorim, Grigore Rosu
2005 J jnl
Event-based runtime verification of java programs.
ACM SIGSOFT Softw. Eng. Notes
Marcelo d'Amorim, Klaus Havelund
2004 C conf
A Formal Monitoring-Based Framework for Software Development and Analysis.
ICFEM
Feng Chen, Marcelo d'Amorim, Grigore Rosu
2001 — conf
A Design for JTrader, an Internet Trading Service.
IICS
Marcelo d'Amorim, Carlos André Guimarães Ferraz