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