Marcelo d’Amorim

Publications by Year

Research Areas

Software Testing and Debugging Techniques, Software Engineering Research, Software Reliability and Analysis Research, Advanced Malware Detection Techniques, Formal Methods in Verification

Most-Cited Works

• → Event-based runtime verification of java programs(2005)114 cited
• → SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems(2013)98 cited
• → What is the Vocabulary of Flaky Tests?(2020)92 cited
• → Efficient Monitoring of ω-Languages(2005)83 cited
• → Automatically translating bug reports into test cases for mobile apps(2018)79 cited
• → Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T)(2015)78 cited
• → Entropy-based test generation for improved fault localization(2013)68 cited
• → CORAL: Solving Complex Constraints for Symbolic PathFinder(2011)68 cited
• → A Formal Monitoring-Based Framework for Software Development and Analysis(2004)65 cited
• → Fault-localization using dynamic slicing and change impact analysis(2011)60 cited