共 50 条
- [1] Exhaustive Test-case Generation using Symbolic Execution [J]. FUJITSU SCIENTIFIC & TECHNICAL JOURNAL, 2016, 52 (01): : 34 - 40
- [2] TASTING: Reuse Test-case Execution by Global AST Hashing [J]. PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2022, : 33 - 45
- [3] 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
- [4] 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
- [6] MUSIC AS A TEST-CASE [J]. STUDIES IN HISTORY AND PHILOSOPHY OF SCIENCE, 1985, 16 (04): : 351 - 378
- [8] A DEPARTMENT OF SCIENCE TEST-CASE [J]. ISSUES IN SCIENCE AND TECHNOLOGY, 1995, 12 (01) : 17 - 18
- [9] Technology of test-case generation [J]. MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 323 - 354