Alessandro Orso

Orcid: 0000-0003-4516-9320

Affiliations:
  • Georgia Institute of Technology, Atlanta GA, USA


According to our database1, Alessandro Orso authored at least 157 papers between 1995 and 2024.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Learning Defect Prediction from Unrealistic Data.
Proceedings of the IEEE International Conference on Software Analysis, 2024

A Framework For Inferring Properties of User-Defined Functions.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Leveraging Large Language Models to Improve REST API Testing.
Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results, 2024

Improving Program Debloating with 1-DU Chain Minimality.
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

Generating REST API Specifications through Static Analysis.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023
Enhancing Mobile App Bug Reporting via Real-Time Understanding of Reproduction Steps.
IEEE Trans. Software Eng., March, 2023

Adaptive REST API Testing with Reinforcement Learning.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Enhancing REST API Testing with NLP Techniques.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022
Studying and Understanding the Tradeoffs Between Generality and Reduction in Software Debloating.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Automated test generation for REST APIs: no time to rest yet.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Automating Differential Testing with Overapproximate Symbolic Execution.
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Automatic Detection of Performance Bugs in Database Systems using Equivalent Queries.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Use of Test Doubles in Android Testing: An In-Depth Investigation.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021
Automated Performance Bug Detection in Database Systems.
CoRR, 2021

Automated debugging: past, present, and future (ISSTA impact paper award).
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020
Probabilistic Lipschitz Analysis of Neural Networks.
Proceedings of the Static Analysis - 27th International Symposium, 2020

Subdomain-Based Generality-Aware Debloating.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Managing App Testing Device Clouds: Issues and Opportunities.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

A Framework for Automated Test Mocking of Mobile Apps.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Seven Reasons Why: An In-Depth Study of the Limitations of Random Test Input Generation for Android.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

More Accurate Dynamic Slicing for Better Supporting Software Debugging.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Improving Testing by Mimicking User Behavior.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Program debloating via stochastic optimization.
Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

PG-KLEE: trading soundness for coverage.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

APIMigrator: an API-usage migration tool for Android apps.
Proceedings of the MOBILESoft '20: IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems, 2020

AppTestMigrator: a tool for automated test migration for Android apps.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2019
Test Migration Between Mobile Apps with Similar Functionality.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Automated API-usage update for Android apps.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Intent-Preserving Test Repair.
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Identifying features of Android apps from execution traces.
Proceedings of the 6th International Conference on Mobile Software Engineering and Systems, 2019

Mimicking user behavior to improve in-house test suites.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Zero-overhead path prediction with progressive symbolic execution.
Proceedings of the 41st International Conference on Software Engineering, 2019

Robustness of neural networks: a probabilistic and practical approach.
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

2018
Enabling Refinable Cross-Host Attack Investigation with Efficient Data Flow Tagging and Tracking.
Proceedings of the 27th USENIX Security Symposium, 2018

Automatically translating bug reports into test cases for mobile apps.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Test migration for efficient large-scale assessment of mobile app coding assignments.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Enlightened debugging.
Proceedings of the 40th International Conference on Software Engineering, 2018

GUIfetch: supporting app design and development through GUI search.
Proceedings of the 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden, May 27, 2018

Automated test migration for mobile apps.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017
Automated cross-platform inconsistency detection for mobile apps.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Behavioral Execution Comparison: Are Tests Representative of Field Behavior?
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

RAIN: Refinable Attack Investigation with On-demand Inter-Process Information Flow Tracking.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016
From Manual Android Tests to Automated and Platform Independent Test Scripts.
CoRR, 2016

Zero-overhead profiling via EM emanations.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Iterative User-Driven Fault Localization.
Proceedings of the Hardware and Software: Verification and Testing, 2016

Improving Efficiency and Accuracy of Formula-Based Debugging.
Proceedings of the Hardware and Software: Verification and Testing, 2016

Don't forget the developers! (and be careful with your assumptions).
Proceedings of the Perspectives on Data Science for Software Engineering, 2016

Software analytics under the lamp post (or what star trek teaches us about the importance of asking the right questions).
Proceedings of the Perspectives on Data Science for Software Engineering, 2016

2015
Automated Support for Reproducing and Debugging Field Failures.
ACM Trans. Softw. Eng. Methodol., 2015

Special issue for the ICST 2013 conference.
Softw. Test. Verification Reliab., 2015

ACM SIGSOFT FSE 2014 Conference Summary.
ACM SIGSOFT Softw. Eng. Notes, 2015

Automated Test Input Generation for Android: Are We There Yet?
CoRR, 2015

Users beware: preference inconsistencies ahead.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Automated Test Input Generation for Android: Are We There Yet? (E).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Evaluating the usefulness of IR-based fault localization techniques.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

AutoCSP: Automatically Retrofitting CSP to Web Applications.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Improving Efficiency and Scalability of Formula-based Debugging.
CoRR, 2014

MIMIC: locating and understanding bugs by analyzing mimicked executions.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

X-PERT: a web application testing tool for cross-browser inconsistency detection.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Cross-platform feature matching for web applications.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Reproducing Field Failures for Programs with Complex Grammar-Based Input.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Software testing: a research travelogue (2000-2014).
Proceedings of the on Future of Software Engineering, 2014

MintHint: automated synthesis of repair hints.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Developing analysis and testing plug-ins for modern IDEs: an experience report.
Softw. Pract. Exp., 2013

SBFR: A search based approach for reproducing failures of programs with grammar based input.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

F3: fault localization for field failures.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

Search-Based Propagation of Regression Faults in Automated Regression Testing.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

TestEvol: a tool for analyzing test-suite evolution.
Proceedings of the 35th International Conference on Software Engineering, 2013

X-PERT: accurate identification of cross-browser issues in web applications.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Guest Editorial: Special Section on the International Symposium on Software Testing and Analysis 2010.
IEEE Trans. Software Eng., 2012

Effective and Efficient Memory Protection Using Dynamic Tainting.
IEEE Trans. Computers, 2012

Understanding myths and realities of test-suite evolution.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Isolating failure causes through test case generation.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

Efficient regression testing of ontology-driven systems.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Summary of the ICSE 2012 workshops.
Proceedings of the 34th International Conference on Software Engineering, 2012

BugRedux: Reproducing field failures for in-house debugging.
Proceedings of the 34th International Conference on Software Engineering, 2012

Systematic Modeling, Testing, and Monitoring of Information Integrity in Federated Ontology-driven Data Sources.
Proceedings of the AMIA 2012, 2012

2011
SQL Injection Attacks.
Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Improving penetration testing through static and dynamic analysis.
Softw. Test. Verification Reliab., 2011

Are automated debugging techniques actually helping programmers?
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Execution Hijacking: Improving Dynamic Analysis by Flying off Course.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

When Does My Program Fail?
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Regression testing in the presence of non-code changes.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Optimizing Constraint Solving to Better Support Symbolic Execution.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Camouflage: automated anonymization of field data.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Platform support for developing testing and analysis plug-ins.
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

2010
Monitoring, analysis, and testing of deployed software.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

BERT: a tool for behavioral regression testing.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Bridging gaps between developers and testers in globally-distributed software development.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Precisely Detecting Runtime Change Interactions for Evolving Software.
Proceedings of the Third International Conference on Software Testing, 2010

Automated Behavioral Regression Testing.
Proceedings of the Third International Conference on Software Testing, 2010

A cross-browser web application testing tool.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

WEBDIFF: Automated identification of cross-browser issues in web applications.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

LEAKPOINT: pinpointing the causes of memory leaks.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
Precise interface identification to improve testing and analysis of web applications.
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Penumbra: automatically identifying failure-relevant inputs using dynamic tainting.
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Penetration Testing with Improved Input Vector Identification.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Automated Client-Side Monitoring for Web Applications.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

MINTS: A general framework and tool for supporting test-suite minimization.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
WASP: Protecting Web Applications Using Positive Tainting and Syntax-Aware Evaluation.
IEEE Trans. Software Eng., 2008

Pooled ANOVA.
Comput. Stat. Data Anal., 2008

Automated identification of parameter mismatches in web applications.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Test-Suite Augmentation for Evolving Software.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Rapid: Identifying Bug Signatures to Support Debugging Activities.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

BERT: BEhavioral Regression Testing.
Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), 2008

2007
Detection and Prevention of SQL Injection Attacks.
Proceedings of the Malware Detection, 2007

Techniques for Classifying Executions of Deployed Software to Support Software Engineering Tasks.
IEEE Trans. Software Eng., 2007

Using component metadata to regression test component-based software.
Softw. Test. Verification Reliab., 2007

JDiff: A differencing technique and tool for object-oriented programs.
Autom. Softw. Eng., 2007

Type-Dependence Analysis and Program Transformation for Symbolic Execution.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Improving test case generation for web applications using automated interface discovery.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Eclipse technology exchange workshop (ETX2007).
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Effective memory protection using dynamic tainting.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Dytan: a generic dynamic taint analysis framework.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

SCARPE: A Technique and Tool for Selective Capture and Replay of Program Executions.
Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

Fifth International Workshop on Dynamic Analysis (WODA 2007).
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

A Technique for Enabling and Supporting Debugging of Field Failures.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006
MATRIX: Maintenance-Oriented Testing Requirements Identifier and Examiner.
Proceedings of the Testing: Academia and Industry Conference, 2006

Using positive tainting and syntax-aware evaluation to counter SQL injection attacks.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Eclipse technology eXchange (ETX) workshop.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Command-Form Coverage for Testing Database Applications.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

A Classification of SQL Injection Attacks and Countermeasures.
Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

Preventing SQL injection attacks using AMNESIA.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
Selective capture and replay of program executions.
ACM SIGSOFT Softw. Eng. Notes, 2005

Combining static analysis and runtime monitoring to counter SQL-injection attacks.
ACM SIGSOFT Softw. Eng. Notes, 2005

Applying classification techniques to remotely-collected program execution data.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

MonDe: safe updating through monitored deployment of new component versions.
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Efficient and precise dynamic impact analysis using execute-after sequences.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

InsECTJ: a generic instrumentation framework for collecting dynamic information within Eclipse.
Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

2004
Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging.
ACM Trans. Softw. Eng. Methodol., 2004

A generic instrumentation framework for collecting dynamic information.
ACM SIGSOFT Softw. Eng. Notes, 2004

GAMMATELLA: visualizing program-execution data for deployed software.
Inf. Vis., 2004

Scaling regression testing to large software systems.
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

A Differencing Algorithm for Object-Oriented Programs.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Second ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS).
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Gammatella: Visualization of Program-Execution Data for Deployed Software.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

An Empirical Comparison of Dynamic Impact Analysis Algorithms.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003
ICSE workshop on remote analysis and measurement of software systems (RAMSS).
ACM SIGSOFT Softw. Eng. Notes, 2003

Visualization of Program-Execution Data for Deployed Software.
Proceedings of the Proceedings ACM 2003 Symposium on Software Visualization, 2003

Leveraging field data for impact analysis and regression testing.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

2002
Monitoring deployed software using software tomography.
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2002

Gamma system: continuous evolution of software after deployment.
Proceedings of the International Symposium on Software Testing and Analysis, 2002

A Technique for Dynamic Updating of Java Software.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Interclass Testing of Object Oriented Software.
Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

2001
Regression Test Selection for Java Software.
Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

Effects of Pointers on Data Dependences.
Proceedings of the 9th International Workshop on Program Comprehension (IWPC 2001), 2001

Incremental Slicing Based on Data-Dependences Types.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

Using Component Metacontent to Support the Regression Testing of Component-Based Software.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

2000
Automated Testing of Classes.
Proceedings of the International Symposium on Software Testing and Analysis, 2000

Component Metadata for Software Engineering Tasks.
Proceedings of the Engineering Distributed Objects, Second International Workshop, 2000

1997
Introducing Formal Specification Methods in Industrial Practice.
Proceedings of the Pulling Together, 1997

1995
Customizable notations for kernel formalisms.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995


  Loading...