
Registered user since Thu 12 Mar 2015
Alessandro Orso is the Dean of the College of Engineering and a Professor of Computer Science and Electrical & Computer Engineering at the University of Georgia. He received his M.S. degree in Electrical Engineering (1995) and his Ph.D. in Computer Science (1999) from Politecnico di Milano, Italy. Prior to joining UGA in 2025, he spent 25 years at the Georgia Institute of Technology, where he is now an Adjunct Professor. At Georgia Tech, he served as a Professor in the School of Computer Science and held leadership roles as Associate Dean and Interim Dean in the College of Computing. Dr. Orso’s research area is software engineering, with an emphasis on software testing and program analysis. His interests include the development of techniques and tools to improve software reliability, security, and trustworthiness, and the validation of such techniques on real-world systems. He has received research funding from government agencies such as DARPA, ONR, and NSF, as well as from industry leaders including Facebook, Fujitsu Labs, Google, IBM, and Microsoft. Dr. Orso has received several impact awards for his work, including two ISSTA Impact Paper Awards (2017 and 2021), two ASE Most Influential Paper Awards (2020 and 2025), and the IBM Haifa Verification Conference Award (2013). He has served on the editorial boards of ACM TOSEM and IEEE TSE, and on the Advisory Board of Reflective Corp. He was program chair or co-chair for several major conferences, including ACM SIGSOFT ISSTA 2010, IEEE ICST 2013, ACM-SIGSOFT FSE 2014, and ACM-SIGSOFT/IEEE ICSE 2017. He also served as a technical consultant to DARPA. Dr. Orso is a Distinguished Member of the ACM and an IEEE Fellow.
Contributions
2026
2025
2024
ICSE
- Author of Leveraging Large Language Models to Improve REST API Testing within the Artifact Evaluation-track
- Author of Leveraging Large Language Models to Improve REST API Testing within the New Ideas and Emerging Results-track
- Author of A Replication of "Generating REST API Specifications through Static Analysis" within the Artifact Evaluation-track
- Author of Generating REST API Specifications through Static Analysis within the Research Track-track
- Author of Improving Program Debloating with 1-DU Chain Minimality within the Posters-track
- Author of A Framework For Inferring Properties of User-Defined Functions within the Research Track-track
KLEE
2023
ASE
ICSE
2022
ASE
ICSE
2021
ISSTA
2020
Static Analysis Symposium
ASE
- Author of Seven Reasons Why: An In-Depth Study of the Limitations of Random Test Input Generation for Android within the Research Papers-track
- Author of AMNESIA: Analysis and Monitoring for NEutralizing SQL-Injection Attacks within the Plenary-track
- Author of A Framework for Automated Test Mocking of Mobile Apps within the NIER track-track
- Author of Managing App Testing Device Clouds: Issues and Opportunities within the Late Breaking Results-track
- Author of Subdomain-Based Generality-Aware Debloating within the Research Papers-track
ICSE
- Awards Chair in Organizing Committee
- Author of PG-KLEE: Trading Soundness for Coverage within the Demonstrations-track
- Programme Committee in Program Committee within the Technical Papers-track
- Author of Program Debloating via Stochastic Optimization within the New Ideas and Emerging Results-track
- Author of AppTestMigrator: A Tool for Automated Test Migration for Android Apps within the Demonstrations-track
2019
ICSE
- Author of Robustness of Neural Networks: A Probabilistic and Practical Perspective within the New Ideas and Emerging Results-track
- Author of Mimicking User Behavior to Improve In-House Test Suites within the Posters-track
- Author of Zero-Overhead Path Prediction with Progressive Symbolic Execution within the Technical Track-track
2018
ECOOP/ISSTA
ISSTA
- Author of Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments within the ISSTA Technical Papers-track
- Committee Member in Program Committee within the ISSTA Technical Papers-track
- Author of Automatically Translating Bug Reports into Test Cases for Mobile Apps within the ISSTA Technical Papers-track