| 2006 | ICSE | The first international workshop on automation of software test. | Hong Zhu, Joseph Robert Horgan, Shing-Chi Cheung, J. Jenny Li |
| 2002 | COMPSAC | Measuring Distance between Program Features. | W. Eric Wong, Swapna S. Gokhale, Joseph Robert Horgan |
| 2000 | DSN | A Tool Suite for Diagnosis and Testing of Software Design Specifications. | J. Jenny Li, Joseph Robert Horgan |
| 2000 | ICCCN | A tool for efficient protocol validation and testing. | J. Jenny Li, Joseph Robert Horgan |
| 2000 | ISORC | Using SDL to Model an Object-Oriented Real-Time Software Architectural Design. | J. Jenny Li, Joseph Robert Horgan |
| 1999 | APSEC | chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications. | J. Jenny Li, Joseph Robert Horgan |
| 1997 | COMPSAC | 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 |
| 1995 | ICSE | Effect of Test Set Minimization on Fault Detection Effectiveness. | W. Eric Wong, Joseph Robert Horgan, Saul London, Aditya P. Mathur |
| 1991 | ISSTA | Data Flow Coverage and the C Language. | Joseph Robert Horgan, Saul London |
| 1990 | PLDI | Dynamic Program Slicing. | Hiralal Agrawal, Joseph Robert Horgan |