|
Alex Orso - Refereed Publications
|
Articles are available in Portable Document Format (PDF)
or PostScript®
format and some of them are compressed with gzip.
Downloading any one of these documents indicates that you agree to
abide by a copyright notice.
2009
- "PENUMBRA: Automatically Identifying Failure-Relevant Inputs
Using Dynamic Tainting"
J. Clause and A. Orso
Proceedings of the ACM SIGSOFT International Symposium on
Software Testing and Analysis (ISSTA 2009). [ To Appear ]
- "Precise Interface Identification to Improve Testing and
Analysis of Web Applications"
W. Halfond, S. Anand, and
A. Orso Proceedings of the ACM SIGSOFT International
Symposium on Software Testing and Analysis (ISSTA 2009). [ To Appear ]
- "Automated Client-side Monitoring for Web Applications"
S.R. Choudhary, and A. Orso Proceedings of the 1st
International Workshop on Web Testing (WEBTEST 2009). [ To Appear ]
- "Penetration Testing with Improved Input Vector
Identification"
W. Halfond, S.R. Choudhary, and A. Orso
Proceedings of the 2nd IEEE International Conference on Software
Testing, Verification and Validation (ICST 2009). [ To Appear ]
- "MINTS: A General Framework and Tool for Supporting
Test-suite Minimization"
H.-Y. Hsu and A. Orso
Proceedings of the 31st IEEE and ACM SIGSOFT International
Conference on Software Engineering (ICSE 2009). [ To Appear ]
2008
- "Automated Identification of Interface Mismatches in Web
Applications"
[Best Student Presentation Award]
W. Halfond and A. Orso Proceedings of
the ACM SIGSOFT Symposium on the Foundations of Software Engineering
(FSE 2008).
[ To Appear ]
- "Test-suite Augmentation for Evolving Software"
[Best Paper Award and an ACM-SIGSOFT Distinguished Paper Award]
R. Santelices, P. Kumar Chittimalli, T. Apiwattanapong, A. Orso, and
M. J. Harrold Proceedings of the 23rd IEEE/ACM International
Conference on Automated Software Engineering (ASE 2008).
[ To Appear ]
- "Rapid: Identifying Bug Signatures to Support Debugging
Activities" [short paper]
H.-Y. Hsu, J. Jones, and
A. Orso Proceedings of the 23rd IEEE/ACM International
Conference on Automated Software Engineering (ASE 2008). [ To Appear ]
- "BERT: BEhavioral Regression Testing"
A. Orso and Tao
Xie Proceedings of the Sixth International ISSTA Workshop on
Dynamic Analysis (WODA 2008).
[ To Appear ]
- "Pooled ANOVA"
M. Last, G. Luta, A. Orso, A. Porter
and S. Young Journal on Computational Statistics and Data
Analysis.
- "WASP: Protecting Web Applications Using Positive Tainting and
Syntax-Aware Evaluation"
W. Halfond, A. Orso, and
P. Manolios. IEEE Transactions on Software Engineering.
2007
- "Effective Memory Protection Using Dynamic Tainting"
J. Clause, I. Doudalis, A. Orso, and M. Prvulovic. Proceedings of
the 22nd IEEE and ACM International Conference on Automated Software
Engineering (ASE 2007).
- "SCARPE: A Technique and Tool for Selective Record and Replay of Program Executions"
S. Joshi and A. Orso
Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007).
- "Improving Test Case Generation for Web Applications Using
Automated Interface Discovery"
W. Halfond and A. Orso
Proceedings of the European Software Engineering Conference and ACM
SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE
2007).
- "Dytan: A Generic Dynamic Taint Analysis Framework"
J. Clause, W. Li, and A. Orso
Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007).
- "Using Component Metadata to Regression Test Component-based
Software"
A. Orso, H. Do, G. Rothermel, M. J. Harrold and D. Rosenblum
Software Testing, Verification and Reliability
- "A Technique for Enabling and Supporting Debugging of Field Failures"
J. Clause and A. Orso
Proceedings of the 29th IEEE and ACM SIGSOFT International Conference on Software Engineering (ICSE 2007).
- "Techniques for Classifying Executions of Deployed Software to Support Software Engineering Tasks"
M. Haran, A. Karr, M. Last, A. Orso, A. Porter, A. Sanil, and S. Fouché.
IEEE Transactions on Software Engineering.
- "Type-dependence Analysis and Program Transformation for Symbolic Execution"
S. Anand, A. Orso, and M.J. Harrold
Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007).
- "JDiff: A Differencing Technique and Tool for Object-Oriented
Programs"
T. Apiwattanapong, A. Orso and M. J. Harrold
Automated Software Engineering: An International Journal
2006
- "Using Positive Tainting and Syntax-Aware Evaluation to Protect
Web Applications"
W. Halfond, A. Orso, and P. Manolios. Proceedings of the 14th ACM
SIGSOFT Symposium on the Foundations of Software Engineering (FSE
2006).
- "Command-Form Coverage for Testing Database
Applications"
W. Halfond and A. Orso
Proceedings of the IEEE and ACM International Conference on
Automated Software Engineering (ASE 2006).
- "MaTRIX: Maintenance-Oriented Testing Requirements Identifier
and Examiner"
T. Apiwattanapong, R. Santelices, P. Kumar Chittimalli, A. Orso, and
M.J. Harrold
Proceedings of the IEEE Workshop on "Testing: Academic & Industrial
Conference, Practice and Research Techniques" (TAIC PART 2006)
- "Preventing SQL Injection Attacks Using AMNESIA"
W. Halfond and A. Orso
28th IEEE and ACM SIGSOFT International Conference on Software
Engineering (ICSE 2006) -- Formal Demos track
- "Isolating relevant Component Interactions with JINSI"
A. Orso, S. Joshi, M. Burger, and A. Zeller
Proceedings of the Fourth International ICSE Workshop on Dynamic Analysis (WODA 2006).
- "Recognizing Behavioral Patterns at Runtime using Finite Automata"
L. Wendehals and A. Orso
Proceedings of the Fourth International ICSE Workshop on Dynamic Analysis (WODA 2006).
- "A Classification of SQL Injection Attacks and Prevention
Techniques"
W. Halfond, J. Viegas and A. Orso
Proceedings of the IEEE International Symposium on Secure Software Engineering (ISSSE 2006)
2005
- "InsECTJ: A Generic Instrumentation Framework for Collecting Dynamic Information within Eclipse"
A. Seesing and A. Orso
Proceedings of the eclipse Technology eXchange (eTX) Workshop at OOPSLA 2005.
- "AMNESIA: Analysis and Monitoring for NEutralizing SQL-Injection Attacks"
W. Halfond and A. Orso
Proceedings of the IEEE and ACM International Conference on Automated Software Engineering (ASE 2005).
- "MonDe: Safe Updating through Monitored Deployment of New Component Versions"
J. Cook and A. Orso
Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2005).
- "Applying Classification Techniques to Remotely-Collected Program Execution Data"
M. Haran, A. Karr, A. Orso, A. Porter, and A. Sanil
Proceedings of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2005).
- "Selective Capture and Replay of Program Executions"
A. Orso and B. Kennedy. Proceedings of the Third
International ICSE Workshop on Dynamic Analysis (WODA 2005).
- "Combining Static Analysis and Runtime Monitoring to Counter
SQL-Injection Attacks"
W. Halfond and A. Orso.
Proceedings of the Third International ICSE Workshop on Dynamic
Analysis (WODA 2005).
- "Efficient and Precise Dynamic Impact Analysis Using
Execute-After Sequences"
T. Apiwattanapong, A. Orso, and
M.J. Harrold. Proceedings of the 27th IEEE and ACM SIGSOFT
International Conference on Software Engineering (ICSE
2005).
2004
- "Scaling Regression Testing to Large Software Systems."
A. Orso, N. Shi, and M.J. Harrold. Proceedings of the 12th ACM
SIGSOFT Symposium on the Foundations of Software Engineering (FSE
2004).
- "A Differencing Algorithm for Object-oriented Programs."
[Best Paper Award and an ACM-SIGSOFT Distinguished Paper Award]
T. Apiwattanapong, A. Orso, and
M.J. Harrold Proceedings of the 19th IEEE International
Conference on Automated Software Engineering (ASE 2004).
- "A Generic Instrumentation Framework for Collecting Dynamic
Information."
A. Chawla and A. Orso. Online Proceeding
of the ISSTA Workshop on Empirical Research in Software Testing (WERST
2004). July 2004.
- "Classifying Data Dependences in the Presence of Pointers for
Program Comprehension, Testing, and Debugging."
A. Orso,
S. Sinha, and M.J. Harrold. ACM Transactions on Software
Engineering and Methodology (TOSEM), 2004, Volume 13, Number 2,
pages 199--239.
- "Gammatella: Visualizing Program-Execution Data for Deployed
Software."
J. Jones, A. Orso, and
M.J. Harrold. Information Visualization, 2004, Volume 3,
Number 3, pages 173--188.
- "An Empirical Comparison of Dynamic Impact Analysis
Algorithms."
A. Orso, T. Apiwattanapong, J. Law, G. Rothermel,
and M.J. Harrold. Proceedings of the 26th IEEE and ACM SIGSOFT
International Conference on Software Engineering (ICSE 2004). May
2004.
- "Automated Support for Development, Maintenance, and Testing in
the Presence of Implicit Control Flow."
S. Sinha, A. Orso, and
M.J. Harrold. Proceedings of the 26th IEEE and ACM SIGSOFT
International Conference on Software Engineering (ICSE 2004). May
2004.
2003
- Presentation: "Improving Dynamic Analysis through Partial
Replay of Users' Executions."
A. Orso and
B. Kennedy. Online Proceedings of the Dagstuhl Seminar on
Understanding Program Dynamics. December 2003.
- "Leveraging Field Data for Impact Analysis and Regression
Testing."
A. Orso, T. Apiwattanapong, and M.J. Harrold.
Proceedings of the European Software Engineering Conference and ACM
SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE
2003). September 2003.
- "Visualization of Program-Execution Data for Deployed
Software."
[ACM-SIGSOFT Distinguished Paper Award]
A. Orso, J. Jones, and
M.J. Harrold. Proceedings of the ACM symposium on Software
Visualization (SOFTVIS 2003). June 2003.
2002
- "Interclass Testing of Object Oriented Software."
V. Martena, A. Orso, and M. Pezzè. Proceedings of
the IEEE International Conference on Engineering of Complex Computer
Systems (ICECCS 2002). December 2002.
- "Monitoring Deployed Software Using Software Tomography."
J. Bowring, A. Orso, and M.J. Harrold. Proceedings of the
ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools
and Engineering (PASTE 2002). November 2002.
- "A Technique for Dynamic Updating of Java Software."
A. Orso, A. Rao, and M.J. Harrold. Proceedings of the IEEE
International Conference on Software Maintenance (ICSM
2002). October 2002.
- "Gamma System: Continuous Evolution of Software after
Deployment."
A. Orso, D. Liang, M.J. Harrold, and
R. Lipton. Proceedings of the International Symposium on
Software Testing and Analysis (ISSTA 2002). July 2002.
2001
- "Using Component Metacontents to Support the Regression Testing
of Component-Based Software."
A. Orso, M.J. Harrold,
D. Rosenblum, G. Rothermel, M.L. Soffa, and H. Do. Proceedings
of the IEEE International Conference on Software Maintenance (ICSM
2001). November 2001.
- "Incremental Slicing Based on Data-Dependences Types."
A. Orso, S. Sinha, and M.J. Harrold. Proceedings of the
IEEE International Conference on Software Maintenance (ICSM 2001).
November 2001.
- "Regression Test Selection for Java Software."
M.J. Harrold, J. Jones, T. Li, D. Liang, A. Orso, M. Pennings,
S. Sinha, S. Spoon, and A. Gujarathi. Proceedings of the ACM
Conference on Object-Oriented Programming, Systems, Languages, and
Applications (OOPSLA 2001). October 2001.
- "MASSA: Mobile Agents Security through Static/Dynamic
Analysis."
A. Orso, G. Vigna, and
M.J. Harrold. Proceedings of the ICSE Workshop on Software
Engineering and Mobility. May 2001.
- "Effects of Pointers on Data Dependences."
A. Orso,
S. Sinha, and M.J. Harrold. Proceedings of the International
Workshop on Program Comprehension (IWPC 2001). May 2001.
2000 and before
- "Component Metadata for Software Engineering Tasks."
A. Orso, M.J. Harrold, and D. Rosenblum. Proceedings of EDO
2000, LNCS Vol. 1999, Springer-Verlag. November 2000.
- "Automated Testing of Classes."
U. buy, A. Orso and
M. Pezzè. Proceedings of International Symposium on
Software Testing and Analysis (ISSTA 2000). August 2000.
- "Integration Testing of Procedural Object-Oriented Languages
with Polymorphism."
A. Orso and
M.Pezzè. Proceedings of the International Conference on
Testing Computer Software (TCS 1999). June 1999.
- "A Framework for Testing Object-Oriented Components."
U. Buy, C. Ghezzi, A. Orso, M.Pezzè, and M. Valsasna.
Proceedings of the ICSE Workshop on Testing Distributed
Component-Based Systems 1999. May 1999.
- "Integration Testing of Object-Oriented Software."
A. Orso, Ph.D. Dissertation, Dipartimento di
Elettronica e Informazione, Politecnico di Milano, Italy. February
1999.
- "Open Issues and Research Directions in Object-Oriented
Testing."
A. Orso and S. Silva. Proceedings of the
Fourth International Conference on Achieving Quality in Software
(AQUIS 1998). January 1998.
- "Introducing Formal Specification Methods in Industrial
Practice."
L. Baresi, A. Orso, and
M. Pezzè. Proceedings of the International Conference on
Software Engineering (ICSE 1997). May 1997.
- "Customizable Notations for Kernel Formalisms."
L. Baresi, A. Orso, and M. Pezzè. Proceedings of the
International Conference on Engineering of Complex Computer Systems
(ICECCS 1995). November 1995.
- Gammatella: Visualization of Program-Execution Data for
Deployed Software,
at the 26th IEEE and ACM SIGSOFT
International Conference on Software Engineering (ICSE
2004). Edinburgh, Scotland, May 2004.
(with J. Jones and M.J. Harrold)
- Visualization of Program-Execution Data for Deployed
Software,
at the ACM symposium on Software Visualization
(SOFTVIS 2003). San Diego, CA, June 2003.
(with J. Jones and M.J. Harrold)
- Software Tomography: Enabling Continuous Improvement in
Software Development,
at the ACM SIGSOFT International
Symposium on the Foundations of Software Engineering (FSE 2002).
Charleston, SC, November 2002.
(with J. Bowring and M.J. Harrold)
- Dynamic Update of Java Software,
at the Yamacraw
Industrial Advisory Board Workshop. Atlanta, GA, October 2002.
(with M. Balakrishnan and M.J. Harrold)
- DejaVOO: A Regression Testing Tool for Java Software,
at the ACM Conference on Object-Oriented Programming, Systems,
Languages, and Applications (OOPSLA 2001). Tampa Bay, Florida,
USA, October 2001.
(with D. Liang and M.J. Harrold)
|
|