| 2008 |
|---|
| 11 | EE | Tihomir Gvero,
Milos Gligoric,
Steven Lauterburg,
Marcelo d'Amorim,
Darko Marinov,
Sarfraz Khurshid:
State extensions for java pathfinder.
ICSE 2008: 863-866 |
| 10 | EE | Marcelo d'Amorim,
Steven Lauterburg,
Darko Marinov:
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs.
IEEE Trans. Software Eng. 34(5): 597-613 (2008) |
| 2007 |
|---|
| 9 | EE | Marcelo d'Amorim,
Steven Lauterburg,
Darko Marinov:
Delta execution for efficient state-space exploration of object-oriented programs.
ISSTA 2007: 50-60 |
| 2006 |
|---|
| 8 | EE | Marcelo d'Amorim,
Carlos Pacheco,
Tao Xie,
Darko Marinov,
Michael D. Ernst:
An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing.
ASE 2006: 59-68 |
| 7 | EE | Marcelo d'Amorim,
Ahmed Sobeih,
Darko Marinov:
Optimized Execution of Deterministic Blocks in Java PathFinder.
ICFEM 2006: 549-567 |
| 6 | EE | Feng Chen,
Marcelo d'Amorim,
Grigore Rosu:
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP.
Electr. Notes Theor. Comput. Sci. 144(4): 3-20 (2006) |
| 2005 |
|---|
| 5 | EE | Marcelo d'Amorim,
Grigore Rosu:
Efficient Monitoring of omega-Languages.
CAV 2005: 364-378 |
| 4 | EE | Marcelo d'Amorim,
Klaus Havelund:
Event-based runtime verification of java programs.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| 3 | EE | Marcelo d'Amorim,
Grigore Rosu:
An Equational Specification for the Scheme Language.
J. UCS 11(7): 1327-1348 (2005) |
| 2004 |
|---|
| 2 | EE | Feng Chen,
Marcelo d'Amorim,
Grigore Rosu:
A Formal Monitoring-Based Framework for Software Development and Analysis.
ICFEM 2004: 357-372 |
| 2001 |
|---|
| 1 | EE | Marcelo d'Amorim,
Carlos André Guimarães Ferraz:
A Design for JTrader, an Internet Trading Service.
IICS 2001: 159-166 |
