Marcelo d'Amorim's Publications

Updated 08/2017

Copyright notice

                 
See also:   DBLP, Google Scholar

  1. Time-Space Efficient Regression Testing for Configurable Systems (.pdf, web)
    Sabrina Souto and Marcelo d'Amorim
    Journal of Systems and Software (JSS)
    (Accepted for publication)

  2. Test Suite Parallelization in Open-Source Projects: a Study on its Usage and Impact (.pdf, web)
    Jeanderson Candido, Luis Melo, and Marcelo d'Amorim
    IEEE/ACM International Conference on Automated Software Engineering (accpt. 21% [65/314])
    (ASE 2017), Urbana-Champaign (IL), USA, November 2017.

  3. Balancing Soundness and Efficiency for Practical Testing of Configurable Systems (.pdf, web, slides)
    Sabrina Souto, Marcelo d'Amorim, and Rohit Gheyi
    International Conference on Software Engineering (accpt. 16% [68/415])
    (ICSE 2017), Buenos Aires, Argentina, May 2017.

  4. Prevalence of Single-Fault Fixes and its Impact on Fault Localization (.pdf, web, slides)
    Alexandre Perez, Rui Abreu, and Marcelo d'Amorim
    IEEE International Conference on Software Testing, Verification and Validation (accpt. 27% [36/135])
    (ICST 2017), Tokyo, Japan, March 2017.

  5. Iterative User-Driven Fault Localization (.pdf, web)
    Xiangyu Li, Marcelo d'Amorim, and Alessandro Orso
    Haifa Verification Conference
    (HVC 2016), Haifa, Israel, November 2016.

  6. Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (.pdf, web, slides)
    Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, and Michael D. Ernst
    IEEE/ACM International Conference on Automated Software Engineering (accpt. 21% [60/289])
    (ASE 2015), Lincoln (NE), USA, November 2015.

  7. Iterative Distribution-Aware Sampling for Probabilistic Symbolic Execution (.pdf, web)
    Mateus Borges, Antonio Filieri, Marcelo d'Amorim, and Corina Păsăreanu
    European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (accpt. 26% [74/291])
    (ESEC/FSE 2015), Bergamo, Italy, August-September 2015.

  8. Faster Bug Detection for Software Product Lines with Incomplete Feature Models (.pdf, web, slides)
    Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, and Don Batory
    International Software Product Line Conference (accpt. 32% [17/54])
    (SPLC 2015), Nashville (TN), USA, July 2015.

  9. A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution (.pdf, web)
    Tianhai Liu, Mateus Borges, Marcelo d’Amorim, and Mana Taghdiri
    Haifa Verification Conference
    (HVC 2014), Haifa, Israel, November 2014.

  10. Quantifying Information Leaks using Reliability Analysis (.pdf)
    Quoc-Sang Phan, Pasquale Malacaria, Corina Păsăreanu, and Marcelo d'Amorim
    International SPIN Symposium on Software Model Checking
    (SPIN 2014), San Jose (CA), USA, July 2014.

  11. Compositional Solution Space Quantification for Probabilistic Software Analysis (.pdf, web, slides)
    Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina Păsăreanu, and Willem Visser
    ACM SIGPLAN Programming Language Design and Implementation (accpt. 18% [52/287])
    (PLDI 2014), Edinburgh, United Kingdom, June 2014.

  12. Efficient Static Checker for Tainted Variable Attacks (.pdf)
    Andrei Rimsa, Marcelo d'Amorim, Fernando M. Q. Pereira, and Roberto S. Bigonha.
    Science of Computer Programming (SCP)
    Volume 80, pages 91-105, February 2014.
    (Invited: Selected papers of SBLP 2010)

  13. Entropy-based Test Generation for Improved Fault Localization (.pdf)
    José Carlos de Campos, Rui Abreu, Gordon Fraser, and Marcelo d'Amorim
    IEEE/ACM International Conference on Automated Software Engineering (accpt. 14% [43/317])
    (ASE 2013), Silicon Valley (CA), USA, November 2013.

  14. SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems (.pdf)
    Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don Batory, Sabrina Souto, Paulo Barros, and Marcelo d'Amorim
    European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (accpt. 20% [51/251])
    (ESEC/FSE 2013), Saint Petersburg, Russia, August 2013.

  15. Symbolic Execution with Interval Constraint Solving and Meta-heuristic Search. (.pdf, web)
    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

  16. Fault Localization aware of Dynamic Slicing and Change Impact Analysis (.pdf).
    Elton Alves, Milos Gligoric, Vilas Jagannath, and Marcelo d'Amorim
    IEEE/ACM International Conference on Automated Software Engineering (accpt. 25% [50/(252-50)])
    (ASE 2011), Lawrence (KS), USA, November 2011

  17. CORAL: Solving Complex Constraints for Symbolic PathFinder (.pdf, web).
    Matheus Souza, Mateus Borges, Marcelo d'Amorim, and Corina Păsăreanu.
    NASA Formal Methods Symposium (accpt. 23% [26/112])
    (NFM 2011), Pasadena (CA), USA, April 2011

  18. 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

  19. 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

  20. Randomized Constraint Solvers: A Comparative Study (.pdf).
    Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, and 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)

  21. 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)

  22. A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing (.pdf).
    Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, and Ricardo Prudêncio.
    NASA Formal Methods Symposium (accpt. 30% [14/47])
    (NFM'09). Moffet Field (CA), USA, April 2009.

  23. An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs (.pdf).
    Critiano Bertolini, Gláucia Peres, Marcelo d'Amorim, and Alexandre Mota
    IEEE International Conference on Software Testing, Verification, and Validation (accpt. 33%)
    (ICST'09). Denver, USA, April, 2009.

  24. State Extensions for Java PathFinder (.pdf).
    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.

  25. 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 (IEEE TSE)
    Volume 04, Number 5, 597-613. October 2008
    (Invited: Selected papers of ISSTA 2007)

  26. 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

  27. 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)

  28. 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 Dependability
    (HotDep'07). Edinburgh, UK, June, 2007.

  29. 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%)

  30. 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)

  31. 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.)

  32. 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.

  33. 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.

  34. 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)

  35. Event-Based Runtime Verification of Java Programs (.pdf).
    Marcelo d'Amorim and Klaus Havelund.
    Workshop on Dynamic Analysis
    (WODA'05). St. Louis (MO), USA, May, 2005. (slides in pdf)

  36. 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 Methods (accpt. 27%)
    (ICFEM'04). Seattle (WA), USA, November 2004.

  37. 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.

  38. 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 (FL), USA, October, 2001.

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


Copyright notice: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.