Curriculum Vita

Mary Jean Harrold

General Information

The Ohio State University
Department of Computer and Information Science
395 Dreese Lab, 2015 Neil Avenue, Columbus, Ohio 43210-1277
Phone: (614) 292-2568
E-mail: harrold@cis.ohio-state.edu
Web Site: http://www.cis.ohio-state.edu/~harrold
Postscript version of this document: vita.ps
Research Interests
The overall goal of my research is to improve the processes by which software is developed, tested, and maintained. In particular, my research to date has involved activities in program-analysis-based software engineering, with an emphasis on regression testing, analysis and testing of imperative and object-oriented software, and development of software tools. An important component of my recent work is experimental validation of the results of my research. My future plans include the investigation of the scalability issues of these techniques, through algorithm development and empirical evaluation. My Research Summary contains details of my research projects.

Education

Professional Experience

External Funding

Impact Analysis for Critical Software. Boeing Airplane Group. January 1999 - December 1999, $130,000.

Evaluation and Institutionalization of the Computing Research Association' s Distributed Mentor Project, with Anne Condon and William Aspray. National Science Foundation Award EIA-9813290, Special Projects Program, July 1998 - June 2001, $624,526.

The Application of Flow Analysis to tex2html_wrap_inline493 and Coverage Compliance. Boeing Airplane Group. March 1998 - December 1998, $70,000.

An Empirical Study of Regression Test Suite Prioritization. National Science Foundation Research Opportunity Award Supplement to CCR-9707792, Experimental Software Systems Program, June 1998, May 1999, $25,535.

Scalable Program-Analysis-Based Testing and Maintenance: Infrastructure and Experimentation, with Renèe Miller, Adam Porter, and Gregg Rothermel. National Science Foundation Award CCR-9707792, Experimental Software Systems Program, September 1997 - August 2001, $1,553,149 (Research Opportunities for Undergraduates Supplement, June 1998 - May 1999, $5,000).

Research in Program Analysis, Testing and Maintenance. National Science Foundation National Young Investigator (NYI) Awards Program CCR-9357811, Software Engineering Program, July 1993 - June 1999, $312,500 (Research Opportunities for Undergraduates Supplement, June 1994 - May 1995, $10,000, June 1998 - May 1999, $5,000).

Industry match for National Young Investigator Award. Microsoft, Inc. May 1994 - June 1999, $113,000; Data General Corporation. May 1995 - June 1996, $10,000.

A System for Large Scale Experimentation in Software Analysis and Testing. College of Engineering, The Ohio State University. Seed Grant Award, January 1996 - June 1997, $18,333.

An Interprocedural Analysis System for C Programs. National Science Foundation Software Capitalization Supplement to RIA Award CCR-9109531. Software Engineering Program, June 1993 - May 1994, $22,119.

The Application of Data Flow Testing to Integration. National Science Foundation Research Initiation Award CCR-9109531. Software Engineering Program, July 1991 - December 1993, $49,449.

Journal Publications

M. J. Harrold. Testing Evolving Software. Journal of System Software, special issue of top scholars in the field of Systems & Software Engineering (1993-1997), to appear.

R. Pargas, M. J. Harrold, and R. Peck. Test Data Generation Using Genetic Algorithms. Journal of Software Testing, Verification, and Reliability, to appear.

G. Rothermel and M. J. Harrold. Empirical Studies of a Safe Regression Test Selection Technique. IEEE Transactions on Software Engineering, vol. 24, no. 6, June 1998, pp. 401-419.

M. J. Harrold, J. Jones, and G. Rothermel. Empirical Studies of Control-Dependence Graph Size. Journal of Empirical Software Engineering, vol. 3, pp. 203-211, March 1998.

G. Rothermel and M. J. Harrold. A Safe, Efficient Algorithm for Regression Test Selection. ACM Transactions on Software Engineering and Methodology, vol. 6, no. 2, April 1997, pp. 173-210.

M. J. Harrold, A. J. Offutt, and K. Tewary. An Approach to Fault Modeling and Fault Seeding Using the Program Dependence Graph. Journal of Systems and Software, vol. 36, no. 3, March 1997, pp. 273-296.

G. Rothermel and M. J. Harrold. Experience with Regression Test Selection. Empirical Software Engineering Journal vol. 2, no. 2, 1997, pages 178 - 187.

R. Gupta, M. J. Harrold and M. L. Soffa. Program Slicing-Based Regression Testing Techniques. Journal of Software Testing, Verification, and Reliability, vol. 6, 1996, pp. 83-111.

G. Rothermel and M. J. Harrold. Analyzing Regression Test Selection. IEEE Transactions on Software Engineering, vol. 22, no. 8, August 1996, pp. 529-551.

M. J. Harrold and G. Rothermel. Separate Computation of Alias Information for Reuse. IEEE Transactions on Software Engineering, Special Section of best papers of the 1996 International Symposium on Software Testing and Analysis, vol. 22, no. 7, June 1996, pp. 107-120.

M. J. Harrold and M. L. Soffa. Efficient Computation of Interprocedural Definition-Use Chains. ACM Transactions on Programming Languages and Systems, vol. 16, no. 2, March 1994, pp. 175-204.

M. J. Harrold, R. Gupta and M. L. Soffa. A Methodology for Controlling the Size of a Test Suite. ACM Transactions on Software Engineering and Methodology, vol. 2, no. 3, July 1993, pp. 270-285.

M. J. Harrold and B. A. Malloy. A Unified Interprocedural Program Representation for a Maintenance Environment. IEEE Transactions on Software Engineering, vol.19, no. 6, June 1993, pp. 584-593.

A. J. Offutt, M. J. Harrold and P. Kolte. A Software Metric System for Measuring Module Coupling. Journal of Systems Software, vol. 20, no. 3, March 1993, pp. 295-308

M. J. Harrold and M. L. Soffa. Selection of Data for Integration Testing. IEEE Software, special issue on testing and debugging, March 1991, pp. 58-65.

Refereed Conference Publications

D. Liang and M. J. Harrold Equivalence Analysis: A General Technique For Improving the Efficiency of Data- Flow Analyses in the Presence of Pointers. ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'99), September 1999, Toulouse, France, to appear.

D. Liang and M. J. Harrold. Efficient Points-To Analysis For Whole-Program Analysis. Joint Seventh European Software Engineering Conference (ESEC) and Seventh ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE99), September 1999, Toulouse, France, to appear.

G. Rothermel, R. Untch, C. Chu, M. J. Harrold. Test Case Prioritization: An Empirical Study. International Conference on Software Maintenance, August 1999, Oxford, England, to appear.

D. Liang and M. J. Harrold. Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion. International Conference on Software Maintenance, August 1999, Oxford, England, to appear.

S. Sinha and M. J. Harrold. Criteria for Testing Programs With Exception-Handling Constructs. International Conference on Software Maintenance, August 1999, Oxford, England, to appear.

S. Sinha, M. J. Harrold, and G. Rothermel. System-Dependence-Graph-Based Slicing of Programs with Arbitrary Interprocedural Control Flow. Proceedings of 21th IEEE International Conference on Software Engineering, May 1999, Los Angeles, California, pp. 432--441.

G. Rothermel, M. J. Harrold, J. Ostrin, and C. Hong. An Empirical Study of the Effects of Minimization on the Fault Detection Capabilities of Test Suites. Proceedings of the International Conference on Software Maintenance, November 1998, pp. 34-43 (best paper award).

S. Sinha and M. J. Harrold. Analysis of Programs with Exception-Handling Constructs. Proceedings of IEEE International Conference on Software Maintenance, November 1998, Washington, DC, pp. 358-367.

D. Liang and M. J. Harrold. Representing and Slicing Objects with System Dependence Graphs. Proceedings of IEEE International Conference on Software Maintenance, November 1998, Washington, DC, pp. 348-357.

M. J. Harrold, G. Rothermel, R. Wu, L. Yi. An Empirical Evaluation of Program Spectra. Proceedings of ACM Workshop on Program Analysis for Software Tools and Engineering, June 1998, Montreal, Canada, pp. 83-90.

T. Graves, M. J. Harrold, J. Kim, A. Porter, and G. Rothermel. An Empirical Study of Regression Test Selection Techniques. Proceedings of 20th IEEE International Conference on Software Engineering, April 1998, Kyoto, Japan, pp. 188-197.

M. J. Harrold and Ning Ci. Reuse-Based Interprocedural Slicing. Proceedings of 20th IEEE International Conference on Software Engineering, April 1998, Kyoto, Japan, pp. 74-83.

M. J. Harrold, G. Rothermel, and S. Sinha. Computation of Interprocedural Control Dependence. Proceedings of ACM International Symposium on Software Testing and Analysis, March 1998, Clearwater, Florida, pp. 11-21.

M. J. Harrold, R. J. Miller, A. Porter, G. Rothermel. A Collaborative Investigation of Program-Analysis-Based Testing and Maintenance. Proceedings of International Workshop on Empirical Studies of Software Maintenance, October 1997, Bari, Italy, pp. 51-56.

R. Untch, M. J. Harrold, and A. J. Offutt. TUMS: Testing Using Mutant Schemata. Proceedings of ACM Southeast Conference, April 1997, pp. 174-181.
M. J. Harrold and G. Rothermel. Separate Computation of Alias Information for Reuse. ACM International Symposium on Software Testing and Analysis, January 1996, San Diego, California, pp. 107-120.

L. D. Larsen and M. J. Harrold. Slicing Object-Oriented Software. Proceedings of 18th International Conference on Software Engineering, March 1996, Berlin, Germany, pp. 495-505.

M. J. Harrold, L. Larsen, J. Lloyd, D. Nedved, M. Page, G. Rothermel, M. Singh and M. Smith. Aristotle: A System for Development of Program Analysis Based Tools. Proceedings of 33rd Annual ACM Southeast Conference, March 1995, Clemson, South Carolina, pp. 110-119.

M. J. Harrold and G. Rothermel. Performing Dataflow Testing on Classes. Proceedings of Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, December 1994, New Orleans, Louisiana, pp. 154-163.

K. Tewary and M. J. Harrold. Fault Modeling Using the Program Dependence Graph. Proceedings of IEEE International Symposium on Software Reliability, November 1994, Monterey, California, pp. 136-145.

G. Rothermel and M. J. Harrold. Selecting Regression Tests for Object-Oriented Software. Proceedings of IEEE International Conference on Software Maintenance, September 1994, Victoria, BC, pp. 14-25.

G. Rothermel and M. J. Harrold. Selecting Tests and Identifying Test Coverage Requirements for Modified Software. Proceedings of ACM International Symposium on Software Testing and Analysis, August 1994, Seattle, Washington, pp. 169-184.

G. Rothermel and M. J. Harrold. A Framework for Evaluating Regression Testing Techniques. Proceedings of the 16th International Conference on Software Engineering, May 1994, Sorrento, Italy, pp. 210-210.

G. Rothermel and M. J. Harrold. A Safe, Efficient Algorithm for Regression Test Selection. Proceedings of the Conference on Software Maintenance, September 1993, Montreal, Canada, pp. 358-367.

R. Untch, A. J. Offutt and M. J. Harrold. Mutation Testing using Mutant Schemata. Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, June 1993, Cambridge, Massachusetts, pp. 139-148.

M. J. Harrold, B. Malloy, G. Rothermel. Efficient Construction of Program Dependence Graphs. Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, June 1993, Cambridge, Massachusetts, pp. 160-170.

P. Kolte and M. J. Harrold. Load/Store Range Analysis for Global Register Allocation. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1993, Albuquerque, New Mexico, pp. 268-277.

B. A. Malloy, M. J. Harrold and J. D. McGregor. The Implementation of a Simulation Language using Dynamic Binding. Proceedings of Object-Oriented Simulation Conference, January 1993, San Diego, California, pp. 1-8.

M. J. Harrold and P. Kolte. Combat: A Compiler Based Data Flow Tester. Proceedings of the Pacific Northwest Software Quality Conference, October, 1992, Portland, Oregon, pp. 311-323.

R. Gupta, M. J. Harrold and M. L. Soffa. An Approach to Regression Testing using Slicing. Proceedings of the Conference on Software Maintenance, November, 1992, Orlando, Florida, pp. 299-208.

M. J. Harrold, J. D. McGregor and K. J. Fitzpatrick. Incremental testing of Object-Oriented Class Inheritance Structures. Proceedings of the 14th International Conference on Software Engineering, May 1992, Melbourne, Australia, pp. 68-80.

M. J. Harrold and B. A. Malloy. A Unified Interprocedural Program Representation for a Maintenance Environment. Proceedings of the Conference on Software Maintenance, October 1991, Sorrento, Italy, pp. 138-147.

M. J. Harrold. The Effects of Optimizing Transformations on DataFlow-Adequate Test Sets. Proceedings of the ACM SIGSOFT Fourth Symposium on Software Testing, Analysis, and Verification, October 1991, Victoria, British Columbia, pp. 130-138.

M. J. Harrold, R. Gupta and M. L. Soffa. A Methodology for Controlling the Size of a Test Suite. Proceedings of the Conference on Software Maintenance, November 1990, San Diego, California, pp. 302-310.

M. J. Harrold and M. L. Soffa. Computation of Interprocedural Definition and Use Dependencies. Proceedings of IEEE Computer Society 1990 International Conference on Computer Languages, March 1990, New Orleans, Louisiana, pp. 297-306.

M. J. Harrold and M. L. Soffa. Interprocedural Data Flow Testing. Proceedings of the ACM SIGSOFT Third Symposium on Software Testing, Analysis, and Verification, December 1989, Key West, Florida, pp. 158-167.

M. J. Harrold and M. L. Soffa. An Incremental Data Flow Testing Tool. Proceeding s of the Sixth International Conference on Testing Computer Software, May 1989, Washington, D.C.

M. J. Harrold and M. L. Soffa. An Incremental Approach to Unit Testing during Maintenance. Proceedings of the Conference on Software Maintenance, October 1988, Phoenix, Arizona, pp. 362-367.

Book Chapters

M. J. Harrold and B. A. Malloy. A Unified Interprocedural Program Representation for a Maintenance Environment. In Software Change Impact Analysis, S. Bohner and R. S. Arnold, Los Alamitos, California: IEEE Computer Society Press [Reprinted from A Unified Interprocedural Program Representation for a Maintenance Environment. IEEE Transactions on Software Engineering, vol.19, no. 6, June 1993, pp. 584-593].

Other Papers

M. J. Harrold, D. Liang, S. Sinha. An Approach To Analyzing and Testing Component-Based Systems. International Conference on Software Engineering Workshop on Testing Distributed Component-Based Systems. May 1999.

M. J. Harrold. Architecture-BAed Regression Testing of Evolving Systems. International Workshop on the Role of Software Architecture in Testing and Analysis, July 1998, pages 73-76.

M. J. Harrold and G. Rothermel. Aristotle: A System for Research on and Development of Program-Analysis-Based Tools. The Ohio State University Technical Report OSU-CISRC-3/97-TR17, March 1997.

M. J. Harrold and G. Rothermel. A Coherent Family of Graph Representations for Object-Oriented Software. The Ohio State University Technical Report OSU-CISRC-11/96-TR60. November 1996.

M. J. Harrold and G. Rothermel. Syntax-Directed Construction of Program Dependence Graphs. The Ohio State University Technical Report OSU-CISRC-5/96-TR32. May 1996.

Pending Publications

G. Rothermel, M. J. Harrold, J. Dedhia. Regression Test Selection for C++ Software.

S. Sinha, M. J. Harrold, and G. Rothermel. Interprocedural Control Dependence.

M. J. Harrold, D. Rosenblum, G. Rothermel, and E. Weyuker. Empirical Studies of a Prediction Model for Regression Test Selection.

S. Sinha and M. J. Harrold. Analysis and Testing of Programs With Exception-Handling Constructs.

Software Development

DejaVu: A Regression Test Selection Tool
Developed for C programs using the Aristotle Analysis System
Developed for Ada programs using Rational Software's Apex and TestMate tools
Developed for Java programs using the Java Analysis System.

Aristotle Analysis System: A System for Research on and Development of Program-Analysis-Based Tools.
Developed for C programs
Developed for Java programs

Academic Awards

1998 Annual Research Award, College of Engineering, The Ohio State University.

National Science Foundation National Young Investigator Award, 1994-1999.

Andrew Mellon Predoctoral Fellowship, University of Pittsburgh, 1987-88.

Student Supervision

Donglin Liang, Ohio State University, Ph.D. in progress.

Sauarbh Sinha, Ohio State University, Ph.D. in progress.

Gregg Rothermel. Efficient, Effective Regression Testing using Safe Test Selection Techniques, Ph.D. Clemson University, May 1996.

Roland Untch. Schema-Based Mutation Analysis: A New Test Data Adequacy Assessment Method, Ph.D. Clemson University, December 1995.

Ning Ci. A Slicing Toolkit for C Programs, M.S. The Ohio State University, March 1997.

Ramesh Bahukudumbi. Performance Evaluation of Global Register Allocation Using Load/Store Ranges, M.S. Clemson University, May 1996.

Manvinder Singh. A System for Analysis of C++ Programs, M.S. Clemson University, May 1996.

Laurie Smith. An Investigation of the Relationship Between Dynamic and Static Testability Measures, M.S. Clemson University, December 1995.

Michael Smith. MCC: A Modular and Extensible C Compiler, Clemson University, August 1995.

John Lloyd. Abstract Execution and Parallelization in Data Flow Testing, M.S. Clemson University, December 1994.

Shan Jiang. Integrated Instruction Scheduling and Register Allocation on the MC88110, M.S. Clemson University, May 1994.

Kanupriya Tewary. An Approach to Fault Classification and Fault Seeding using the Program Dependence Graph, M.S. Clemson University, December 1993.

Rohini Tolani. An Integrated Interprocedural Program Representation for a Maintenance Environment, M.S. Clemson University, December 1992.

Priyadarshan Kolte. Load/Store Range Analysis for Global Register Allocation, M.S. Clemson University, August 1992.

G. Regan Varenhorst. Alias Detection for Interprocedural Data Flow Analysis, M.S. Clemson University, August 1992.

Trent Matuck. Flexible Ordering of Optimizations, M.S. Clemson University, August 1992.

Isaac Jones. Interprocedural Dataflow Testing, B.S. Ohio State University, 2001.

Christie Hong. Test Suite Minimization, The Ohio State University, B. S. 1999.

Melanie Page. Bugsy: A Bug Tracking System, B. S. Clemson University, May 1995 (completed M.S. in Computer Science, Clemson University, May 1998).

David Nedved. Database Access Routines for the Aristotle Analysis System, B. S. June 1996 (completed M.S. in Computer Science, Clemson University, May 1998).

Teaching Interests

Courses taught at Ohio State: Systems Software Design, Development, and Documentation; Fundamentals of Software Engineering (redesigned); Software Engineering Project Course (redesigned); Program Analysis for Software Engineering (developed).

Courses taught at other institutions: Introduction to Computer Science; Assembly Language Programming; Systems Software; Introduction to Software Engineering (redesigned); Introduction to Compilers; Advanced Compiler Technology (developed); Software Tools (developed) ; Software Specification and Design (redesigned).

Departmental Committees (Ohio State)

Advisory Committee (to Department Chair) (1998 - present).
Computer Committee (1996 - present).
Faculty Search Committees (1996 - present).
Second and Third Annual Take a Daughter to Work Day (1996, 1997).

Invited Symposia

Testing Evolving Software. Lucent Technologies. Columbus, Ohio, December 1998.

Analysis and Testing of Object-Oriented Software. I.R.S.T Workshop on Software Quality and Object-Oriented Technologies. Trento, Italy. September 1997.

Update on Regression Testing, Microsoft, Inc., May 1996.

Testing Object-Oriented Software, 15th International Software Testing Conference, November 1995, Orlando, FL, Keynote address.

Interprocedural Dataflow Testing, Microsoft, Inc., January 1995.

Testing Object-Oriented Programs, National Institute of Standards and Technology (NIST) Computer Systems Laboratory Lecture Series on High Integrity Systems, January 1995.

Approaches to Regression Testing, Microsoft, Inc., May 1994.

Professional Activities

Associate Editor, IEEE Transactions on Software Engineering.

Program Co-Chair, Twenty-third International Conference on Software Engineering (ICSE23), May 2001.

Program Chair, International Symposium on Software Testing and Analysis (ISSTA2000), August 2000.

Program Co-Chair, International Conference on Software Maintenance (ICSM97), September 1997, Bari, Italy.

Member of Computing Research Association Committee on the Status of Women in Computer Science and Engineering. Program Director of the Distributed Mentor Project.

Member of the Steering Committee for International Conference on Software Engineering.

Member of IEEE Computer Society Task Force on Improving Undergraduate Education in Computer Science, 1993 - 1996.

Consultant for Lucent Technologies, Columbus, Ohio, on Software Metrics and Testing, 1998 - present.

Consultant for Borden Foods Company, Columbus, Ohio, on Program Analysis, 1998 - present.

Consultant for Microelectronics and Computer Technology Corporation on The State of Quality Enabling Software Technologies - The ``State-of-QuEST'', 1996.

Participant in Summer School on Testing, Bari, Italy, June 1993, topics: Data flow testing and object-oriented testing.

Program Committee Membership

ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE '99), September 1999, Toulouse, France.

Twenty-first International Conference on Software Engineering (ICSE21), sponsored by IEEE, May 1999, Los Angeles, California.

International Symposium on Software Testing and Analysis (ISSTA98), sponsored by ACM, March 1998, St. Petersburg, Florida.

Nineteenth International Conference on Software Engineering (ICSE19), sponsored by IEEE, May 1997, Boston, Massachusetts.

Fourth Annual Foundations on Software Engineering (FSE96), sponsored by ACM SIGSOFT, October 1996, San Francisco, California.

International Conference on Software Maintenance, (ICSM96), sponsored by IEEE, November 4-8, 1996, Monterey, California.

Eighteenth International Conference on Software Engineering (ICSE18), sponsored by IEEE, March, 1996, Berlin, Germany.

Eighth International Software Quality Week, May 30-June 2, 1995, San Francisco, California.

Third Annual Foundations on Software Engineering (FSE95), sponsored by ACM SIGSOFT, October 1995, Washington DC.

Seventeenth International Conference on Software Engineering (ICSE17), sponsored by IEEE, April 24-28, 1995, Seattle, Washington.

Ninth Annual Conference on Object-Oriented Programming Systems, Languages and applications (OOPSLA94), sponsored by ACM, October 23-27, 1994, Portland, Oregon.

International Conference on Software Maintenance, (CSM94), sponsored by IEEE, September 19-23, 1994, Victoria, British Columbia, Canada.

International Symposium on Software Testing and Analysis (ISSTA94), sponsored by ACM, August 1994, Seattle, Washington.

Seventh International Software Quality Week, May 17-20, 1994, San Francisco, California.

Conference on Software Maintenance (CSM93), sponsored by IEEE, September 1993, Quebec, Canada.

International Symposium on Software Testing and Analysis (ISSTA93), sponsored by ACM, June 23-24, 1993, Cambridge, Massachusetts.

Conference on Software Maintenance (CSM92), sponsored by IEEE, November 9-12, 1992, Orlando, Florida.

Conference on Software Maintenance (CSM91), sponsored by IEEE, October 14-17, 1991, Sorrento, Italy.

Third International Conference on Software Engineering and Knowledge Engineering (SEKE91), affiliated with ACM and IEEE, June 27-29, 1991, Skokie, Illinois.

Reviewer
ACM Letters on Programming Languages and Systems (LOPLAS).

ACM SIGPLAN Conference on Programming Language Design and Implementation 1994 (PLDI).

ACM Transactions on Software Engineering and Methodology (TOSEM).

IEEE Software.

IEEE Transactions on Software Engineering (TSE).

International Test Conference 1992.

Journal of Computer and Software Engineering (JCSE).

National Science Foundation (Software Engineering and Software Systems programs).

The University of Queensland Research Grants 1994.

Professional Memberships

Association for Computing Machinery (ACM) (also SIGSOFT and SIGPLAN).

Institute of Electrical and Electronics Engineers (IEEE) Computer Society.

Sigma Xi Scientific Honorary.

Back to my Application Materials