共 50 条
- [4] Observability analysis of embedded software for coverage-directed validation [J]. ICCAD - 2000 : IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, 2000, : 27 - 32
- [5] A Study on Test Coverage in Software Testing [J]. COMPUTER COMMUNICATION AND MANAGEMENT, 2011, 5 : 207 - 215
- [6] State Coverage: Software Validation Metrics beyond Code Coverage [J]. SOFSEM 2012: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2012, 7147 : 542 - +
- [7] Analysis of Statement Branch and Loop Coverage in Software Testing With Genetic Algorithm [J]. 2017 4TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING, COMPUTER SCIENCE AND INFORMATICS (EECSI), 2017, : 82 - 87
- [8] Reliability Analysis of Component Software Based on Testing Data Transformation [J]. PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 955 - 960
- [9] THE VALIDATION, VERIFICATION AND TESTING OF SOFTWARE [J]. OXFORD SURVEYS IN INFORMATION TECHNOLOGY, 1985, 2 : 1 - 40
- [10] VALIDATION OF INELASTIC ANALYSIS BY FULL-SCALE COMPONENT TESTING [J]. JOURNAL OF PRESSURE VESSEL TECHNOLOGY-TRANSACTIONS OF THE ASME, 1987, 109 (01): : 42 - 49