Marcelo d'Amorim

According to our database, Marcelo d'Amorim authored at least 70 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers.

Sivana Hamer, Marcelo d'Amorim, Laurie Williams

CoRR, 2024

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., October, 2023

Test Flakiness Across Programming Languages.

Keila Barbosa, Ronivaldo Ferreira, Gustavo Pinto, Marcelo d'Amorim, Breno Miranda

IEEE Trans. Software Eng., April, 2023

NCQ: Code Reuse Support for Node.js Developers.

Brittany Reid, Marcelo d'Amorim, Markus Wagner, Christoph Treude

IEEE Trans. Software Eng., 2023

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

CoRR, 2023

Do you see any problem? On the Developers Perceptions in Test Smells Detection.

Rodrigo Lima, Keila Costa, Jairo Souza, Leopoldo Teixeira, Baldoino Fonseca, Marcelo d'Amorim, Márcio Ribeiro, Breno Miranda

Proceedings of the XXII Brazilian Symposium on Software Quality, 2023

SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing.

Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

Syrius: Synthesis of Rules for Intrusion Detectors.

Lucas A. M. De Alcantara, Guilherme Padilha, Rui Abreu, Marcelo d'Amorim

IEEE Trans. Reliab., 2022

RVprio: A tool for prioritizing runtime verification violations.

Lucas Cabral, Breno Miranda, Igor Lima, Marcelo d'Amorim

Softw. Test. Verification Reliab., 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

Software Engineering User Study Recruitment on Prolific: An Experience Report.

Brittany Reid, Markus Wagner, Marcelo d'Amorim, Christoph Treude

CoRR, 2022

Leveraging Practitioners' Feedback to Improve a Security Linter.

Sofia Reis, Rui Abreu, Marcelo d'Amorim, Daniel Fortunato

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

ThirdEye: Attention Maps for Safe Autonomous Driving Systems.

Andrea Stocco, Paulo J. Nunes, Marcelo d'Amorim, Paolo Tonella

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Fuzzing Class Specifications.

Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Using Docker to Assist Q&A Forum Users.

Luis Melo, Igor Wiese, Marcelo d'Amorim

IEEE Trans. Software Eng., 2021

Exposing bugs in JavaScript engines through test transplantation and differential testing.

Igor Lima, Jefferson Silva, Breno Miranda, Gustavo Pinto, Marcelo d'Amorim

Softw. Qual. J., 2021

Identifying method-level mutation subsumption relations using Z3.

Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Marcio Augusto Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca

Inf. Softw. Technol., 2021

NCQ: code reuse support for Node.js developers.

Brittany Reid, Keila Barbosa, Marcelo d'Amorim, Markus Wagner, Christoph Treude

CoRR, 2021

Shaker: a Tool for Detecting More Flaky Tests Faster.

Marcello Cordeiro, Denini Silva, Leopoldo Teixeira, Breno Miranda, Marcelo d'Amorim

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification.

Leopoldo Teixeira, Breno Miranda, Henrique Rebêlo, Marcelo d'Amorim

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Soundy Automated Parallelization of Test Execution.

Shouvick Mondal, Denini Silva, Marcelo d'Amorim

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

Shipwright: A Human-in-the-Loop System for Dockerfile Repair.

Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

A comparative study on methods and tools for handwritten mathematical expression recognition.

Daniela S. Costa, Carlos A. B. Mello, Marcelo d'Amorim

Proceedings of the DocEng '21: ACM Symposium on Document Engineering 2021, 2021

2020

Practical detection of CMS plugin conflicts in large plugin sets.

Igor Lima, Jeanderson Cândido, Marcelo d'Amorim

Inf. Softw. Technol., 2020

Generating Adversarial Inputs Using A Black-box Differential Technique.

João Batista Pereira Matos Jr., Lucas Carvalho Cordeiro, Marcelo d'Amorim, Xiaowei Huang

CoRR, 2020

What is the Vocabulary of Flaky Tests?

Gustavo Pinto, Breno Miranda, Supun Dissanayake, Marcelo d'Amorim, Christoph Treude, Antonia Bertolino

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

Prioritizing Runtime Verification Violations.

Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations.

Marcio Augusto Guimarães, Leonardo Fernandes, Márcio Ribeiro, Marcelo d'Amorim, Rohit Gheyi

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker.

Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Visual sketching: from image sketches to code.

Marcelo d'Amorim, Rui Abreu, Carlos A. B. Mello

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

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

CoRR, 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

Proceedings of the 2019 IEEE Security and Privacy Workshops, 2019

Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization.

Sofia Reis, Rui Abreu, Marcelo d'Amorim

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Intent-Preserving Test Repair.

Xiangyu Li, Marcelo d'Amorim, Alessandro Orso

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

2018

Time-space efficient regression testing for configurable systems.

Sabrina Souto, Marcelo d'Amorim

J. Syst. Softw., 2018

Automatically translating bug reports into test cases for mobile apps.

Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, Alessandro Orso

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Enlightened debugging.

Xiangyu Li, Shaowei Zhu, Marcelo d'Amorim, Alessandro Orso

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Preface.

Tao Xie, Yuanfang Cai, Xuanzhe Liu, Xiaoyin Wang, Mithun P. Acharya, Marcelo d'Amorim, Xiaoxing Ma

J. Comput. Sci. Technol., 2017

Test suite parallelization in open-source projects: a study on its usage and impact.

Jeanderson Cândido, Luis Melo, Marcelo d'Amorim

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Prevalence of Single-Fault Fixes and Its Impact on Fault Localization.

Alexandre Perez, Rui Abreu, Marcelo d'Amorim

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Balancing soundness and efficiency for practical testing of configurable systems.

Sabrina Souto, Marcelo d'Amorim, Rohit Gheyi

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Iterative User-Driven Fault Localization.

Xiangyu Li, Marcelo d'Amorim, Alessandro Orso

Proceedings of the Hardware and Software: Verification and Testing, 2016

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

Proceedings of the 19th International Conference on Software Product Line, 2015

Iterative distribution-aware sampling for probabilistic symbolic execution.

Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

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

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

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

Quantifying information leaks using reliability analysis.

Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Compositional solution space quantification for probabilistic software analysis.

Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution.

Tianhai Liu, Mateus Araújo, Marcelo d'Amorim, Mana Taghdiri

Proceedings of the Hardware and Software: Verification and Testing, 2014

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

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Entropy-based test generation for improved fault localization.

José Campos, Rui Abreu, Gordon Fraser, Marcelo d'Amorim

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

Symbolic Execution with Interval Solving and Meta-heuristic Search.

Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

CORAL: Solving Complex Constraints for Symbolic PathFinder.

Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina S. Pasareanu

Proceedings of the NASA Formal Methods, 2011

Fault-localization using dynamic slicing and change impact analysis.

Elton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Tainted Flow Analysis on e-SSA-Form Programs.

Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira

Proceedings of the Compiler Construction - 20th International Conference, 2011

2010

Assertion Checking in J-Sim Simulation Models of Network Protocols.

Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou

Simul., 2010

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

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

Proceedings of the First NASA Formal Methods Symposium, 2009

An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs.

Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs.

Marcelo d'Amorim, Steven Lauterburg, Darko Marinov

IEEE Trans. Software Eng., 2008

State extensions for java pathfinder.

Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data

Marcelo d'Amorim

PhD thesis, 2007

2006

An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing.

Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Optimized Execution of Deterministic Blocks in Java PathFinder.

Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Event-based runtime verification of java programs.

Marcelo d'Amorim, Klaus Havelund

ACM SIGSOFT Softw. Eng. Notes, 2005

An Equational Specification for the Scheme Language.

Marcelo d'Amorim, Grigore Rosu

J. Univers. Comput. Sci., 2005

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP.

Feng Chen, Marcelo d'Amorim, Grigore Rosu

Proceedings of the Fifth Workshop on Runtime Verification, 2005

Efficient Monitoring of omega-Languages.

Marcelo d'Amorim, Grigore Rosu

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

A Formal Monitoring-Based Framework for Software Development and Analysis.

Feng Chen, Marcelo d'Amorim, Grigore Rosu

Proceedings of the Formal Methods and Software Engineering, 2004

2001

A Design for JTrader, an Internet Trading Service.

Marcelo d'Amorim, Carlos André Guimarães Ferraz

Proceedings of the Innovative Internet Computing Systems, 2001