Joseph R. Horgan
List of publications from the
| 2006 |
| 28 | EE | Hong Zhu,
Joseph Robert Horgan,
S. C. Cheung,
J. Jenny Li:
The first international workshop on automation of software test.
ICSE 2006: 1028-1029 |
| 2004 |
| 27 | EE | Swapna S. Gokhale,
W. Eric Wong,
Joseph Robert Horgan,
Kishor S. Trivedi:
An analytical approach to architecture-based software performance and reliability prediction.
Perform. Eval. 58(4): 391-412 (2004) |
| 2003 |
| 26 | EE | J. Jenny Li,
Joseph Robert Horgan:
A scalable tool for efficient protocol validation and testing.
Computer Communications 26(7): 766-773 (2003) |
| 2002 |
| 25 | EE | W. Eric Wong,
Swapna S. Gokhale,
Joseph Robert Horgan:
Measuring Distance between Program Features.
COMPSAC 2002: 307-312 |
| 24 | EE | Swapna S. Gokhale,
Joseph R. Horgan,
Kishor S. Trivedi:
Specification-Level Integration of Simulation and Dependability Analysis.
WADS 2002: 245-266 |
| 2000 |
| 23 | EE | J. Jenny Li,
Joseph Robert Horgan:
Simulation-Trace-Based Component Performance Prediction.
Annual Simulation Symposium 2000: 283-290 |
| 22 | EE | J. Jenny Li,
Joseph Robert Horgan:
chiProf-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design.
Computer Performance Evaluation / TOOLS 2000: 378-381 |
| 21 | EE | J. Jenny Li,
Joseph Robert Horgan:
A Tool Suite for Diagnosis and Testing of Software Design Specifications.
DSN 2000: 295-304 |
| 20 | EE | J. Jenny Li,
Joseph Robert Horgan:
Using SDL to Model an Object-Oriented Real-Time Software Architectural Design.
ISORC 2000: 288-295 |
| 19 | EE | J. Jenny Li,
Joseph Robert Horgan:
Applying formal description techniques to software architectural design.
Computer Communications 23(12): 1169-1178 (2000) |
| 18 | EE | W. Eric Wong,
Swapna S. Gokhale,
Joseph Robert Horgan:
Quantifying the closeness between program components and features.
Journal of Systems and Software 54(2): 87-98 (2000) |
| 17 | | W. Eric Wong,
Joseph Robert Horgan,
Michael Syring,
Wayne M. Zage,
Dolores M. Zage:
Applying design metrics to predict fault-proneness: a case study on a large-scale software system.
Softw., Pract. Exper. 30(14): 1587-1608 (2000) |
| 1999 |
| 16 | EE | J. Jenny Li,
Joseph Robert Horgan:
chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications.
APSEC 1999: 274- |
| 15 | EE | W. Eric Wong,
Swapna S. Gokhale,
Joseph Robert Horgan:
Metrics for Quantifying the Disparity, Concentration, and Dedication between Program Components and Features.
IEEE METRICS 1999: 189- |
| 14 | EE | W. Eric Wong,
Joseph Robert Horgan,
Aditya P. Mathur,
Alberto Pasquini:
Test set size minimization and fault detection effectiveness: A case study in a space application.
Journal of Systems and Software 48(2): 79-89 (1999) |
| 13 | | J. Jenny Li,
Joseph Robert Horgan:
cSuds-SDL: A Tool for Testing Software Architecture Specifications.
Software Quality Journal 8(4): 241-253 (1999) |
| 1998 |
| 12 | | Hiralal Agrawal,
James L. Alberi,
Joseph Robert Horgan,
J. Jenny Li,
Saul London,
W. Eric Wong,
Sudipto Ghosh,
Norman Wilde:
Mining System Tests to Aid Software Maintenance.
IEEE Computer 31(7): 64-73 (1998) |
| 11 | | W. Eric Wong,
Joseph Robert Horgan,
Saul London,
Aditya P. Mathur:
Effect of Test Set Minimization on Fault Detection Effectiveness.
Softw., Pract. Exper. 28(4): 347-369 (1998) |
| 1997 |
| 10 | EE | W. Eric Wong,
Joseph Robert Horgan,
Aditya P. Mathur,
Alberto Pasquini:
Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application.
COMPSAC 1997: 522- |
| 1995 |
| 9 | EE | W. Eric Wong,
Joseph Robert Horgan,
Saul London,
Aditya P. Mathur:
Effect of Test Set Minimization on Fault Detection Effectiveness.
ICSE 1995: 41-50 |
| 1994 |
| 8 | | Joseph Robert Horgan,
Saul London,
Michael R. Lyu:
Achieving Software Quality with Testing Coverage Measures.
IEEE Computer 27(9): 60-69 (1994) |
| 1993 |
| 7 | EE | Siddhartha R. Dalal,
Joseph R. Horgan,
J. R. Kettenring:
Reliable Software and Communication: Software Quality, Reliability, and Safety.
ICSE 1993: 425-435 |
| 6 | | Hiralal Agrawal,
Joseph Robert Horgan,
Edward W. Krauser,
Saul London:
Incremental Regression Testing.
ICSM 1993: 348-357 |
| 1992 |
| 5 | | Joseph Robert Horgan,
Aditya P. Mathur:
Assessing Testing Tools in Research and Education.
IEEE Software 9(3): 61-69 (1992) |
| 1991 |
| 4 | EE | Joseph Robert Horgan,
Saul London:
Data Flow Coverage and the C Language.
Symposium on Testing, Analysis, and Verification 1991: 87-97 |
| 1990 |
| 3 | | Hiralal Agrawal,
Joseph Robert Horgan:
Dynamic Program Slicing.
PLDI 1990: 246-256 |
| 1984 |
| 2 | | Joseph R. Horgan,
D. J. Moore:
Techniques for Improving Language-Based Editors.
Software Development Environments (SDE) 1984: 7-14 |
| 1982 |
| 1 | | E. Gansner,
Joseph R. Horgan,
Chandra M. R. Kintala,
D. J. Moore,
P. Surko:
Semantics and Correctness of a Query Language Translation.
POPL 1982: 289-298 |