共 50 条
- [22] Automatic Test-Case Generation [J]. TESTING TECHNIQUES IN SOFTWARE ENGINEERING, 2010, 6153 : 59 - +
- [26] AUTOMATICALLY TRACKING TEST-CASE EXECUTION [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1995, 8 (07): : 22 - &
- [28] AN IMS TEST-CASE - GLOBAL MANUFACTURING [J]. IFIP TRANSACTIONS B-APPLICATIONS IN TECHNOLOGY, 1993, 13 : 11 - 20
- [29] Automatic Test-Case Generation with CoVeriTest [J]. TESTS AND PROOFS (TAP 2022), 2022, 13361 : 3 - 8
- [30] TEST-CASE VERIFICATION BY MODEL CHECKING [J]. FORMAL METHODS IN SYSTEM DESIGN, 1993, 2 (03) : 277 - 321