Works (59)

Updated: July 3rd, 2023 09:06

2023 journal article

NCQ: Code Reuse Support for Node.js Developers

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 49(5), 3205–3225.

By: B. Reid*, M. d'Amorim n, M. Wagner* & C. Treude*

author keywords: Codes; Task analysis; Documentation; Problem-solving; Switches; Search problems; Search engines; Code reuse; code search; library selection
Sources: Web Of Science, ORCID
Added: June 26, 2023

2017 conference paper

2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7922464

Source: ORCID
Added: June 21, 2023

2017 conference paper

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.

By: S. Souto*, M. d’Amorim* & R. Gheyi*

Source: ORCID
Added: June 21, 2023

2017 journal article

Preface

J. Comput. Sci. Technol., 32(6), 1057–1059.

By: T. Xie, Y. Cai, X. Liu, X. Wang, M. Acharya, M. d’Amorim, X. Ma

Source: ORCID
Added: June 21, 2023

2017 conference paper

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.

By: A. Perez*, R. Abreu* & M. d’Amorim*

Source: ORCID
Added: June 21, 2023

2017 conference paper

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8106906

Ed(s): G. Rosu, M. Penta & T. Nguyen

Source: ORCID
Added: June 21, 2023

2017 conference paper

Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017

http://dl.acm.org/citation.cfm?id=3097368

Ed(s): Sebasti\’a

Source: ORCID
Added: June 21, 2023

2017 conference paper

Test suite parallelization in open-source projects: a study on its usage and impact

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017, 838–848.

Source: ORCID
Added: June 21, 2023

2017 journal article

Time-Space Efficient Regression Testing for Configurable Systems

CoRR, abs/1702.03457. http://arxiv.org/abs/1702.03457

By: S. Souto & M. d’Amorim

Source: ORCID
Added: June 21, 2023

2016 conference paper

Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Ed(s): R. Bloem & E. Arbel

Source: ORCID
Added: June 21, 2023

2016 conference paper

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.

By: X. Li*, M. d’Amorim* & A. Orso*

Source: ORCID
Added: June 21, 2023

2015 conference paper

30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7371449

Ed(s): M. Cohen, L. Grunske & M. Whalen

Source: ORCID
Added: June 21, 2023

2015 conference paper

Faster bug detection for software product lines with incomplete feature models

Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015, 151–160.

Source: ORCID
Added: June 21, 2023

2015 conference paper

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.

Source: ORCID
Added: June 21, 2023

2015 conference paper

Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015

http://dl.acm.org/citation.cfm?id=2791060

Ed(s): D. Schmidt

Source: ORCID
Added: June 21, 2023

2015 conference paper

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015

Ed(s): E. Nitto, M. Harman & P. Heymans

Source: ORCID
Added: June 21, 2023

2015 conference paper

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.

By: P. Barros*, R. Just*, S. Millstein*, P. Vines*, W. Dietl*, M. d’Amorim*, M. Ernst*

Source: ORCID
Added: June 21, 2023

2014 conference paper

2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014

http://dl.acm.org/citation.cfm?id=2632362

Ed(s): N. Rungta & O. Tkachuk

Source: ORCID
Added: June 21, 2023

2014 conference paper

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.

By: T. Liu*, M. Araújo*, M. d’Amorim* & M. Taghdiri*

Source: ORCID
Added: June 21, 2023

2014 conference paper

ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014

http://dl.acm.org/citation.cfm?id=2594291

Ed(s): M. O’Boyle & K. Pingali

Source: ORCID
Added: June 21, 2023

2014 conference paper

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.

By: M. Borges*, A. Filieri*, M. d’Amorim*, C. Pasareanu* & W. Visser*

Source: ORCID
Added: June 21, 2023

2014 journal article

Efficient static checker for tainted variable attacks

Sci. Comput. Program., 80, 91–105.

By: A. Rimsa*, M. d’Amorim*, F. Pereira* & R. Silva Bigonha*

Source: ORCID
Added: June 21, 2023

2014 conference paper

Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings

Ed(s): E. Yahav

Source: ORCID
Added: June 21, 2023

2014 conference paper

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.

By: Q. Phan*, P. Malacaria*, C. Pasareanu* & M. d’Amorim*

Source: ORCID
Added: June 21, 2023

2013 conference paper

2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6684409

Ed(s): E. Denney, T. Bultan & A. Zeller

Source: ORCID
Added: June 21, 2023

2013 conference paper

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.

Source: ORCID
Added: June 21, 2023

2013 conference paper

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

http://dl.acm.org/citation.cfm?id=2491411

Ed(s): B. Meyer, L. Baresi & M. Mezini

Source: ORCID
Added: June 21, 2023

2013 conference paper

SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems

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.

Source: ORCID
Added: June 21, 2023

2012 conference paper

Fifth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Montreal, QC, Canada, April 17-21, 2012

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6200016

Ed(s): G. Antoniol, A. Bertolino & Y. Labiche

Source: ORCID
Added: June 21, 2023

2012 conference paper

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.

By: M. Borges*, M. d’Amorim*, S. Anand*, D. Bushnell* & C. Pasareanu*

Source: ORCID
Added: June 21, 2023

2011 conference paper

26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6093623

Ed(s): P. Alexander, C. Pasareanu & J. Hosking

Source: ORCID
Added: June 21, 2023

2011 conference paper

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.

By: M. Souza*, M. Borges*, M. d’Amorim* & C. Pasareanu*

Source: ORCID
Added: June 21, 2023

2011 conference paper

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

Ed(s): J. Knoop

Source: ORCID
Added: June 21, 2023

2011 conference paper

Fault-localization using dynamic slicing and change impact analysis

26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011, 520–523.

Source: ORCID
Added: June 21, 2023

2011 conference paper

NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Ed(s): M. Bobaru, K. Havelund, G. Holzmann & R. Joshi

Source: ORCID
Added: June 21, 2023

2011 conference paper

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.

By: A. Rimsa, M. d’Amorim* & F. Pereira

Source: ORCID
Added: June 21, 2023

2010 journal article

Assertion Checking in J-Sim Simulation Models of Network Protocols

Simulation, 86(11), 651–673.

Source: ORCID
Added: June 21, 2023

2010 journal article

Randomized constraint solvers: a comparative study

ISSE, 6(3), 243–253.

By: M. Takaki*, D. Cavalcanti*, R. Gheyi*, J. Iyoda*, M. d’Amorim* & R. Prudêncio*

Source: ORCID
Added: June 21, 2023

2009 conference paper

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.

By: M. Takaki, D. Cavalcanti, R. Gheyi, J. Iyoda, M. d’Amorim & R. Prudêncio

Source: ORCID
Added: June 21, 2023

2009 conference paper

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.

By: C. Bertolini*, G. Peres*, M. d’Amorim* & A. Mota*

Source: ORCID
Added: June 21, 2023

2009 conference paper

First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009

Ed(s): E. Denney, D. Giannakopoulou & C. Pasareanu

Source: ORCID
Added: June 21, 2023

2009 conference paper

Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4815321

Source: ORCID
Added: June 21, 2023

2008 conference paper

30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008

ACM.

Ed(s): W. Sch\"a

Source: ORCID
Added: June 21, 2023

2008 journal article

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs

IEEE Trans. Software Eng., 34(5), 597–613.

By: M. d’Amorim*, S. Lauterburg* & D. Marinov*

Source: ORCID
Added: June 21, 2023

2008 conference paper

State extensions for java pathfinder

30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, 863–866.

By: T. Gvero*, M. Gligoric*, S. Lauterburg*, M. d’Amorim*, D. Marinov* & S. Khurshid*

Source: ORCID
Added: June 21, 2023

2007 conference paper

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.

By: M. d’Amorim*, S. Lauterburg* & D. Marinov*

Source: ORCID
Added: June 21, 2023

2007 conference paper

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007

Ed(s): D. Rosenblum & S. Elbaum

Source: ORCID
Added: June 21, 2023

2006 conference paper

21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4019543

Source: ORCID
Added: June 21, 2023

2006 conference paper

21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4019543

Source: ORCID
Added: June 21, 2023

2006 conference paper

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.

Source: ORCID
Added: June 21, 2023

2006 journal article

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP

Electr. Notes Theor. Comput. Sci., 144(4), 3–20.

Source: ORCID
Added: June 21, 2023

2005 journal article

An Equational Specification for the Scheme Language

J. UCS, 11(7), 1327–1348.

By: M. d’Amorim & G. Rosu*

Source: ORCID
Added: June 21, 2023

2005 conference paper

Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Ed(s): K. Etessami & S. Rajamani

Source: ORCID
Added: June 21, 2023

2005 conference paper

Efficient Monitoring of omega-Languages

Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, 364–378.

By: M. d’Amorim* & G. Rosu

Source: ORCID
Added: June 21, 2023

2005 journal article

Event-based runtime verification of java programs

ACM SIGSOFT Software Engineering Notes, 30(4), 1–7.

By: M. d’Amorim* & K. Havelund*

Source: ORCID
Added: June 21, 2023

2004 conference paper

A Formal Monitoring-Based Framework for Software Development and Analysis

Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, 357–372.

Source: ORCID
Added: June 21, 2023

2004 conference paper

Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Ed(s): J. Davies, W. Schulte & M. Barnett

Source: ORCID
Added: June 21, 2023

2001 conference paper

A Design for JTrader, an Internet Trading Service

Innovative Internet Computing Systems, International Workshop IICS 2001, Ilmenau, Germany, June 21-22, 2001, Proceedings, 159–166.

Source: ORCID
Added: June 21, 2023

2001 conference paper

Innovative Internet Computing Systems, International Workshop IICS 2001, Ilmenau, Germany, June 21-22, 2001, Proceedings

Ed(s): T. B\"o

Source: ORCID
Added: June 21, 2023

Employment

Updated: October 11th, 2022 10:27

2022 - present

North Carolina State University Raleigh, North Carolina, US
Associate Professor Computer Science

2009 - present

Universidade Federal de Pernambuco Recife, PE, BR
Professor Associado Ciência da Computação

Education

Updated: March 1st, 2018 13:39

2002 - 2007

University of Illinois at Urbana-Champaign Urbana, Illinois, US
PhD Computer Science