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)
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
Delta Execution for Software Reliability (.pdf).
Yuanyuan Zhou, Darko Marinov, William Sanders, Craig Zilles,
Marcelo d'Amorim, Steven Lauterburg, Ryan M. Lefever and Joe Tucek Workshop on Hot Topics in System
(HotDep'07). Edinburgh, UK, June, 2007.
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.
Empirical Comparison of Automated Generation and Classification
Techniques for Object-Oriented Unit Testing. (.pdf)
Carlos Pacheco, Darko Marinov, Tao Xie, and Michael D. Ernst. IEEE/ACM International Conference on Automated Software
(ASE'06). Tokyo, Japan, September, 2006.
(Nominated to the list of best papers)
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.)
of Omega-Languages (.pdf)
Marcelo d'Amorim and Grigore Roşu. International Conference on Computer Aided Verification (accpt.
(CAV'05). Edinburgh, Scotland, July 2005.
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.
A Formal Monitoring-based
Framework for Software Development and Analysis (.pdf). Feng Chen, Marcelo
d'Amorim, and Grigore
Roşu. International Conference on Formal Engineering
(ICFEM'04). Seattle (WA), USA, November 2004.
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.
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
(OOPSLA'01 event). Tampa Bay (FL), USA, October, 2001.