| 2025 | ICSE | A Multi-Agent Approach for REST API Testing with Semantic Graphs and LLM-Driven Inputs. | Myeongsoo Kim, Tyler Stennett, Saurabh Sinha, Alessandro Orso |
| 2025 | ICSE | AutoRestTest: A Tool for Automated REST API Testing Using LLMs and MARL. | Tyler Stennett, Myeongsoo Kim, Saurabh Sinha, Alessandro Orso |
| 2024 | ICSE | Generating REST API Specifications through Static Analysis. | Ruikai Huang, Manish Motwani, Idel Martinez, Alessandro Orso |
| 2024 | ICSE | Improving Program Debloating with 1-DU Chain Minimality. | Myeongsoo Kim, Santosh Pande, Alessandro Orso |
| 2024 | ICSE | Leveraging Large Language Models to Improve REST API Testing. | Myeongsoo Kim, Tyler Stennett, Dhruv Shah, Saurabh Sinha, Alessandro Orso |
| 2024 | ICSE | A Framework For Inferring Properties of User-Defined Functions. | Xinyu Liu, Joy Arulraj, Alessandro Orso |
| 2024 | SC | Toward Automated Detection of Portability Bugs in Kokkos Parallel Programs. | Vivek Kale, Hanru Yan, Shyamali Mukherjee, Jackson R. Mayo, Keita Teranishi, Richard Rutledge, Alessandro Orso |
| 2023 | ISSTA | Enhancing REST API Testing with NLP Techniques. | Myeongsoo Kim, Davide Corradini, Saurabh Sinha, Alessandro Orso, Michele Pasqua, Rachel Tzoref-Brill, Mariano Ceccato |
| 2022 | ICSE | Use of Test Doubles in Android Testing: An In-Depth Investigation. | Mattia Fazzini, Chase Choi, Juan Manuel Copia, Gabriel Lee, Yoshiki Kakehi, Alessandra Gorla, Alessandro Orso |
| 2022 | ICSE | Automatic Detection of Performance Bugs in Database Systems using Equivalent Queries. | Xinyu Liu, Qi Zhou, Joy Arulraj, Alessandro Orso |
| 2022 | ICST | Automating Differential Testing with Overapproximate Symbolic Execution. | Richard Rutledge, Alessandro Orso |
| 2022 | ISSTA | Automated test generation for REST APIs: no time to rest yet. | Myeongsoo Kim, Qi Xin, Saurabh Sinha, Alessandro Orso |
| 2021 | ISSTA | Automated debugging: past, present, and future (ISSTA impact paper award). | Chris Parnin, Alessandro Orso |
| 2020 | ICSE | AppTestMigrator: a tool for automated test migration for Android apps. | Farnaz Behrang, Alessandro Orso |
| 2020 | ICSE | APIMigrator: an API-usage migration tool for Android apps. | Mattia Fazzini, Qi Xin, Alessandro Orso |
| 2020 | ICSE | PG-KLEE: trading soundness for coverage. | Richard Rutledge, Alessandro Orso |
| 2020 | ICSE | Program debloating via stochastic optimization. | Qi Xin, Myeongsoo Kim, Qirun Zhang, Alessandro Orso |
| 2020 | ICST | More Accurate Dynamic Slicing for Better Supporting Software Debugging. | Xiangyu Li, Alessandro Orso |
| 2020 | SAS | Probabilistic Lipschitz Analysis of Neural Networks. | Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso |
| 2019 | ICSE | Robustness of neural networks: a probabilistic and practical approach. | Ravi Mangal, Aditya V. Nori, Alessandro Orso |
| 2019 | ICSE | Zero-overhead path prediction with progressive symbolic execution. | Richard Rutledge, Sunjae Park, Haider Adnan Khan, Alessandro Orso, Milos Prvulovic, Alenka G. Zajic |
| 2019 | ICSE | Mimicking user behavior to improve in-house test suites. | Qianqian Wang, Alessandro Orso |
| 2019 | ICSE | Identifying features of Android apps from execution traces. | Qi Xin, Farnaz Behrang, Mattia Fazzini, Alessandro Orso |
| 2019 | ICST | Intent-Preserving Test Repair. | Xiangyu Li, Marcelo d'Amorim, Alessandro Orso |
| 2019 | ISSTA | Automated API-usage update for Android apps. | Mattia Fazzini, Qi Xin, Alessandro Orso |
| 2018 | ICSE | Automated test migration for mobile apps. | Farnaz Behrang, Alessandro Orso |
| 2018 | ICSE | GUIfetch: supporting app design and development through GUI search. | Farnaz Behrang, Steven P. Reiss, Alessandro Orso |
| 2018 | ICSE | Enlightened debugging. | Xiangyu Li, Shaowei Zhu, Marcelo d'Amorim, Alessandro Orso |
| 2018 | ISSTA | Test migration for efficient large-scale assessment of mobile app coding assignments. | Farnaz Behrang, Alessandro Orso |
| 2018 | ISSTA | Automatically translating bug reports into test cases for mobile apps. | Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, Alessandro Orso |
| 2017 | CCS | RAIN: Refinable Attack Investigation with On-demand Inter-Process Information Flow Tracking. | Yang Ji, Sangho Lee, Evan Downing, Weiren Wang, Mattia Fazzini, Taesoo Kim, Alessandro Orso, Wenke Lee |
| 2017 | ICST | Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests. | Mattia Fazzini, Eduardo Noronha de Andrade Freitas, Shauvik Roy Choudhary, Alessandro Orso |
| 2017 | ICST | Behavioral Execution Comparison: Are Tests Representative of Field Behavior? | Qianqian Wang, Yuriy Brun, Alessandro Orso |
| 2016 | ISSTA | Zero-overhead profiling via EM emanations. | Robert Locke Callan, Farnaz Behrang, Alenka G. Zajic, Milos Prvulovic, Alessandro Orso |
| 2015 | ICSE | AutoCSP: Automatically Retrofitting CSP to Web Applications. | Mattia Fazzini, Prateek Saxena, Alessandro Orso |
| 2015 | ISSTA | Evaluating the usefulness of IR-based fault localization techniques. | Qianqian Wang, Chris Parnin, Alessandro Orso |
| 2014 | ICSE | MintHint: automated synthesis of repair hints. | Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso |
| 2014 | ICSE | Software testing: a research travelogue (2000-2014). | Alessandro Orso, Gregg Rothermel |
| 2014 | ICST | Reproducing Field Failures for Programs with Complex Grammar-Based Input. | Fitsum Meshesha Kifetew, Wei Jin, Roberto Tiella, Alessandro Orso, Paolo Tonella |
| 2014 | ISSTA | Cross-platform feature matching for web applications. | Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |
| 2014 | ISSTA | X-PERT: a web application testing tool for cross-browser inconsistency detection. | Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |
| 2013 | ICSE | X-PERT: accurate identification of cross-browser issues in web applications. | Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |
| 2013 | ICSE | TestEvol: a tool for analyzing test-suite evolution. | Leandro Sales Pinto, Saurabh Sinha, Alessandro Orso |
| 2013 | ICST | Search-Based Propagation of Regression Faults in Automated Regression Testing. | Sina Shamshiri, Gordon Fraser, Phil McMinn, Alessandro Orso |
| 2013 | ISSTA | F3: fault localization for field failures. | Wei Jin, Alessandro Orso |
| 2012 | AMIA | Systematic Modeling, Testing, and Monitoring of Information Integrity in Federated Ontology-driven Data Sources. | Mijung Kim, Jake Cobb, Tahsin M. Kur, Alessandro Orso, Mary Jean Harrold, Andrew R. Post, Shamkant B. Navathe, Joel H. Saltz |
| 2012 | ICSE | BugRedux: Reproducing field failures for in-house debugging. | Wei Jin, Alessandro Orso |
| 2012 | ICSE | Summary of the ICSE 2012 workshops. | Alessandro Orso, Ralf Reussner |
| 2012 | ICST | CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications. | Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |
| 2012 | ISSTA | ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies. | Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazzini, Tevfik Bultan, Alessandro Orso, Christopher Kruegel |
| 2012 | ISSTA | Efficient regression testing of ontology-driven systems. | Mijung Kim, Jake Cobb, Mary Jean Harrold, Tahsin M. Kur, Alessandro Orso, Joel H. Saltz, Andrew R. Post, Kunal Malhotra, Shamkant B. Navathe |
| 2012 | ISSTA | Isolating failure causes through test case generation. | Jeremias Rler, Gordon Fraser, Andreas Zeller, Alessandro Orso |
| 2011 | ICSE | Platform support for developing testing and analysis plug-ins. | Shauvik Roy Choudhary, Jeremy Duvall, Wei Jin, Dan Zhao, Alessandro Orso |
| 2011 | ICSE | Camouflage: automated anonymization of field data. | James A. Clause, Alessandro Orso |
| 2011 | ICST | Optimizing Constraint Solving to Better Support Symbolic Execution. | Ikpeme Erete, Alessandro Orso |
| 2011 | ICST | Regression testing in the presence of non-code changes. | Agastya Nanda, Senthil Mani, Saurabh Sinha, Mary Jean Harrold, Alessandro Orso |
| 2011 | ICST | When Does My Program Fail? | Jeremias Rler, Alessandro Orso, Andreas Zeller |
| 2011 | ICST | Execution Hijacking: Improving Dynamic Analysis by Flying off Course. | Petar Tsankov, Wei Jin, Alessandro Orso, Saurabh Sinha |
| 2011 | ISSTA | Are automated debugging techniques actually helping programmers? | Chris Parnin, Alessandro Orso |
| 2010 | ICSE | LEAKPOINT: pinpointing the causes of memory leaks. | James A. Clause, Alessandro Orso |
| 2010 | ICST | Automated Behavioral Regression Testing. | Wei Jin, Alessandro Orso, Tao Xie |
| 2010 | ICST | Precisely Detecting Runtime Change Interactions for Evolving Software. | Ral A. Santelices, Mary Jean Harrold, Alessandro Orso |
| 2009 | ICSE | MINTS: A general framework and tool for supporting test-suite minimization. | Hwa-You Hsu, Alessandro Orso |
| 2009 | ICST | Automated Client-Side Monitoring for Web Applications. | Shauvik Roy Choudhary, Alessandro Orso |
| 2009 | ICST | Penetration Testing with Improved Input Vector Identification. | William G. J. Halfond, Shauvik Roy Choudhary, Alessandro Orso |
| 2009 | ISSTA | Penumbra: automatically identifying failure-relevant inputs using dynamic tainting. | James A. Clause, Alessandro Orso |
| 2009 | ISSTA | Precise interface identification to improve testing and analysis of web applications. | William G. J. Halfond, Saswat Anand, Alessandro Orso |
| 2008 | ISSTA | BERT: BEhavioral Regression Testing. | Alessandro Orso, Tao Xie |
| 2007 | ICSE | A Technique for Enabling and Supporting Debugging of Field Failures. | James A. Clause, Alessandro Orso |
| 2007 | ICSE | Fifth International Workshop on Dynamic Analysis (WODA 2007). | Alessandro Orso, Andreas Zeller |
| 2007 | ISSTA | Dytan: a generic dynamic taint analysis framework. | James A. Clause, Wanchun Li, Alessandro Orso |
| 2007 | OOPSLA | Eclipse technology exchange workshop (ETX2007). | Li-Te Cheng, Cheryl Morris, Alessandro Orso, Martin P. Robillard |
| 2007 | TACAS | Type-Dependence Analysis and Program Transformation for Symbolic Execution. | Saswat Anand, Alessandro Orso, Mary Jean Harrold |
| 2006 | ICSE | Preventing SQL injection attacks using AMNESIA. | William G. J. Halfond, Alessandro Orso |
| 2006 | OOPSLA | Eclipse technology eXchange (ETX) workshop. | Michael G. Burke, Cheryl Morris, Alessandro Orso, Martin P. Robillard |
| 2005 | ICSE | Efficient and precise dynamic impact analysis using execute-after sequences. | Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold |
| 2004 | ICSE | An Empirical Comparison of Dynamic Impact Analysis Algorithms. | Alessandro Orso, Taweesup Apiwattanapong, James Law, Gregg Rothermel, Mary Jean Harrold |
| 2004 | ICSE | Gammatella: Visualization of Program-Execution Data for Deployed Software. | Alessandro Orso, James A. Jones, Mary Jean Harrold, John T. Stasko |
| 2004 | ICSE | Second ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS). | Alessandro Orso, Adam A. Porter |
| 2004 | ICSE | Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow. | Saurabh Sinha, Alessandro Orso, Mary Jean Harrold |
| 2003 | ICSE | ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS). | Alessandro Orso, Adam A. Porter |
| 2002 | ICECCS | Interclass Testing of Object Oriented Software. | Vincenzo Martena, Alessandro Orso, Mauro Pezz |
| 2002 | ISSTA | Gamma system: continuous evolution of software after deployment. | Alessandro Orso, Donglin Liang, Mary Jean Harrold, Richard J. Lipton |
| 2001 | OOPSLA | Regression Test Selection for Java Software. | Mary Jean Harrold, James A. Jones, Tongyu Li, Donglin Liang, Alessandro Orso, Maikel Pennings, Saurabh Sinha, Steven Alexander Spoon, Ashish Gujarathi |
| 2000 | ISSTA | Automated Testing of Classes. | Ugo A. Buy, Alessandro Orso, Mauro Pezz |
| 1997 | ICSE | Introducing Formal Specification Methods in Industrial Practice. | Luciano Baresi, Alessandro Orso, Mauro Pezz |
| 1995 | ICECCS | Customizable notations for kernel formalisms. | Luciano Baresi, Alessandro Orso, Mauro Pezz |