Marcelo D'Amorim

NCQ: Code Reuse Support for Node.js Developers

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

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

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.

Preface

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

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.

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

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

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.

Time-Space Efficient Regression Testing for Configurable Systems

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

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

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.

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

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.

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.

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

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 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.

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

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.

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

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.

Efficient static checker for tainted variable attacks

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

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

Assertion Checking in J-Sim Simulation Models of Network Protocols

Simulation, 86(11), 651–673.

Randomized constraint solvers: a comparative study

ISSE, 6(3), 243–253.

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.

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.

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

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

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

ACM.

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

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

State extensions for java pathfinder

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

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.

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

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

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

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.

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

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

An Equational Specification for the Scheme Language

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

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

Efficient Monitoring of omega-Languages

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

Event-based runtime verification of java programs

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

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.

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

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.

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