2024 article
A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback
PROCEEDINGS OF THE 1ST ACM INTERNATIONAL CONFERENCE ON AI-POWERED SOFTWARE, AIWARE 2024, pp. 103–111.
2024 conference paper
Feedback-Directed Partial Execution
Hayet, I., Scott, A., & d'Amorim, M. (2024, September 11).
2024 article
Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers
PROCEEDINGS 45TH IEEE SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS, SPW 2024, pp. 87–94.
2023 conference paper
Do you see any problem? On the Developers Perceptions in Test Smells Detection
Lima, R., Costa, K., Souza, J., Teixeira, L., Fonseca, B., D'Amorim, M., … Miranda, B. (2023, November 7).
2023 journal article
NCQ: Code Reuse Support for Node.js Developers
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 49(5), 3205–3225.
2023 journal article
Runtime Verification of Crypto APIs: An Empirical Study
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 49(10), 4510–4525.
2023 article
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.
2023 journal article
Test Flakiness Across Programming Languages
IEEE Transactions on Software Engineering.
2022 conference paper
Leveraging Practitioners’ Feedback to Improve a Security Linter
Reis, S., Abreu, R., d'Amorim, M., & Fortunato, D. (2022, October 10).
2022 journal article
RVprio: A tool for prioritizing runtime verification violations
Software Testing, Verification and Reliability.
2022 journal article
Syrius: Synthesis of Rules for Intrusion Detectors
IEEE Transactions on Reliability.
2022 conference paper
ThirdEye: Attention Maps for Safe Autonomous Driving Systems
Stocco, A., Nunes, P. J., D'Amorim, M., & Tonella, P. (2022, October 10).
2021 journal article
Exposing bugs in JavaScript engines through test transplantation and differential testing
Software Quality Journal.
2019 journal article
Practical detection of CMS plugin conflicts in large plugin sets
Information and Software Technology.
2019 journal article
Using Docker to Assist Q&A Forum Users
IEEE Transactions on Software Engineering.
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
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.
2017 journal article
Preface
J. Comput. Sci. Technol., 32(6), 1057–1059.
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.
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
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
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.
2017 journal article
Time-Space Efficient Regression Testing for Configurable Systems
CoRR, abs/1702.03457. http://arxiv.org/abs/1702.03457
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*
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.
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
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.
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.
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
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
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.
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
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.
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
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.
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 *
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.
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
2013 journal article
Efficient static checker for tainted variable attacks
Sci. Comput. Program., 80, 91–105.
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.
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
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.
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
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.
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
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.
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*
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.
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 *
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.
2010 journal article
Randomized constraint solvers: a comparative study
ISSE, 6(3), 243–253.
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.
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.
2009 journal article
Assertion Checking in J-Sim Simulation Models of Network Protocols
Simulation, 86(11), 651–673.
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
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
2008 conference paper
30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008
ACM.
Ed(s): W. Sch\"a
2008 journal article
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
IEEE Trans. Software Eng., 34(5), 597–613.
2008 conference paper
State extensions for java pathfinder
30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, 863–866.
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.
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
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
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
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.
2006 journal article
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Electr. Notes Theor. Comput. Sci., 144(4), 3–20.
2005 journal article
An Equational Specification for the Scheme Language
J. UCS, 11(7), 1327–1348.
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 *
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.
2005 journal article
Event-based runtime verification of java programs
ACM SIGSOFT Software Engineering Notes, 30(4), 1–7.
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.
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*
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.
2001 conference paper
Innovative Internet Computing Systems, International Workshop IICS 2001, Ilmenau, Germany, June 21-22, 2001, Proceedings
Ed(s): T. B\"o*
Updated: October 11th, 2022 10:27
2022 - present
2009 - present
Updated: March 1st, 2018 13:39
2002 - 2007
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.