Marcelo d’Amorim - Concepedia

Author

Marcelo d’Amorim

Universidade Federal de Pernambuco ORCID

Also Known As

D'Amorim, Marcelo, D’AMORIM, Marcelo, M. d'Amorim, Marcelo D'Amorim, Marcelo D’Amorim, Marcelo d'Amorim, Marcelo d’Amorim, d'Amorim, Marcelo

111

Publications

1.9K

Citations

H-Index

Concepts

All Affiliations

Universidade Federal de Pernambuco University of Illinois Urbana-Champaign Ames Research Center North Carolina State University Georgia Institute of Technology

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	22	35	1.4K
2	Computer Engineering	13	14	443
3	Language Studies	2	2	120
4	Cognitive Science	1	1	42
5	Communication	1	1	78

Marcelo d’Amorim

Publications

1.5K

Citations

H-Index

Page 1

	Year	Citations
Event-based runtime verification of java programs Marcelo d’Amorim, Klaus Havelund ACM SIGSOFT Software Engineering Notes Program CheckingEngineeringVerificationSoftware EngineeringEvent-based Runtime Verification	2005	114
What is the Vocabulary of Flaky Tests? Gustavo Pinto, Breno Miranda, Supun Dissanayake, EngineeringRegression Test SuitesDiagnosisPsycholinguisticsLanguage Learning	2020	91
Automatically translating bug reports into test cases for mobile apps Mattia Fazzini, Martin Prammer, Marcelo d’Amorim, Software MaintenanceEngineeringBug ReportsSoftware EngineeringSoftware Analysis	2018	79
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T) Paulo Barros, René Just, Suzanne Millstein, Mobile SecurityEngineeringInformation SecurityImplicit Control FlowSoftware Engineering	2015	78
Entropy-based test generation for improved fault localization José Campos, Rui Abreu, Gordon Fraser, EngineeringUnderlying Genetic AlgorithmVerificationDiagnosisTest Data Generation	2013	68
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Software MaintenanceMany ProgramsConfigurable SystemsEngineeringLightweight Dynamic Analysis	2013	67
Fault-localization using dynamic slicing and change impact analysis Elton Alves, Milos Gligoric, Vilas Jagannath, Software MaintenanceEngineeringVerificationSoftware EngineeringSoftware Analysis	2011	60
An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing Marcelo d’Amorim, Carlos Pacheco, Tao Xie, Software MaintenanceEngineeringVerificationTest Data GenerationSoftware Engineering	2006	59
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP Feng Chen, Marcelo d’Amorim, Grigore Roşu Electronic Notes in Theoretical Computer Science Software MaintenanceMonitoring-oriented ProgrammingProgram CheckingEngineeringVerification	2006	55
Compositional solution space quantification for probabilistic software analysis Mateus Borges, Antonio Filieri, Marcelo d’Amorim, Software MaintenanceEngineeringVerificationSoftware EngineeringSoftware Analysis	2014	48

Page 1