Concepedia

Marcelo d’Amorim

MD

43

Publications

1.5K

Citations

23

H-Index

2005

Active since

Affiliations

Universidade Federal de Pernambuco(Current)

University of Illinois Urbana-Champaign

Ames Research Center

North Carolina State University

Georgia Institute of Technology

Marcelo d’Amorim is an author at Universidade Federal de Pernambuco specializing in engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware TestingSoftware EngineeringFormal VerificationFormal MethodsVerificationSoftware Design

Publications per year

2005–2025

43

Publications

43

Event-based runtime verification of java programs

Marcelo d’Amorim, Klaus Havelund · ACM SIGSOFT Software Engineering Notes · 2005 · 114 citations

Program Checking, Engineering, Verification +17

What is the Vocabulary of Flaky Tests?

Gustavo Pinto, Breno Miranda, Supun Dissanayake et al. · 2020 · 91 citations

Engineering, Regression Test Suites, Diagnosis +20

Automatically translating bug reports into test cases for mobile apps

Mattia Fazzini, Martin Prammer, Marcelo d’Amorim et al. · 2018 · 79 citations

Software Maintenance, Engineering, Bug Reports +18

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T)

Paulo Barros, René Just, Suzanne Millstein et al. · 2015 · 78 citations

Mobile Security, Engineering, Information Security +24

Entropy-based test generation for improved fault localization

José Campos, Rui Abreu, Gordon Fraser et al. · 2013 · 68 citations

Engineering, Underlying Genetic Algorithm, Verification +23

Rows per page

1–5 of 43