Semantics and Correctness of a Query Language Translation. - E. Gansner; Joseph R. Horgan; Chandra M. R. Kintala; D. J. Moore; Pamela Surko (POPL, 1982)

Techniques for Improving Language-Based Editors. - Joseph R. Horgan; D. J. Moore (Software Development Environments (SDE), 1984)

Dynamic Program Slicing. - Hiralal Agrawal; Joseph Robert Horgan (PLDI, 1990)

Data Flow Coverage and the C Language. - Joseph Robert Horgan; Saul London (Symposium on Testing, Analysis, and Verification, 1991)

Assessing Testing Tools in Research and Education. - Joseph Robert Horgan; Aditya P. Mathur (IEEE Softw., 1992)

Reliable Software and Communication: Software Quality, Reliability, and Safety. - Siddhartha R. Dalal; Joseph R. Horgan; Jon R. Kettenring (ICSE, 1993)

Incremental Regression Testing. - Hiralal Agrawal; Joseph Robert Horgan; Edward W. Krauser; Saul London (ICSM, 1993)

A coverage analysis tool for the effectiveness of software testing. - Michael R. Lyu; Joseph R. Horgan; Saul London (ISSRE, 1993)

Effect of test set size and block coverage on the fault detection effectiveness. - W. Eric Wong; Joseph R. Horgan; Saul London; Aditya P. Mathur (ISSRE, 1994)

Achieving Software Quality with Testing Coverage Measures. - Joseph Robert Horgan; Saul London; Michael R. Lyu (Computer, 1994)

Reliable software and communication. II. Controlling the software development process. - Siddhartha R. Dalal; Joseph R. Horgan; Jon R. Kettenring (IEEE J. Sel. Areas Commun., 1994)

Fault localization using execution slices and dataflow tests. - Hiralal Agrawal; Joseph R. Horgan; Saul London; W. Eric Wong (ISSRE, 1995)

Automatic simulation to predict software architecture reliability. - J. Jenny Li 001; Josephine Micallef; Joseph R. Horgan (ISSRE, 1997)

A study of effective regression testing in practice. - W. Eric Wong; Joseph R. Horgan; Saul London; Hiralal Agrawal (ISSRE, 1997)

To maintain a reliable software specification. - J. Jenny Li 001; Joseph R. Horgan (ISSRE, 1998)

Applying design metrics to a large-scale software system. - W. Eric Wong; Joseph R. Horgan; Michael Syring; Wayne M. Zage; Dolores M. Zage (ISSRE, 1998)

Mining System Tests to Aid Software Maintenance. - Hiralal Agrawal; James L. Alberi; Joseph Robert Horgan; J. Jenny Li 001; Saul London; W. Eric Wong; Sudipto Ghosh 001; Norman Wilde (Computer, 1998)

Effect of Test Set Minimization on Fault Detection Effectiveness. - W. Eric Wong; Joseph Robert Horgan; Saul London; Aditya P. Mathur (Softw. Pract. Exp., 1998)

chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications. - J. Jenny Li 001; Joseph Robert Horgan (APSEC, 1999)

Metrics for Quantifying the Disparity, Concentration, and Dedication between Program Components and Features. - W. Eric Wong; Swapna S. Gokhale; Joseph Robert Horgan (IEEE METRICS, 1999)

Test set size minimization and fault detection effectiveness: A case study in a space application. - W. Eric Wong; Joseph Robert Horgan; Aditya P. Mathur; Alberto Pasquini (J. Syst. Softw., 1999)

cSuds-SDL: A Tool for Testing Software Architecture Specifications. - J. Jenny Li 001; Joseph Robert Horgan (Softw. Qual. J., 1999)

Simulation-Trace-Based Component Performance Prediction. - J. Jenny Li 001; Joseph Robert Horgan (Annual Simulation Symposium, 2000)

chiProf-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design. - J. Jenny Li 001; Joseph Robert Horgan (Computer Performance Evaluation / TOOLS, 2000)

A Tool Suite for Diagnosis and Testing of Software Design Specifications. - J. Jenny Li 001; Joseph Robert Horgan (DSN, 2000)

A tool for efficient protocol validation and testing. - J. Jenny Li 001; Joseph Robert Horgan (ICCCN, 2000)

Using SDL to Model an Object-Oriented Real-Time Software Architectural Design. - J. Jenny Li 001; Joseph Robert Horgan (ISORC, 2000)

Applying formal description techniques to software architectural design. - J. Jenny Li 001; Joseph Robert Horgan (Comput. Commun., 2000)

Quantifying the closeness between program components and features. - W. Eric Wong; Swapna S. Gokhale; Joseph Robert Horgan (J. Syst. Softw., 2000)

Applying design metrics to predict fault-proneness: a case study on a large-scale software system. - W. Eric Wong; Joseph Robert Horgan; Michael Syring; Wayne M. Zage; Dolores M. Zage (Softw. Pract. Exp., 2000)

Measuring Distance between Program Features. - W. Eric Wong; Swapna S. Gokhale; Joseph Robert Horgan (COMPSAC, 2002)

Specification-Level Integration of Simulation and Dependability Analysis. - Swapna S. Gokhale; Joseph R. Horgan; Kishor S. Trivedi (WADS, 2002)

A scalable tool for efficient protocol validation and testing. - J. Jenny Li 001; Joseph Robert Horgan (Comput. Commun., 2003)

An analytical approach to architecture-based software performance and reliability prediction. - Swapna S. Gokhale; W. Eric Wong; Joseph Robert Horgan; Kishor S. Trivedi (Perform. Evaluation, 2004)

The first international workshop on automation of software test. - Hong Zhu 002; Joseph Robert Horgan; Shing-Chi Cheung; J. Jenny Li 001 (ICSE, 2006)

Guest Editorial to the Special Issue on Automation of Software Testing. - Hong Zhu 002; Shing-Chi Cheung; Joseph Robert Horgan; J. Jenny Li 001 (Comput. J., 2009)