共 50 条
- [1] Automated robustness testing of Off-The-Shelf software components TWENTY-EIGHTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST PAPERS, 1998, : 230 - 239
- [2] Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2022), 2022, : 536 - 548
- [3] Monitoring off-the-shelf components VERIFICATION, MODEL CHECKING , AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2006, 3855 : 222 - 236
- [5] BUYING OFF-THE-SHELF PC SOFTWARE I&CS-CONTROL TECHNOLOGY FOR ENGINEERS AND ENGINEERING MANAGEMENT, 1987, 60 (05): : 49 - 52
- [6] INSTALL SOFTWARE OFF-THE-SHELF - FORGET IT SYSTEMS INTEGRATION BUSINESS, 1991, 24 (04): : 55 - &
- [7] Verification and validation of off-the-shelf software Medical Device and Diagnostic Industry, 1995, 17 (04):
- [9] Lifecycle for off-the-shelf software validation ASQ'S 57TH ANNUAL QUALITY CONGRESS PROCEEDINGS: EXPANDING HORIZON: GLOBAL, PERSONAL, TOOLS, NETWORKING, SOLUTIONS, 2003, : 65 - 78