Jeffrey M. Voas

IEEE Softw., 2001

Guest Editor's Introduction: Software Fault Tolerance-Making Software Behave.

[BibT_eX]

[DOI]

IEEE Softw., 2001

Composing Software Component "ilities".

[BibT_eX]

[DOI]

IEEE Softw., 2001

Quality Time - Faster, Better, and Cheaper.

[BibT_eX]

[DOI]

IEEE Softw., 2001

Why testing software under expected operational profiles is not sufficient.

[BibT_eX]

[DOI]

Softw. Focus, 2001

Why Is It So Hard to Predict Software System Trustworthiness from Software Component Trustworthiness?.

[BibT_eX]

[DOI]

Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

Discovering Unanticipated Software Output Modes.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Why Testing under Expected Operational Scenarios is Not Sufficient.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

Software Dependability in Distributed and Mobile Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

2000

Malicious IT - Guest Editors' Introduction.

[BibT_eX]

[DOI]

Nancy R. Mead

IEEE Softw., 2000

Quality Time - A New Generation of Software Quality Conferences.

[BibT_eX]

[DOI]

IEEE Softw., 2000

Quality Time - Will the Real Operational Profile Please Stand Up?

[BibT_eX]

[DOI]

IEEE Softw., 2000

Quality Time - Can Chaotic Methods Improve Software Quality Predictions?

[BibT_eX]

[DOI]

IEEE Softw., 2000

Quality Time - Can Aspect-Oriented Programming Lead to More Reliable Software?

[BibT_eX]

[DOI]

John Viega

IEEE Softw., 2000

Dependability certification of software components.

[BibT_eX]

[DOI]

J. Syst. Softw., 2000

Toward a More Reliable Theory of Software Reliability.

[BibT_eX]

[DOI]

James A. Whittaker

Computer, 2000

Developing a Usage-Based Software Certification Process.

[BibT_eX]

[DOI]

Computer, 2000

Defective software: An overview of legal remedies and technical measures available to consumers.

[BibT_eX]

[DOI]

Colleen K. Vossler

Adv. Comput., 2000

Limited Software Warranties.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

Disposable COTS-Intensive Software Systems (A Position Statement).

[BibT_eX]

[DOI]

Proceedings of the 4th European Conference on Software Maintenance and Reengineering, 2000

1999

Software Quality's Eight Greatest Myths.

[BibT_eX]

[DOI]

IEEE Softw., 1999

Certifying Software for High-Assurance Environments.

[BibT_eX]

[DOI]

IEEE Softw., 1999

Guest Editor's Introduction: Certification-Reducing the Hidden Costs of Poor Quality.

[BibT_eX]

[DOI]

IEEE Softw., 1999

Quality Time - A US Government-Regulated Software Industry.

[BibT_eX]

[DOI]

IEEE Softw., 1999

Quality Time - Does Untested Software Threaten Infrastructures?

[BibT_eX]

[DOI]

IEEE Softw., 1999

Quality Time - Protecting Against What? The Achilles Heel of Information Assurance.

[BibT_eX]

[DOI]

IEEE Softw., 1999

Disposable information systems: the future of software maintenance?

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 1999

The Future of Computer Assurance.

[BibT_eX]

[DOI]

Computer, 1999

Inoculating Software for Survivability.

[BibT_eX]

[DOI]

Anup K. Ghosh

Commun. ACM, 1999

A World Without Risks: Let Me Out!

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

COTS and High Assurance: An Oxymoron?

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

User Participation-based Software Certification.

[BibT_eX]

Proceedings of the Validation and Verification of Knowledge Based Systems, 1999

Can Generic Software Be Assured?

[BibT_eX]

[DOI]

Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

1998

Maintaining Component-Based Systems.

[BibT_eX]

[DOI]

IEEE Softw., 1998

COTS Software: The Economical Choice?

[BibT_eX]

[DOI]

IEEE Softw., 1998

Certifying Off-the-Shelf Software Components.

[BibT_eX]

[DOI]

Computer, 1998

The Challenges of Using COTS Software in Component-Based Development (Guest Editor's Introduction).

[BibT_eX]

[DOI]

Computer, 1998

Does software reliability engineering (SRE) offer any benefits to mobile code's security woes?

[BibT_eX]

[DOI]

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

Maintaining COTS-Based Systems: Is it Possible? (Panel).

[BibT_eX]

[DOI]

M. M. Lehman

Lionel C. Briand

Norman F. Schneidewind

Proceedings of the 1998 International Conference on Software Maintenance, 1998

Are COTS Products and Component Packaging Killing Software Malleability?

[BibT_eX]

[DOI]

Proceedings of the 1998 International Conference on Software Maintenance, 1998

Agent Trustworthiness.

[BibT_eX]

[DOI]

Lora Kassab

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Certifying High Assurance Software.

[BibT_eX]

[DOI]

Proceedings of the COMPSAC '98, 1998

1997

Software testability measurement for intelligent assertion placement.

[BibT_eX]

[DOI]

Softw. Qual. J., 1997

Predicting How Badly "Good" Software Can Behave.

[BibT_eX]

[DOI]

IEEE Softw., 1997

Quality Time: Can Clean Pipes Produce Dirty Water?

[BibT_eX]

[DOI]

IEEE Softw., 1997

Quality Time: How Assertions Can Increase Test Effectiveness.

[BibT_eX]

[DOI]

IEEE Softw., 1997

A 'Crystal Ball' for Software Liability.

[BibT_eX]

[DOI]

Computer, 1997

Fault Injection for the Masses.

[BibT_eX]

[DOI]

Computer, 1997

The Ability of Directed Tests to Predict Software Quality.

[BibT_eX]

[DOI]

Christoph C. Michael

Ann. Softw. Eng., 1997

Panel: Qualifying The Reliability Of COTS Software Components.

[BibT_eX]

[DOI]

Chuck Howell

Bill Everett

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

Reducing uncertainty about common-mode failures.

[BibT_eX]

[DOI]

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

Building Software Recovery Assertions from a Fault Injection-based Propagation Analysis.

[BibT_eX]

[DOI]

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996

Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without Them?

[BibT_eX]

[DOI]

Frank Charron

Proceedings of the 15th International Conference on Computer Safety, 1996

Investigating rare-event failure tolerance: reductions in future uncertainty.

[BibT_eX]

[DOI]

Frank Charron

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

The Avalanche Paradigm: An Experimental Software Programming Technique for Improving Fault-tolerance.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

1995

Software Testability: The New Verification.

[BibT_eX]

[DOI]

IEEE Softw., 1995

Software Testability: An Experiment in Measuring Simulation Reusability.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995

An Automated Code-Based Fault-Tree Mitigation Technique.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Computer Safety, 1995

Predicting software's minimum-time-to-hazard and mean-time-to-hazard for rare input events.

[BibT_eX]

[DOI]

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

Detecting program modules with low testability.

[BibT_eX]

[DOI]

Taghi M. Khoshgoftaar

Robert M. Szabo

Proceedings of the International Conference on Software Maintenance, 1995

Software Testability Measurement for Assertion Placement and Fault Localization.

[BibT_eX]

Proceedings of the Second International Workshop on Automated Debugging, 1995

1994

Views on Software Testability (Panel Abstract).

[BibT_eX]

[DOI]

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

Putting assertions in their place.

[BibT_eX]

[DOI]

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

1993

Semantic metrics for software testability.

[BibT_eX]

[DOI]

J. Syst. Softw., 1993

Designing programs that are less likely to hide faults.

[BibT_eX]

[DOI]

J. Syst. Softw., 1993

A framework for defining semantic metrics.

[BibT_eX]

[DOI]

Larry J. Morell

J. Syst. Softw., 1993

A model for detecting the existence of software corruption in real time.

[BibT_eX]

[DOI]

Frederick B. Cohen

Comput. Secur., 1993

Confidently Assessing a Zero Probability of Software Failure.

[BibT_eX]

[DOI]

Christoph C. Michael

Proceedings of the 12th International Conference on Computer Safety, 1993

Faults on Its Sleeve: Amplifying Software Reliability Testing.

[BibT_eX]

[DOI]

Richard G. Hamlet

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

A software analysis technique for quantifying reliability in high-risk medical devices.

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'93), 1993

1992

PIE: A Dynamic Failure-Based Technique.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1992

Estimating the Probability of Failure When Testing Reveals No Failures.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1992

The Revealing Power of a Test Case.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1992

Improving the software development process using testability research.

[BibT_eX]

[DOI]

Proceedings of the Third International Symposium on Software Reliability Engineering, 1992

1991

Predicting Where Faults Can Hide from Testing.

[BibT_eX]

[DOI]

Larry J. Morell

IEEE Softw., 1991

On the inadequacies of data state space sampling as a measure of the trustworthiness of programs.

[BibT_eX]

[DOI]

Larry J. Morell

ACM SIGSOFT Softw. Eng. Notes, 1991

A Dynamic Failure Model for Predicting the Impact that a Program Location has on the Program.

[BibT_eX]

[DOI]