共 50 条
- [1] AUTOMATICALLY TRACKING TEST-CASE EXECUTION [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1995, 8 (07): : 22 - &
- [2] Exhaustive Test-case Generation using Symbolic Execution [J]. FUJITSU SCIENTIFIC & TECHNICAL JOURNAL, 2016, 52 (01): : 34 - 40
- [3] AN IMS TEST-CASE - GLOBAL MANUFACTURING [J]. IFIP TRANSACTIONS B-APPLICATIONS IN TECHNOLOGY, 1993, 13 : 11 - 20
- [4] Strategy-Guided Test-Case Order in Dynamic Symbolic Execution [J]. PROCEEDINGS OF 2017 11TH IEEE INTERNATIONAL CONFERENCE ON ANTI-COUNTERFEITING, SECURITY, AND IDENTIFICATION (ASID), 2017, : 191 - 195
- [5] Test-Case Generation and Bug-Finding through Symbolic Execution [J]. PROCEEDINGS OF THE SOUTH AFRICAN INSTITUTE FOR COMPUTER SCIENTISTS AND INFORMATION TECHNOLOGISTS CONFERENCE, 2012, : 1 - 9
- [7] MUSIC AS A TEST-CASE [J]. STUDIES IN HISTORY AND PHILOSOPHY OF SCIENCE, 1985, 16 (04): : 351 - 378
- [9] A DEPARTMENT OF SCIENCE TEST-CASE [J]. ISSUES IN SCIENCE AND TECHNOLOGY, 1995, 12 (01) : 17 - 18
- [10] Technology of test-case generation [J]. MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 323 - 354