Joseph R. Horgan
List of publications from the DBLP Bibliography Server - FAQ
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 |
1 | Hiralal Agrawal | [3] [6] [12] |
2 | James L. Alberi | [12] |
3 | Shing-Chi Cheung (S. C. Cheung) | [28] |
4 | Siddhartha R. Dalal | [7] |
5 | E. Gansner | [1] |
6 | Sudipto Ghosh | [12] |
7 | Swapna S. Gokhale | [15] [18] [24] [25] [27] |
8 | J. R. Kettenring | [7] |
9 | Chandra M. R. Kintala | [1] |
10 | Edward W. Krauser | [6] |
11 | J. Jenny Li | [12] [13] [16] [19] [20] [21] [22] [23] [26] [28] |
12 | Saul London | [4] [6] [8] [9] [11] [12] |
13 | Michael R. Lyu | [8] |
14 | Aditya P. Mathur | [5] [9] [10] [11] [14] |
15 | D. J. Moore | [1] [2] |
16 | Alberto Pasquini | [10] [14] |
17 | P. Surko | [1] |
18 | Michael Syring | [17] |
19 | Kishor S. Trivedi | [24] [27] |
20 | Norman Wilde | [12] |
21 | W. Eric Wong | [9] [10] [11] [12] [14] [15] [17] [18] [25] [27] |
22 | Dolores M. Zage | [17] |
23 | Wayne M. Zage | [17] |
24 | Hong Zhu | [28] |