Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Fault Injection for Dependability Validation: A Methodology and Some Applications
IEEE Transactions on Software Engineering
An empirical study of the reliability of UNIX utilities
Communications of the ACM
Computer
An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems
IEEE Transactions on Software Engineering
Formal specification of COTS-based software: a case study
SSR '99 Proceedings of the 1999 symposium on Software reusability
Cryptographic Verification of Test Coverage Claims
IEEE Transactions on Software Engineering
Software engineering for security: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Dependability of COTS Microkernel-Based Systems
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
A methodology for certification of modeling and simulation applications
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A formal approach for specification and classification of software components
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Maintaining Component-Based Systems
IEEE Software
MAFALDA: Microkernel Assessment by Fault Injection and Design Aid
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
A Case Study in Statistical Testing of Reusable Concurrent Objects
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Wrapping Real-Time Systems from Temporal Logic Specifications
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Protective Wrapper Development: A Case Study
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Security Properties of Software Components
ISW '99 Proceedings of the Second International Workshop on Information Security
A framework for component deployment testing
Proceedings of the 25th International Conference on Software Engineering
A Component-Based Approach to Reliability Analysis of Distributed Systems
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Scenario-Based Reliability Analysis of Component-Based Software
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Decompositional Verification of Component-based Systems-A Hybrid Approach
Proceedings of the 19th IEEE international conference on Automated software engineering
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Wavelet density estimators over data streams
Proceedings of the 2005 ACM symposium on Applied computing
A COTS architectural component specification stencil for selection and reasoning
MPEC '05 Proceedings of the second international workshop on Models and processes for the evaluation of off-the-shelf components
Software Component Certification: A Survey
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Information Assurance: Dependability and Security in Networked Systems
Information Assurance: Dependability and Security in Networked Systems
Certification process of software components
ACM SIGSOFT Software Engineering Notes
A novel approach for component-based fault-tolerant software development
Information and Software Technology
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Software reliability estimation under certainty: generalization of the method of moments
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Using stratified sampling for fault injection
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Component-based software certification based on experimental risk assessment
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
Hi-index | 4.10 |
Off-the-shelf components could save the software industry considerable time and money. However, the industry first needs a set of black-box processes to certify the suitability of COTS components.