Follow
Marcelo d'Amorim
Marcelo d'Amorim
Verified email at cin.ufpe.br - Homepage
Title
Cited by
Cited by
Year
Event-based runtime verification of Java programs
M d'Amorim, K Havelund
ACM SIGSOFT software engineering notes 30 (4), 1-7, 2005
1812005
Efficient Monitoring of ω-Languages
M d’Amorim, G Roşu
International Conference on Computer Aided Verification, 364-378, 2005
1502005
A formal monitoring-based framework for software development and analysis
F Chen, M d’Amorim, G Roşu
International Conference on Formal Engineering Methods, 357-372, 2004
892004
Static analysis of implicit control flow: Resolving Java reflection and Android intents (T)
P Barros, R Just, S Millstein, P Vines, W Dietl, M d'Amorim, MD Ernst
2015 30th IEEE/ACM International Conference on Automated Software†…, 2015
882015
CORAL: Solving complex constraints for symbolic pathfinder
M Souza, M Borges, M d’Amorim, CS Păsăreanu
NASA Formal Methods Symposium, 359-374, 2011
842011
Entropy-based test generation for improved fault localization
J Campos, R Abreu, G Fraser, M d'Amorim
2013 28th IEEE/ACM International Conference on Automated Software†…, 2013
832013
SPLat: Lightweight dynamic analysis for reducing combinatorics in testing configurable systems
CHP Kim, D Marinov, S Khurshid, D Batory, S Souto, P Barros, ...
Proceedings of the 2013 9th Joint Meeting on Foundations of Software†…, 2013
832013
An empirical comparison of automated generation and classification techniques for object-oriented unit testing
M d'Amorim, C Pacheco, T Xie, D Marinov, MD Ernst
21st IEEE/ACM International Conference on Automated Software Engineering†…, 2006
802006
Fault-localization using dynamic slicing and change impact analysis
E Alves, M Gligoric, V Jagannath, M d'Amorim
2011 26th IEEE/ACM International Conference on Automated Software†…, 2011
692011
Checking and correcting behaviors of Java programs at runtime with Java-MOP
F Chen, M d'Amorim, G Roşu
Electronic Notes in Theoretical Computer Science 144 (4), 3-20, 2006
672006
Compositional solution space quantification for probabilistic software analysis
M Borges, A Filieri, M d'Amorim, CS Păsăreanu, W Visser
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language†…, 2014
622014
Symbolic execution with interval solving and meta-heuristic search
M Borges, M d'Amorim, S Anand, D Bushnell, CS Pasareanu
2012 IEEE Fifth International Conference on Software Testing, Verification†…, 2012
572012
Delta execution for efficient state-space exploration of object-oriented programs
M d'Amorim, S Lauterburg, D Marinov
Proceedings of the 2007 international symposium on Software testing and†…, 2007
552007
Quantifying information leaks using reliability analysis
QS Phan, P Malacaria, CS Păsăreanu, M d'Amorim
Proceedings of the 2014 International SPIN Symposium on Model Checking of†…, 2014
542014
Automatically translating bug reports into test cases for mobile apps
M Fazzini, M Prammer, M d'Amorim, A Orso
Proceedings of the 27th ACM SIGSOFT International Symposium on Software†…, 2018
512018
What is the vocabulary of flaky tests?
G Pinto, B Miranda, S Dissanayake, M d'Amorim, C Treude, A Bertolino
Proceedings of the 17th International Conference on Mining Software†…, 2020
482020
Balancing soundness and efficiency for practical testing of configurable systems
S Souto, M d'Amorim, R Gheyi
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE†…, 2017
372017
Prevalence of single-fault fixes and its impact on fault localization
A Perez, R Abreu, M d'Amorim
2017 IEEE International Conference on Software Testing, Verification and†…, 2017
372017
Iterative distribution-aware sampling for probabilistic symbolic execution
M Borges, A Filieri, M d'Amorim, CS Păsăreanu
Proceedings of the 2015 10th Joint Meeting on Foundations of Software†…, 2015
312015
A comparative study of incremental constraint solving approaches in symbolic execution
T Liu, M Araķjo, M d’Amorim, M Taghdiri
Haifa Verification Conference, 284-299, 2014
312014
The system can't perform the operation now. Try again later.
Articles 1–20