Joseph Robert Horgan

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2000

Applying design metrics to predict fault-proneness: a case study on a large-scale software system.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2000

Quantifying the closeness between program components and features.

[BibT_eX]

[DOI]

W. Eric Wong

Swapna S. Gokhale

J. Syst. Softw., 2000

Applying formal description techniques to software architectural design.

[BibT_eX]

[DOI]

Comput. Commun., 2000

Using SDL to Model an Object-Oriented Real-Time Software Architectural Design.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

A tool for efficient protocol validation and testing.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth International Conference on Computer Communications and Networks, 2000

A Tool Suite for Diagnosis and Testing of Software Design Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

<sub>chi</sub>Prof-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

Simulation-Trace-Based Component Performance Prediction.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 33th Annual Simulation Symposium (SS 2000), 2000

1999

cSuds-SDL: A Tool for Testing Software Architecture Specifications.

[BibT_eX]

[DOI]

Softw. Qual. J., 1999

Test set size minimization and fault detection effectiveness: A case study in a space application.

[BibT_eX]

[DOI]

J. Syst. Softw., 1999

Metrics for Quantifying the Disparity, Concentration, and Dedication between Program Components and Features.

[BibT_eX]

[DOI]

W. Eric Wong

Swapna S. Gokhale

Proceedings of the 6th IEEE International Software Metrics Symposium (METRICS 1999), 1999

chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications.

[BibT_eX]

[DOI]

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998

Effect of Test Set Minimization on Fault Detection Effectiveness.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1998

Mining System Tests to Aid Software Maintenance.

[BibT_eX]

[DOI]

Computer, 1998

Applying design metrics to a large-scale software system.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

To maintain a reliable software specification.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

1997

A study of effective regression testing in practice.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

Automatic simulation to predict software architecture reliability.

[BibT_eX]

[DOI]

Josephine Micallef

Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

1995

Fault localization using execution slices and dataflow tests.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

1994

Reliable software and communication. II. Controlling the software development process.

[BibT_eX]

[DOI]

Siddhartha R. Dalal

Jon R. Kettenring

IEEE J. Sel. Areas Commun., 1994

Achieving Software Quality with Testing Coverage Measures.

[BibT_eX]

[DOI]

Saul London

Michael R. Lyu

Computer, 1994

Effect of test set size and block coverage on the fault detection effectiveness.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

1993

A coverage analysis tool for the effectiveness of software testing.

[BibT_eX]

[DOI]

Michael R. Lyu

Saul London

Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993

Incremental Regression Testing.

[BibT_eX]

[DOI]

Proceedings of the Conference on Software Maintenance, 1993

Reliable Software and Communication: Software Quality, Reliability, and Safety.

[BibT_eX]

[DOI]

Siddhartha R. Dalal

Jon R. Kettenring

Proceedings of the 15th International Conference on Software Engineering, 1993

1992

Assessing Testing Tools in Research and Education.

[BibT_eX]

[DOI]

Aditya P. Mathur

IEEE Softw., 1992

1991

Data Flow Coverage and the C Language.

[BibT_eX]

[DOI]

Saul London

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

1990

Dynamic Program Slicing.

[BibT_eX]

[DOI]

Hiralal Agrawal

Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990

1984

Techniques for Improving Language-Based Editors.

[BibT_eX]

[DOI]

D. J. Moore

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984

1982

Semantics and Correctness of a Query Language Translation.

[BibT_eX]

[DOI]

E. Gansner