Search the dblp DataBase

Publications of Author

1. Marcelo d'Amorim, Grigore Rosu
   Efficient Monitoring of omega-Languages. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:364-378 [Conf]
   
2. Feng Chen, Marcelo d'Amorim, Grigore Rosu
   A Formal Monitoring-Based Framework for Software Development and Analysis. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2004, pp:357-372 [Conf]
   
3. Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov
   Optimized Execution of Deterministic Blocks in Java PathFinder. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2006, pp:549-567 [Conf]
   
4. Marcelo d'Amorim, Carlos André Guimarães Ferraz
   A Design for JTrader, an Internet Trading Service. [Citation Graph (0, 0)][DBLP]
   IICS, 2001, pp:159-166 [Conf]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   ASE, 2006, pp:59-68 [Conf]
   
6. Feng Chen, Marcelo d'Amorim, Grigore Rosu
   Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:3-20 [Journal]
   
7. Marcelo d'Amorim, Grigore Rosu
   An Equational Specification for the Scheme Language. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2005, v:11, n:7, pp:1327-1348 [Journal]
   
8. Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
   Delta execution for efficient state-space exploration of object-oriented programs. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2007, pp:50-60 [Conf]
   
9. 
   State extensions for java pathfinder. [Citation Graph (, )][DBLP]
   
   
10. 
    An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. [Citation Graph (, )][DBLP]