Marcelo d'Amorim
Marcelo d'Amorim
Verified email at - Homepage
TitleCited byYear
Event-based runtime verification of Java programs
M d'Amorim, K Havelund
ACM SIGSOFT software engineering notes 30 (4), 1-7, 2005
Efficient Monitoring of ω-Languages
M d’Amorim, G Roşu
International Conference on Computer Aided Verification, 364-378, 2005
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
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
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
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
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
Entropy-based test generation for improved fault localization
J Campos, R Abreu, G Fraser, M d'Amorim
Proceedings of the 28th IEEE/ACM International Conference on Automated …, 2013
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
Compositional solution space quantification for probabilistic software analysis
M Borges, A Filieri, M d'Amorim, CS Păsăreanu, W Visser
ACM SIGPLAN Notices 49 (6), 123-132, 2014
Delta execution for efficient state-space exploration of object-oriented programs
M d'Amorim, S Lauterburg, D Marinov
IEEE Transactions on Software Engineering 34 (5), 597-613, 2008
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
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
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
Tainted flow analysis on e-SSA-form programs
A Rimsa, M d’Amorim, FMQ Pereira
International Conference on Compiler Construction, 124-143, 2011
An empirical evaluation of automated black box testing techniques for crashing guis
C Bertolini, G Peres, M d'Amorim, A Mota
2009 International Conference on Software Testing Verification and …, 2009
An Equational Specification for the Scheme Language.
M d'Amorim, G Rosu
J. UCS 11 (7), 1327-1348, 2005
Integrating code generation and refactoring
M d’Amorim, C Nogueira, G Santos, A Souza, P Borba
Workshop on Generative Programming, ECOOP 2, 2002
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
Delta execution for software reliability
Y Zhou, D Marinov, W Sanders, C Zilles, M d’Amorim, S Lauterburg, ...
Hot Topics in Dependability, 2007
The system can't perform the operation now. Try again later.
Articles 1–20