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 |