Marcelo d'Amorim's Publications Copyright notice

See also:   DBLP, Google Scholar

---

1. Test Flakiness Across Programming Languages (.pdf, data)
   Keila Costa, Ronivaldo Ferreira, Gustavo Pinto, Marcelo d’Amorim, and Breno Miranda
   IEEE Transactions on Software Engineering (TSE)
   September 2022.
   
   
2. ThirdEye: Attention Maps for Safe Autonomous Driving Systems (.pdf, src [code, simulator)], slides)
   Andrea Stocco, Paulo Nunes, Marcelo d'Amorim, and Paolo Tonella
   IEEE/ACM International Conference on Automated Software Engineering (accpt. 22% [116/527])
   (ASE 2022), Ann Arbor (MI), USA, October 2022.
   
   
3. Leveraging Practitioners' Feedback to Improve a Security Linter (.pdf, src, data, slides)
   Sofia Reis, Rui Abreu, Marcelo d'Amorim, and Daniel Fortunato
   IEEE/ACM International Conference on Automated Software Engineering (accpt. 22% [116/527])
   (ASE 2022), Ann Arbor (MI), USA, October 2022.
   
   
4. Fuzzing Class Specifications (.pdf, src, video)
   Facundo Molina, Nazareno Aguirre, and Marcelo d'Amorim
   IEEE/ACM International Conference on Software Engineering (accpt. 26.2% [197/751])
   (ICSE 2022), Pittsburgh (PA), USA, May 2022.
   
   
5. Software Engineering User Study Recruitment on Prolific: An Experience Report (.pdf, video)
   Brittany Reid, Markus Wagner, Marcelo d'Amorim, and Christoph Treude
   International Workshop on Recruiting Participants for Empirical Software Engineering
   (RoPES 2022), Pittsburgh (PA), USA, May 2022.
   
   
6. RVPrio: a Tool for Prioritizing Runtime Verification Violations (.pdf, src)
   Lucas Cabral, Breno Miranda, Igor Lima, and Marcelo d’Amorim
   Software Testing, Verification, and Reliability (STVR)
   February 2022
   (Extension of the ICST'20 paper "Prioritizing Runtime Verification Violations")
   
   
7. Shaker: a Tool for Detecting More Flaky Tests Faster (.pdf, src, video)
   Marcello Cordeiro, Denini Silva, Leopoldo Teixeira, Breno Miranda, and Marcelo d'Amorim
   IEEE/ACM International Conference on Automated Software Engineering (Tool Demonstrations) (accpt. 47.2% [17/36])
   (ASE Tool Demos 2021), Melbourne City, Australia [Remote COVID19], November 2021.
   
   
8. A Comparative Study on Methods and Tools for Handwritten Mathematical Expression Recognition (.pdf)
   Daniela Costa, Carlos Mello, and Marcelo d'Amorim
   ACM Symposium on Document Engineering
   (DocEng 2021), Limerick, Ireland [Remote COVID19], August 2021.
   
   
9. Soundy Automated Parallelization of Test Execution (.pdf, src, video)
   Shouvick Mondal, Denini Silva, and Marcelo d’Amorim
   IEEE International Conference on Software Maintenance and Evolution. (accpt. 24% [43/179])
   (ICSME 2021), Luxembourg City [Remote COVID19], September 2021.
   
   
10. Syrius: Synthesis of Rules for Intrusion Detectors (.pdf, src)
    Lucas Alcantara, Guilherme Padilha, Rui Abreu, and Marcelo d’Amorim
    IEEE Transactions on Reliability
    February 2021.
    
    
11. Shipwright: A Human-in-the-Loop System for Dockerfile Repair (.pdf, src, video)
    Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, and Thomas Reps
    IEEE/ACM International Conference on Software Engineering (accpt. 22.9% [138/602])
    (ICSE 2021), Madrid, Spain [Remote COVID19], May 2021.
    
    
12. Demystifying the Challenges to Formally Specifying API Properties for Runtime Verification (.pdf, src)
    Leopoldo Teixeira, Breno Miranda, Henrique Rebêlo, and Marcelo d'Amorim
    IEEE International Conference on Software Testing, Verification and Validation (accpt. 27.5% [24/87])
    (ICST 2021), Porto de Galinhas, Brazil [Remote COVID19], April 2021.
    
    
13. Identifying Method-Level Mutation Subsumption Relations using Z3 (.pdf, src)
    Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Marcio Guimarães, Leo Fernandes, Marcelo d’Amorim, Vander Alves, Leopoldo Teixeira, and Baldoino Fonseca
    Information and Software Technology (IST)
    April 2021.
    
    
14. Exposing Bugs in JavaScript Engines through Test Transplantation and Differential Testing (.pdf, src)
    Igor Lima, Jefferson Silva, Breno Miranda, Gustavo Pinto, and Marcelo d'Amorim
    Software Quality Journal (SQJ)
    January 2021.
    
    
15. Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker (.pdf, video, src)
    Denini Silva, Leopoldo Teixeira and Marcelo d'Amorim
    IEEE International Conference on Software Maintenance and Evolution. (accpt. 28.9% [58/201])
    (ICSME 2020), Adelaide, Australia [Remote COVID19], September 2020.
    
    
16. What is the Vocabulary of Flaky Tests? (.pdf, src, notebook, video)
    Gustavo Pinto, Breno Miranda, Supun Dissanayake, Marcelo d'Amorim, Christoph Treude, and Antonia Bertolino
    International Conference on Mining Software Repositories. (accpt. 26.3% [45/171])
    (MSR 2020), Seoul, South Korea [Remote COVID19], July 2020.
    
    
17. Visual Sketching: From Image Sketches to Code (.pdf, video)
    Marcelo d'Amorim, Rui M. Abreu, and Carlos Mello
    ICSE New Ideas and Emerging Results (accpt. 30.1% [28/93])
    (ICSE-NIER 2020), Seoul, South Korea [Remote COVID19], July 2020.
    
    
18. Prioritizing Runtime Verification Violations (.pdf, src)
    Breno Miranda, Igor Lima, Owolabi Legunsen, and Marcelo d'Amorim
    IEEE International Conference on Software Testing, Verification and Validation (accpt. 24% [27/114])
    (ICST 2020), Porto, Portugal [Remote COVID19], October 2020.
    
    
19. Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations (.pdf)
    Marcio A. Guimarães, Leo Fernandes, Márcio Ribeiro, Marcelo d'Amorim, and Rohit Gheyi
    IEEE International Conference on Software Testing, Verification and Validation (accpt. 24% [27/114])
    (ICST 2020), Porto, Portugal [Remote COVID19], October 2020.
    
    
20. Practical Detection of CMS Plugin Conflicts in Large Plugin Sets (.pdf, src)
    Igor Lima, Jeanderson Candido, and Marcelo d'Amorim
    Information and Software Technology (IST)
    February 2020.
    
    
21. Using Docker to Assist Q&A Forum Users (.pdf, site, data, backend, frontend)
    Luis Melo, Igor Wiese, and Marcelo d'Amorim
    IEEE Transactions on Software Engineering (TSE)
    December 2019.
    
    
22. Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization (.pdf, src)
    Sofia Reis, Rui M. Abreu, and Marcelo d'Amorim
    International Joint Conference on Artificial Intelligence (accpt. 18% [850/4752])
    (IJCAI 2019), Macau, China, August 2019.
    
    
23. A Study of Vulnerability Analysis of Popular Smart Devices Through Their Companion Apps (.pdf, in-the-news: [1, 2, 3, 4])
    Davino Mauro Junior, Luis Melo, Harvey Lu, Marcelo d'Amorim, and Atul Prakash
    IEEE Workshop on the Internet of Safe Things
    (SafeThings 2019), San Francisco (CA), USA, May 2019.
    
    
24. Intent-Preserving Test Repair (.pdf, slides, src)
    Xiangyu Li, Marcelo d'Amorim, and Alessandro Orso
    IEEE International Conference on Software Testing, Verification and Validation (accpt. 28% [31/110])
    (ICST 2019), Xi'an, China, April 2019.
    
    
25. Automatically Translating Bug Reports into Test Cases for Mobile Apps (.pdf, src)
    Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, and Alessandro Orso
    International Symposium on Software Testing and Analysis (accpt. 24% [31/130])
    (ISSTA 2018), Amsterdam, Netherlands, July 2018.
    
    
26. Enlightened Debugging (.pdf, src)
    Xiangyu Li, Shaowei Zhu, Marcelo d'Amorim, and Alessandro Orso
    IEEE/ACM International Conference on Software Engineering (accpt. 21% [105/502])
    (ICSE 2018), Gothenburg, Sweden, May 2018.
    
    
27. Time-Space Efficient Regression Testing for Configurable Systems (.pdf, src, .bib)
    Sabrina Souto and Marcelo d'Amorim
    Journal of Systems and Software (JSS)
    Volume 137, pages 733-746, March 2018
    
    
28. Test Suite Parallelization in Open-Source Projects: a Study on its Usage and Impact (.pdf, src, .bib)
    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.
    
    
29. Balancing Soundness and Efficiency for Practical Testing of Configurable Systems (.pdf, src, slides, .bib)
    Sabrina Souto, Marcelo d'Amorim, and Rohit Gheyi
    IEEE/ACM International Conference on Software Engineering (accpt. 16% [68/415])
    (ICSE 2017), Buenos Aires, Argentina, May 2017.
    
    
30. Prevalence of Single-Fault Fixes and its Impact on Fault Localization (.pdf, src, slides, .bib)
    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.
    
    
31. Iterative User-Driven Fault Localization (.pdf, src)
    Xiangyu Li, Marcelo d'Amorim, and Alessandro Orso
    Haifa Verification Conference
    (HVC 2016), Haifa, Israel, November 2016.
    
    
32. Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (.pdf, src, 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.
    
    
33. Iterative Distribution-Aware Sampling for Probabilistic Symbolic Execution (.pdf, src)
    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.
    
    
34. Faster Bug Detection for Software Product Lines with Incomplete Feature Models (.pdf, src, 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.
    
    
35. A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution (.pdf, src)
    Tianhai Liu, Mateus Borges, Marcelo d’Amorim, and Mana Taghdiri
    Haifa Verification Conference
    (HVC 2014), Haifa, Israel, November 2014.
    
    
36. 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.
    
    
37. Compositional Solution Space Quantification for Probabilistic Software Analysis (.pdf, src, 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.
    
    
38. 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)
    
    
39. 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.
    
    
40. 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.
    
    
41. Symbolic Execution with Interval Constraint Solving and Meta-heuristic Search. (.pdf, src)
    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
    
    
42. 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
    
    
43. CORAL: Solving Complex Constraints for Symbolic PathFinder (.pdf, src).
    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
    
    
44. 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
    
    
45. 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
    
    
46. 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)
    
    
47. 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)
    
    
48. 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.
    
    
49. 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.
    
    
50. State Extensions for Java PathFinder (.pdf).
    Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, and Sarfraz Khurshid
    IEEE/ACM International Conference on Software Engineering Research Demo Track (accpt. 21%)
    (ICSE Tool Demos 2008). Leipzig, Germany, May 2008.
    
    
51. 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)
    
    
52. 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
    
    
53. 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)
    
    
54. 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.
    
    
55. 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%)
    
    
56. 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)
    
    
57. 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.)
    
    
58. 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.
    
    
59. 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.
    
    
60. 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)
    
    
61. 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)
    
    
62. 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.
    
    
63. 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.
    
    
64. 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)