Marcelo D'Amorim

Lima, R., Costa, K., Souza, J., Teixeira, L., Fonseca, B., D'Amorim, M., … Miranda, B. (2023, November 7). Do you see any problem? On the Developers Perceptions in Test Smells Detection. https://doi.org/10.1145/3629479.3629485

Reid, B., d'Amorim, M., Wagner, M., & Treude, C. (2023). NCQ: Code Reuse Support for Node.js Developers. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 49(5), 3205–3225. https://doi.org/10.1109/TSE.2023.3248113

Torres, A., Costa, P., Amaral, L., Pastro, J., Bonifacio, R., d'Amorim, M., … Dias Canedo, E. (2023). Runtime Verification of Crypto APIs: An Empirical Study. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 49(10), 4510–4525. https://doi.org/10.1109/TSE.2023.3301660

Molina, F., d'Amorim, M., & Aguirre, N. (2023). SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-based Fuzzing. 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, pp. 2094–2097. https://doi.org/10.1109/ASE56229.2023.00024

Barbosa, K., Ferreira, R., Pinto, G., d'Amorim, M., & Miranda, B. (2023). Test Flakiness Across Programming Languages. IEEE Transactions on Software Engineering. https://doi.org/10.1109/TSE.2022.3208864

Reis, S., Abreu, R., d'Amorim, M., & Fortunato, D. (2022, October 10). Leveraging Practitioners’ Feedback to Improve a Security Linter. https://doi.org/10.1145/3551349.3560419

Cabral, L., Miranda, B., Lima, I., & d'Amorim, M. (2022). RVprio: A tool for prioritizing runtime verification violations. Software Testing, Verification and Reliability. https://doi.org/10.1002/stvr.1813

Alcantara, L., Padilha, G., Abreu, R., & d'Amorim, M. (2022). Syrius: Synthesis of Rules for Intrusion Detectors. IEEE Transactions on Reliability. https://doi.org/10.1109/TR.2021.3061297

Stocco, A., Nunes, P. J., D'Amorim, M., & Tonella, P. (2022, October 10). ThirdEye: Attention Maps for Safe Autonomous Driving Systems. https://doi.org/10.1145/3551349.3556968

Lima, I., Silva, J., Miranda, B., Pinto, G., & d’Amorim, M. (2021). Exposing bugs in JavaScript engines through test transplantation and differential testing. Software Quality Journal. https://doi.org/10.1007/s11219-020-09537-8

Melo, L., Wiese, I., & drAmorim, M. (2021). Using Docker to Assist Q&A Forum Users. IEEE Transactions on Software Engineering. https://doi.org/10.1109/TSE.2019.2956919

Lima, I., Cândido, J., & d’Amorim, M. (2020). Practical detection of CMS plugin conflicts in large plugin sets. Information and Software Technology. https://doi.org/10.1016/j.infsof.2019.106212

2017 IEEE International Conference on Software Testing, Verification
               and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017. (2017). Retrieved from http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7922464

Souto, S., d’Amorim, M., & Gheyi, R. (2017). Balancing soundness and efficiency for practical testing of configurable
               systems. Proceedings of the 39th International Conference on Software Engineering,
               ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017, 632–642. https://doi.org/10.1109/ICSE.2017.64

Xie, T., Cai, Y., Liu, X., Wang, X., Acharya, M. P., d’Amorim, M., & Ma, X. (2017). Preface. J. Comput. Sci. Technol., 32(6), 1057–1059. https://doi.org/10.1007/s11390-017-1782-3

Perez, A., Abreu, R., & d’Amorim, M. (2017). Prevalence of Single-Fault Fixes and Its Impact on Fault Localization. 2017 IEEE International Conference on Software Testing, Verification
               and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017, 12–22. https://doi.org/10.1109/ICST.2017.9

Rosu, G., Penta, M. D., & Nguyen, T. N. (Eds.). (2017). Proceedings of the 32nd IEEE/ACM International Conference on Automated
               Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November
               03, 2017. Retrieved from http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8106906

S. (Ed.). (2017). Proceedings of the 39th International Conference on Software Engineering,
               ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017. Retrieved from http://dl.acm.org/citation.cfm?id=3097368

Test suite parallelization in open-source projects: a study on its
               usage and impact. (2017). Proceedings of the 32nd IEEE/ACM International Conference on Automated
               Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November
               03, 2017, 838–848. https://doi.org/10.1109/ASE.2017.8115695

Souto, S., & d’Amorim, M. (2017). Time-Space Efficient Regression Testing for Configurable Systems. CoRR, abs/1702.03457. Retrieved from http://arxiv.org/abs/1702.03457

Bloem, R., & Arbel, E. (Eds.). (2016). Hardware and Software: Verification and Testing - 12th International
               Haifa Verification Conference, HVC 2016, Haifa, Israel, November
               14-17, 2016, Proceedings. https://doi.org/10.1007/978-3-319-49052-6

Li, X., d’Amorim, M., & Orso, A. (2016). Iterative User-Driven Fault Localization. Hardware and Software: Verification and Testing - 12th International
               Haifa Verification Conference, HVC 2016, Haifa, Israel, November
               14-17, 2016, Proceedings, 82–98. https://doi.org/10.1007/978-3-319-49052-6_6

Cohen, M. B., Grunske, L., & Whalen, M. (Eds.). (2015). 30th IEEE/ACM International Conference on Automated Software Engineering,
               ASE 2015, Lincoln, NE, USA, November 9-13, 2015. Retrieved from http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7371449

Faster bug detection for software product lines with incomplete feature
               models. (2015). Proceedings of the 19th International Conference on Software Product
               Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015, 151–160. https://doi.org/10.1145/2791060.2791093

Borges, M., Filieri, A., d’Amorim, M., & Pasareanu, C. S. (2015). Iterative distribution-aware sampling for probabilistic symbolic execution. Proceedings of the 2015 10th Joint Meeting on Foundations of Software
               Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September
               4, 2015, 866–877. https://doi.org/10.1145/2786805.2786832

Schmidt, D. C. (Ed.). (2015). Proceedings of the 19th International Conference on Software Product
               Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015. Retrieved from http://dl.acm.org/citation.cfm?id=2791060

Nitto, E. D., Harman, M., & Heymans, P. (Eds.). (2015). Proceedings of the 2015 10th Joint Meeting on Foundations of Software
               Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September
               4, 2015. https://doi.org/10.1145/2786805

Barros, P., Just, R., Millstein, S., Vines, P., Dietl, W., d’Amorim, M., & Ernst, M. D. (2015). Static Analysis of Implicit Control Flow: Resolving Java Reflection
               and Android Intents (T). 30th IEEE/ACM International Conference on Automated Software Engineering,
               ASE 2015, Lincoln, NE, USA, November 9-13, 2015, 669–679. https://doi.org/10.1109/ASE.2015.69

Rungta, N., & Tkachuk, O. (Eds.). (2014). 2014 International Symposium on Model Checking of Software, SPIN
               2014, Proceedings, San Jose, CA, USA, July 21-23, 2014. Retrieved from http://dl.acm.org/citation.cfm?id=2632362

Liu, T., Araújo, M., d’Amorim, M., & Taghdiri, M. (2014). A Comparative Study of Incremental Constraint Solving Approaches in
               Symbolic Execution. Hardware and Software: Verification and Testing - 10th International
               Haifa Verification Conference, HVC 2014, Haifa, Israel, November
               18-20, 2014. Proceedings, 284–299. https://doi.org/10.1007/978-3-319-13338-6_21

O’Boyle, M. F. P., & Pingali, K. (Eds.). (2014). ACM SIGPLAN Conference on Programming Language Design and Implementation,
               PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014. Retrieved from http://dl.acm.org/citation.cfm?id=2594291

Borges, M., Filieri, A., d’Amorim, M., Pasareanu, C. S., & Visser, W. (2014). Compositional solution space quantification for probabilistic software
               analysis. ACM SIGPLAN Conference on Programming Language Design and Implementation,
               PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014, 123–132. https://doi.org/10.1145/2594291.2594329

Rimsa, A., d’Amorim, M., Pereira, F. M. Q., & Silva Bigonha, R. (2014). Efficient static checker for tainted variable attacks. Sci. Comput. Program., 80, 91–105. https://doi.org/10.1016/j.scico.2013.03.012

Yahav, E. (Ed.). (2014). Hardware and Software: Verification and Testing - 10th International
               Haifa Verification Conference, HVC 2014, Haifa, Israel, November
               18-20, 2014. Proceedings. https://doi.org/10.1007/978-3-319-13338-6

Phan, Q.-S., Malacaria, P., Pasareanu, C. S., & d’Amorim, M. (2014). Quantifying information leaks using reliability analysis. 2014 International Symposium on Model Checking of Software, SPIN
               2014, Proceedings, San Jose, CA, USA, July 21-23, 2014, 105–108. https://doi.org/10.1145/2632362.2632367

Denney, E., Bultan, T., & Zeller, A. (Eds.). (2013). 2013 28th IEEE/ACM International Conference on Automated Software
               Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15,
               2013. Retrieved from http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6684409

Campos, J., Abreu, R., Fraser, G., & d’Amorim, M. (2013). Entropy-based test generation for improved fault localization. 2013 28th IEEE/ACM International Conference on Automated Software
               Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15,
               2013, 257–267. https://doi.org/10.1109/ASE.2013.6693085

Meyer, B., Baresi, L., & Mezini, M. (Eds.). (2013). Joint Meeting of the European Software Engineering Conference and
               the ACM SIGSOFT Symposium on the Foundations of Software Engineering,
               ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013. Retrieved from http://dl.acm.org/citation.cfm?id=2491411

SPLat: lightweight dynamic analysis for reducing combinatorics in
               testing configurable systems. (2013). Joint Meeting of the European Software Engineering Conference and
               the ACM SIGSOFT Symposium on the Foundations of Software Engineering,
               ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013, 257–267. https://doi.org/10.1145/2491411.2491459

Antoniol, G., Bertolino, A., & Labiche, Y. (Eds.). (2012). Fifth IEEE International Conference on Software Testing, Verification
               and Validation, ICST 2012, Montreal, QC, Canada, April 17-21, 2012. Retrieved from http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6200016

Borges, M., d’Amorim, M., Anand, S., Bushnell, D. H., & Pasareanu, C. S. (2012). Symbolic Execution with Interval Solving and Meta-heuristic Search. Fifth IEEE International Conference on Software Testing, Verification
               and Validation, ICST 2012, Montreal, QC, Canada, April 17-21, 2012, 111–120. https://doi.org/10.1109/ICST.2012.91

Alexander, P., Pasareanu, C. S., & Hosking, J. G. (Eds.). (2011). 26th IEEE/ACM International Conference on Automated Software Engineering
               (ASE 2011), Lawrence, KS, USA, November 6-10, 2011. Retrieved from http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6093623

Souza, M., Borges, M., d’Amorim, M., & Pasareanu, C. S. (2011). CORAL: Solving Complex Constraints for Symbolic PathFinder. NASA Formal Methods - Third International Symposium, NFM 2011,
               Pasadena, CA, USA, April 18-20, 2011. Proceedings, 359–374. https://doi.org/10.1007/978-3-642-20398-5_26

Knoop, J. (Ed.). (2011). Compiler Construction - 20th International Conference, CC 2011,
               Held as Part of the Joint European Conferences on Theory and Practice
               of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April
               3, 2011. Proceedings. https://doi.org/10.1007/978-3-642-19861-8

Fault-localization using dynamic slicing and change impact analysis. (2011). 26th IEEE/ACM International Conference on Automated Software Engineering
               (ASE 2011), Lawrence, KS, USA, November 6-10, 2011, 520–523. https://doi.org/10.1109/ASE.2011.6100114

Bobaru, M. G., Havelund, K., Holzmann, G. J., & Joshi, R. (Eds.). (2011). NASA Formal Methods - Third International Symposium, NFM 2011,
               Pasadena, CA, USA, April 18-20, 2011. Proceedings. https://doi.org/10.1007/978-3-642-20398-5

Rimsa, A., d’Amorim, M., & Pereira, F. M. Q. (2011). Tainted Flow Analysis on e-SSA-Form Programs. Compiler Construction - 20th International Conference, CC 2011,
               Held as Part of the Joint European Conferences on Theory and Practice
               of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April
               3, 2011. Proceedings, 124–143. https://doi.org/10.1007/978-3-642-19861-8_8

Assertion Checking in J-Sim Simulation Models of Network Protocols. (2010). Simulation, 86(11), 651–673. https://doi.org/10.1177/0037549709349326

Takaki, M., Cavalcanti, D., Gheyi, R., Iyoda, J., d’Amorim, M., & Prudêncio, R. B. C. (2010). Randomized constraint solvers: a comparative study. ISSE, 6(3), 243–253. https://doi.org/10.1007/s11334-010-0124-1

Takaki, M., Cavalcanti, D., Gheyi, R., Iyoda, J., d’Amorim, M., & Prudêncio, R. B. C. (2009). A Comparative Study of Randomized Constraint Solvers for Random-Symbolic
               Testing. First NASA Formal Methods Symposium - NFM 2009, Moffett Field,
               California, USA, April 6-8, 2009., 56–65.

Bertolini, C., Peres, G., d’Amorim, M., & Mota, A. (2009). An Empirical Evaluation of Automated Black Box Testing Techniques
               for Crashing GUIs. Second International Conference on Software Testing Verification and
               Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, 21–30. https://doi.org/10.1109/ICST.2009.27

Denney, E., Giannakopoulou, D., & Pasareanu, C. S. (Eds.). (2009). First NASA Formal Methods Symposium - NFM 2009, Moffett Field,
               California, USA, April 6-8, 2009.

Second International Conference on Software Testing Verification and
               Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009. (2009). Retrieved from http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4815321

Sch\"a, W. (Ed.). (2008). 30th International Conference on Software Engineering (ICSE 2008),
               Leipzig, Germany, May 10-18, 2008. ACM.

d’Amorim, M., Lauterburg, S., & Marinov, D. (2008). Delta Execution for Efficient State-Space Exploration of Object-Oriented
               Programs. IEEE Trans. Software Eng., 34(5), 597–613. https://doi.org/10.1109/TSE.2008.37

Gvero, T., Gligoric, M., Lauterburg, S., d’Amorim, M., Marinov, D., & Khurshid, S. (2008). State extensions for java pathfinder. 30th International Conference on Software Engineering (ICSE 2008),
               Leipzig, Germany, May 10-18, 2008, 863–866. https://doi.org/10.1145/1368088.1368224

d’Amorim, M., Lauterburg, S., & Marinov, D. (2007). Delta execution for efficient state-space exploration of object-oriented
               programs. Proceedings of the ACM/SIGSOFT International Symposium on Software
               Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007, 50–60. https://doi.org/10.1145/1273463.1273472

Rosenblum, D. S., & Elbaum, S. G. (Eds.). (2007). Proceedings of the ACM/SIGSOFT International Symposium on Software
               Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007. https://doi.org/10.1145/1273463

21st IEEE/ACM International Conference on Automated Software Engineering
               (ASE 2006), 18-22 September 2006, Tokyo, Japan. (2006). Retrieved from http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4019543

21st IEEE/ACM International Conference on Automated Software Engineering
               (ASE 2006), 18-22 September 2006, Tokyo, Japan. (2006). Retrieved from http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4019543

d’Amorim, M., Pacheco, C., Xie, T., Marinov, D., & Ernst, M. D. (2006). An Empirical Comparison of Automated Generation and Classification
               Techniques for Object-Oriented Unit Testing. 21st IEEE/ACM International Conference on Automated Software Engineering
               (ASE 2006), 18-22 September 2006, Tokyo, Japan, 59–68. https://doi.org/10.1109/ASE.2006.13

Checking and Correcting Behaviors of Java Programs at Runtime with
               Java-MOP. (2006). Electr. Notes Theor. Comput. Sci., 144(4), 3–20. https://doi.org/10.1016/j.entcs.2006.02.002

d’Amorim, M., & Rosu, G. (2005). An Equational Specification for the Scheme Language. J. UCS, 11(7), 1327–1348. https://doi.org/10.3217/jucs-011-07-1327

Etessami, K., & Rajamani, S. K. (Eds.). (2005). Computer Aided Verification, 17th International Conference, CAV
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. https://doi.org/10.1007/b138445

d’Amorim, M., & Rosu, G. (2005). Efficient Monitoring of omega-Languages. Computer Aided Verification, 17th International Conference, CAV
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, 364–378. https://doi.org/10.1007/11513988_36

d’Amorim, M., & Havelund, K. (2005). Event-based runtime verification of java programs. ACM SIGSOFT Software Engineering Notes, 30(4), 1–7. https://doi.org/10.1145/1082983.1083249

A Formal Monitoring-Based Framework for Software Development and Analysis. (2004). Formal Methods and Software Engineering, 6th International Conference
               on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November
               8-12, 2004, Proceedings, 357–372. https://doi.org/10.1007/978-3-540-30482-1_31

Davies, J., Schulte, W., & Barnett, M. (Eds.). (2004). Formal Methods and Software Engineering, 6th International Conference
               on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November
               8-12, 2004, Proceedings. https://doi.org/10.1007/b102837

A Design for JTrader, an Internet Trading Service. (2001). Innovative Internet Computing Systems, International Workshop IICS
               2001, Ilmenau, Germany, June 21-22, 2001, Proceedings, 159–166. https://doi.org/10.1007/3-540-48206-7_14

B\"o, T. (Ed.). (2001). Innovative Internet Computing Systems, International Workshop IICS
               2001, Ilmenau, Germany, June 21-22, 2001, Proceedings. https://doi.org/10.1007/3-540-48206-7