See also: ACM, DBLP, Google Scholar Labels: J=Journal, C=Conference, D=Demo, T=Thesis, W=Workshop. Stats: #J=4, #C=13, #D=1, #T=1, #W=5

1. (C) Symbolic Execution with Interval Constraint Solving and Meta-heuristic Search. (.pdf) (TO APPEAR)
   Mateus Borges, Marcelo d'Amorim Saswat Anand, David Bushnell, Corina Păsăreanu.
   IEEE International Conference on Software Testing, Verification and Validation (accpt. 27% [39/145])
   (ICST 2012), Montreal, CA, April 2012
   
   
2. (C) Fault-Localization aware of Dynamic Slicing and Change Impact Analysis (.pdf).
   Elton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim.
   IEEE/ACM International Conference on Automated Software Engineering (accpt. 25% [50/(252-50)])
   (ASE 2011), Lawrence (KS), USA, November 2011
   
   
3. (C)  CORAL: Solving Complex Constraints for Symbolic PathFinder (.pdf).
   Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina Păsăreanu.
   NASA Formal Methods Symposium (accpt. 23% [26/112])
   (NFM 2011), Pasadena (CA), USA, April 2011
   
   
4. (C)  Tainted Flow Analysis on e-SSA-form Programs (.pdf).
   Andrei Rimsa, Marcelo d'Amorim, and Fernando M. Q. Pereira.
   ETAPS International Conference on Compiler Construction (accpt. 29% [15/51])
   (ETAPS CC 2011) Saarbrücken, Germany, March 2011
   
   
5. (J) Assertion checking in J-Sim simulation models of network protocols.
   A. Sobeih, M. d'Amorim, D. Marinov, M. Viswanathan, and Jennifer Hou.
   Transactions of The Society for Modeling and Simulation International
   (Simulation) Volume 86, Number 11, 651-673, November 2010
   
   
6. (J)  Randomized Constraint Solvers: A Comparative Study (.pdf).
   Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Prudêncio.
   Innovations in Systems and Software Engineering: a NASA journal
   (ISSE) Volume 6, Number 3, 243-253, September 2010
   (Invited: Selected papers of NFM 2009)
   
   
7. (C)  Efficient Static Checker for Tainted Variable Attacks (.pdf).
   Andrei Rimsa, Marcelo d'Amorim, and Fernando M. Q. Pereira.
   Brazilian Symposium on Programming Languages
   (SBLP'10) Salvador-Bahia, Brazil, September 2010.
   (Nominated to the list of best papers)
   
   
8. (C)  A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing (.pdf).
   Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Prudêncio.
   NASA Formal Methods Symposium (accpt. 30% [14/47])
   (NFM'09). Moffet Field (CA), USA, April 2009.
   
   
9. (C)  An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs (.pdf).
   Critiano Bertolini, Gláucia Peres, Marcelo d'Amorim, Alexandre Mota.
   IEEE International Conference on Software Testing, Verification, and Validation (accpt. 33%)
   (ICST'09). Denver, USA, April, 2009.
   
   
10. (D)  State Extensions for Java PathFinder.
    Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, and Sarfraz Khurshid.
    ICSE Research Demo Track (accpt. 21%)
    (ICSE'08). Leipzig, Germany, May 2008.
    
    
11. (J) Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs (.pdf).
    Marcelo d'Amorim, Steven Lauterburg, and Darko Marinov
    IEEE Transactions on Software Engineering
    (TSE), Volume 04, Number 5, 597-613. October 2008
    (Invited: Selected papers of ISSTA 2007)
    
    
12. (T) Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data (.pdf, slides)
    Marcelo d'Amorim
    PhD thesis. University of Illinois at Urbana-Champaign, October 2007
    
    
13. (C)  Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs (.pdf).
    Marcelo d'Amorim, Steven Lauterburg and Darko Marinov.
    ACM SIGSOFT International Symposium of Software Testing and Analysis (accpt. 21%)
    (ISSTA'07). London, UK, July, 2007.
    (Nominated to the list of best papers)
    
    
14. (W) Delta Execution for Software Reliability (.pdf).
    Yuanyuan Zhou, Darko Marinov, William Sanders, Craig Zilles and
    Marcelo d'Amorim, Steven Lauterburg, Ryan M. Lefever and Joe Tucek
    Workshop on Hot Topics in System Dependability
    (HotDep'07). Edinburgh, UK, June, 2007.
    
    
15. (C) Optimized Execution of Deterministic Blocks in Java PathFinder (.pdf).
    Marcelo d'Amorim, A. Sobeih and Darko Marinov.
    International Conference on Formal Enginneering Methods
    (ICFEM'06). Macau, SAR, November, 2006. (accpt. 35%)
    
    
16. (C) An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. (.pdf)
    Marcelo d'Amorim, Carlos Pacheco, Darko Marinov, Tao Xie, and Michael D. Ernst.
    IEEE/ACM International Conference on Automated Software Engineering (accpt. 18%)
    (ASE'06). Tokyo, Japan, September, 2006.
    (Nominated to the list of best papers)
    
    
17. (J)  An Equational Specification for the Scheme Language (.pdf).
    Marcelo d'Amorim and Grigore Roşu.
    Journal of Universal Computer Science
    (JUCS), Vol. 11, No. 7, pp. 1327-1348. Oct. 2005
    (Invited: Selected papers of SBLP 2005.)
    
    
18. (C)  Efficient Monitoring of Omega-Languages (.pdf)
    Marcelo d'Amorim and Grigore Roşu.
    International Conference on Computer Aided Verification (accpt. 21%)
    (CAV'05). Edinburgh, Scotland, July 2005.
    
    
19. (W)  Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP (.pdf).
    Feng Chen, Marcelo d'Amorim and Grigore Roşu.
    Workshop on Runtime Verification
    (RV'05). Edinburgh, Scotland, July, 2005.
    
    
20. (C)  An Equational Specification for the Scheme Language.
    Marcelo d'Amorim and Grigore Roşu.
    Brazilian Symposium on Programming Languages
    (SBLP'05). Recife, Brazil, June, 2005.
    (Nominated to the list of best papers)
    
    
21. (W) Event-Based Runtime Verification of Java Programs (.pdf).
    Marcelo d'Amorim and Klaus Havelund.
    Workshop on Dynamic Analysis
    (WODA'05). St. Louis, U.S., May, 2005. (slides in pdf)
    
    
22. (C)  A Formal Monitoring-based Framework for Software Development and Analysis.
    Feng Chen, Marcelo d'Amorim, and Grigore Roşu.
    International Conference on Formal Engineering Methods (accpt. 27%)
    (ICFEM'04). Seattle, U.S., November 2004.
    
    
23. (W) Integrating Code Generation and Refactoring.(.pdf)
    M. d'Amorim, C. Nogueira, G. Santos, A. Souza, and P. Borba.
    Workshop on Generative Programming
    (ECOOP'02 event). Malaga, Spain, June 2002.
    
    
24. (W) Designing Jini Distributed Services: A Framework to support the development of reliable component networks.(.pdf)
    Marcelo B. d'Amorim and Carlos A. G. Ferraz
    Workshop on Language Mechanisms for Programming Software Components
    (OOPSLA'01 event). Tampa Bay, U.S., October, 2001.

Technical Reports at the University of Illinois (2002-2007)