Marcelo d'Amorim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
34
Venues
13
Active years
2004–2026
Best venue rank
A*
Where they publish
Papers
34 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AST | Improving Deep Learning Library Testing with Machine Learning. | Facundo Molina, M. M. Abid Naziri, Feiran (Alex) Qin, Alessandra Gorla, Marcelo d'Amorim |
| 2026 | ICST | How Effective Is Coverage-Guided Fuzzing to Test Deep Learning Library APIs? | Feiran Alex Qin, M. M. Abid Naziri, Hengyu Ai, Saikat Dutta, Marcelo d'Amorim |
| 2026 | MSR | Learning Compiler Fuzzing Mutators from Historical Bugs. | Lingjun Liu, Feiran (Alex) Qin, Owolabi Legunsen, Marcelo d'Amorim |
| 2026 | MSR | An Empirical Analysis of Cross-OS Portability Issues in Python Projects. | Denini Gabriel Silva, MohamadAli Farahat, Marcelo d'Amorim |
| 2025 | ISSTA | 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, Marcelo d'Amorim |
| 2024 | ICST | 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, Jonathan Bell |
| 2024 | ISSTA | Feedback-Directed Partial Execution. | Ishrak Hayet, Adam Scott, Marcelo d'Amorim |
| 2024 | SP | Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers. | Sivana Hamer, Marcelo d'Amorim, Laurie A. Williams |
| 2022 | ICSE | Fuzzing Class Specifications. | Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre |
| 2021 | DocEng | A comparative study on methods and tools for handwritten mathematical expression recognition. | Daniela S. Costa, Carlos A. B. Mello, Marcelo d'Amorim |
| 2021 | ICSE | Shipwright: A Human-in-the-Loop System for Dockerfile Repair. | Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps |
| 2021 | ICSE | Shipwright: A Human-in-the-Loop System for Dockerfile Repair. | Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps |
| 2021 | ICST | Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification. | Leopoldo Teixeira, Breno Miranda, Henrique Reblo, Marcelo d'Amorim |
| 2020 | ICSE | Visual sketching: from image sketches to code. | Marcelo d'Amorim, Rui Abreu, Carlos A. B. Mello |
| 2020 | ICST | Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations. | Marcio Augusto Guimares, Leonardo Fernandes, Mrcio Ribeiro, Marcelo d'Amorim, Rohit Gheyi |
| 2020 | ICST | Prioritizing Runtime Verification Violations. | Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim |
| 2020 | MSR | What is the Vocabulary of Flaky Tests? | Gustavo Pinto, Breno Miranda, Supun Dissanayake, Marcelo d'Amorim, Christoph Treude, Antonia Bertolino |
| 2019 | IJCAI | Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization. | Sofia Reis, Rui Abreu, Marcelo d'Amorim |
| 2019 | ICST | Intent-Preserving Test Repair. | Xiangyu Li, Marcelo d'Amorim, Alessandro Orso |
| 2019 | SP | 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 |
| 2018 | ICSE | Enlightened debugging. | Xiangyu Li, Shaowei Zhu, Marcelo d'Amorim, Alessandro Orso |
| 2018 | ISSTA | Automatically translating bug reports into test cases for mobile apps. | Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, Alessandro Orso |
| 2017 | ICSE | Balancing soundness and efficiency for practical testing of configurable systems. | Sabrina Souto, Marcelo d'Amorim, Rohit Gheyi |
| 2017 | ICST | Prevalence of Single-Fault Fixes and Its Impact on Fault Localization. | Alexandre Perez, Rui Abreu, Marcelo d'Amorim |
| 2015 | SPLC | 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 |
| 2014 | PLDI | Compositional solution space quantification for probabilistic software analysis. | Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser |
| 2012 | ICST | Symbolic Execution with Interval Solving and Meta-heuristic Search. | Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu |
| 2011 | CC | Tainted Flow Analysis on e-SSA-Form Programs. | Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quinto Pereira |
| 2009 | ICST | An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. | Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota |
| 2008 | ICSE | State extensions for java pathfinder. | Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid |
| 2007 | ISSTA | Delta execution for efficient state-space exploration of object-oriented programs. | Marcelo d'Amorim, Steven Lauterburg, Darko Marinov |
| 2006 | ICFEM | Optimized Execution of Deterministic Blocks in Java PathFinder. | Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov |
| 2005 | CAV | Efficient Monitoring of omega-Languages. | Marcelo d'Amorim, Grigore Rosu |
| 2004 | ICFEM | A Formal Monitoring-Based Framework for Software Development and Analysis. | Feng Chen, Marcelo d'Amorim, Grigore Rosu |