default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarcelo d'Amorim
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c51]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- [c50]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. ICSTW 2024: 101 - [c49]Ishrak Hayet, Adam Scott, Marcelo d'Amorim:
Feedback-Directed Partial Execution. ISSTA 2024: 781-793 - [c48]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: 87-94 - [e1]Marcelo d'Amorim:
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, FSE 2024, Porto de Galinhas, Brazil, July 15-19, 2024. ACM 2024 [contents] - [d2]Sivana Hamer, Marcelo d'Amorim, Laurie A. Williams:
Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers. Zenodo, 2024
- [i12]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 abs/2403.15600 (2024) - [i11]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 abs/2405.15690 (2024) - 2023
- [j17]Keila Barbosa, Ronivaldo Ferreira, Gustavo Pinto, Marcelo d'Amorim, Breno Miranda:
Test Flakiness Across Programming Languages. IEEE Trans. Software Eng. 49(4): 2039-2052 (2023) - [j16]Brittany Reid, Marcelo d'Amorim, Markus Wagner, Christoph Treude:
NCQ: Code Reuse Support for Node.js Developers. IEEE Trans. Software Eng. 49(5): 3205-3225 (2023) - [j15]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): 4510-4525 (2023) - [c47]Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre:
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing. ASE 2023: 2094-2097 - [c46]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: 21-30 - [i10]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 abs/2310.12132 (2023) - 2022
- [j14]Lucas Cabral, Breno Miranda, Igor Lima, Marcelo d'Amorim:
RVprio: A tool for prioritizing runtime verification violations. Softw. Test. Verification Reliab. 32(5) (2022) - [j13]Lucas A. M. De Alcantara, Guilherme Padilha, Rui Abreu, Marcelo d'Amorim:
Syrius: Synthesis of Rules for Intrusion Detectors. IEEE Trans. Reliab. 71(1): 370-381 (2022) - [c45]Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre:
Fuzzing Class Specifications. ICSE 2022: 1008-1020 - [c44]Sofia Reis, Rui Abreu, Marcelo d'Amorim, Daniel Fortunato:
Leveraging Practitioners' Feedback to Improve a Security Linter. ASE 2022: 66:1-66:12 - [c43]Andrea Stocco, Paulo J. Nunes, Marcelo d'Amorim, Paolo Tonella:
ThirdEye: Attention Maps for Safe Autonomous Driving Systems. ASE 2022: 102:1-102:12 - [i9]Brittany Reid, Markus Wagner, Marcelo d'Amorim, Christoph Treude:
Software Engineering User Study Recruitment on Prolific: An Experience Report. CoRR abs/2201.05348 (2022) - [i8]Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre:
Fuzzing Class Specifications. CoRR abs/2201.10874 (2022) - [i7]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 abs/2206.01335 (2022) - 2021
- [j12]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: 106496 (2021) - [j11]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): 129-158 (2021) - [j10]Luis Melo, Igor Wiese, Marcelo d'Amorim:
Using Docker to Assist Q&A Forum Users. IEEE Trans. Software Eng. 47(11): 2563-2574 (2021) - [c42]Daniela S. Costa, Carlos A. B. Mello, Marcelo d'Amorim:
A comparative study on methods and tools for handwritten mathematical expression recognition. DocEng 2021: 26:1-26:4 - [c41]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: 198-199 - [c40]Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps:
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. ICSE 2021: 1148-1160 - [c39]Shouvick Mondal, Denini Silva, Marcelo d'Amorim:
Soundy Automated Parallelization of Test Execution. ICSME 2021: 309-319 - [c38]Leopoldo Teixeira, Breno Miranda, Henrique Rebêlo, Marcelo d'Amorim:
Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification. ICST 2021: 82-93 - [c37]Marcello Cordeiro, Denini Silva, Leopoldo Teixeira, Breno Miranda, Marcelo d'Amorim:
Shaker: a Tool for Detecting More Flaky Tests Faster. ASE 2021: 1281-1285 - [d1]Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps:
ICSE'21 Artifact for the paper Shipwright: A Human-in-the-Loop System for Dockerfile Repair. Zenodo, 2021 - [i6]Brittany Reid, Keila Barbosa, Marcelo d'Amorim, Markus Wagner, Christoph Treude:
NCQ: code reuse support for Node.js developers. CoRR abs/2101.00756 (2021) - [i5]Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps:
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. CoRR abs/2103.02591 (2021) - 2020
- [j9]Igor Lima, Jeanderson Cândido, Marcelo d'Amorim:
Practical detection of CMS plugin conflicts in large plugin sets. Inf. Softw. Technol. 118 (2020) - [c36]Marcelo d'Amorim, Rui Abreu, Carlos A. B. Mello:
Visual sketching: from image sketches to code. ICSE (NIER) 2020: 101-104 - [c35]Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim:
Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker. ICSME 2020: 301-311 - [c34]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: 198-208 - [c33]Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim:
Prioritizing Runtime Verification Violations. ICST 2020: 297-308 - [c32]Gustavo Pinto, Breno Miranda, Supun Dissanayake, Marcelo d'Amorim, Christoph Treude, Antonia Bertolino:
What is the Vocabulary of Flaky Tests? MSR 2020: 492-502 - [i4]João Batista Pereira Matos Jr., Lucas Carvalho Cordeiro, Marcelo d'Amorim, Xiaowei Huang:
Generating Adversarial Inputs Using A Black-box Differential Technique. CoRR abs/2007.05315 (2020) - [i3]Igor Lima, Jefferson Silva, Breno Miranda, Gustavo Pinto, Marcelo d'Amorim:
Exposing Bugs in JavaScript Engines through Test Transplantation and Differential Testing. CoRR abs/2012.03759 (2020)
2010 – 2019
- 2019
- [c31]Xiangyu Li, Marcelo d'Amorim, Alessandro Orso:
Intent-Preserving Test Repair. ICST 2019: 217-227 - [c30]Sofia Reis, Rui Abreu, Marcelo d'Amorim:
Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization. IJCAI 2019: 4760-4766 - [c29]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: 181-186 - [i2]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 abs/1901.10062 (2019) - 2018
- [j8]Sabrina Souto, Marcelo d'Amorim:
Time-space efficient regression testing for configurable systems. J. Syst. Softw. 137: 733-746 (2018) - [c28]Xiangyu Li, Shaowei Zhu, Marcelo d'Amorim, Alessandro Orso:
Enlightened debugging. ICSE 2018: 82-92 - [c27]Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, Alessandro Orso:
Automatically translating bug reports into test cases for mobile apps. ISSTA 2018: 141-152 - 2017
- [j7]Tao Xie, Yuanfang Cai, Xuanzhe Liu, Xiaoyin Wang, Mithun P. Acharya, Marcelo d'Amorim, Xiaoxing Ma:
Preface. J. Comput. Sci. Technol. 32(6): 1057-1059 (2017) - [c26]Sabrina Souto, Marcelo d'Amorim, Rohit Gheyi:
Balancing soundness and efficiency for practical testing of configurable systems. ICSE 2017: 632-642 - [c25]Alexandre Perez, Rui Abreu, Marcelo d'Amorim:
Prevalence of Single-Fault Fixes and Its Impact on Fault Localization. ICST 2017: 12-22 - [c24]Jeanderson Cândido, Luis Melo, Marcelo d'Amorim:
Test suite parallelization in open-source projects: a study on its usage and impact. ASE 2017: 838-848 - [i1]Sabrina Souto, Marcelo d'Amorim:
Time-Space Efficient Regression Testing for Configurable Systems. CoRR abs/1702.03457 (2017) - 2016
- [c23]Xiangyu Li, Marcelo d'Amorim, Alessandro Orso:
Iterative User-Driven Fault Localization. Haifa Verification Conference 2016: 82-98 - 2015
- [c22]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: 669-679 - [c21]Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu:
Iterative distribution-aware sampling for probabilistic symbolic execution. ESEC/SIGSOFT FSE 2015: 866-877 - [c20]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: 151-160 - 2014
- [j6]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: 91-105 (2014) - [c19]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: 284-299 - [c18]Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser:
Compositional solution space quantification for probabilistic software analysis. PLDI 2014: 123-132 - [c17]Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim:
Quantifying information leaks using reliability analysis. SPIN 2014: 105-108 - 2013
- [c16]José Campos, Rui Abreu, Gordon Fraser, Marcelo d'Amorim:
Entropy-based test generation for improved fault localization. ASE 2013: 257-267 - [c15]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: 257-267 - 2012
- [c14]Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu:
Symbolic Execution with Interval Solving and Meta-heuristic Search. ICST 2012: 111-120 - 2011
- [c13]Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira:
Tainted Flow Analysis on e-SSA-Form Programs. CC 2011: 124-143 - [c12]Elton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim:
Fault-localization using dynamic slicing and change impact analysis. ASE 2011: 520-523 - [c11]Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina S. Pasareanu:
CORAL: Solving Complex Constraints for Symbolic PathFinder. NASA Formal Methods 2011: 359-374 - 2010
- [j5]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): 243-253 (2010) - [j4]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): 651-673 (2010)
2000 – 2009
- 2009
- [c10]Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota:
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. ICST 2009: 21-30 - [c9]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: 56-65 - 2008
- [j3]Marcelo d'Amorim, Steven Lauterburg, Darko Marinov:
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs. IEEE Trans. Software Eng. 34(5): 597-613 (2008) - [c8]Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid:
State extensions for java pathfinder. ICSE 2008: 863-866 - 2007
- [b1]Marcelo d'Amorim:
Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data. University of Illinois Urbana-Champaign, USA, 2007 - [c7]Marcelo d'Amorim, Steven Lauterburg, Darko Marinov:
Delta execution for efficient state-space exploration of object-oriented programs. ISSTA 2007: 50-60 - 2006
- [c6]Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov:
Optimized Execution of Deterministic Blocks in Java PathFinder. ICFEM 2006: 549-567 - [c5]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: 59-68 - 2005
- [j2]Marcelo d'Amorim, Grigore Rosu:
An Equational Specification for the Scheme Language. J. Univers. Comput. Sci. 11(7): 1327-1348 (2005) - [j1]Marcelo d'Amorim, Klaus Havelund:
Event-based runtime verification of java programs. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [c4]Marcelo d'Amorim, Grigore Rosu:
Efficient Monitoring of omega-Languages. CAV 2005: 364-378 - [c3]Feng Chen, Marcelo d'Amorim, Grigore Rosu:
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. RV@CAV 2005: 3-20 - 2004
- [c2]Feng Chen, Marcelo d'Amorim, Grigore Rosu:
A Formal Monitoring-Based Framework for Software Development and Analysis. ICFEM 2004: 357-372 - 2001
- [c1]Marcelo d'Amorim, Carlos André Guimarães Ferraz:
A Design for JTrader, an Internet Trading Service. IICS 2001: 159-166
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
