TESTCASE
Automated testcase generation for data abstraction
Automated generation of testcase datasets
Integrated testcase language for hardware design verification
Testcase Generator for Nonlinear Continuous Parameter Optimization Techniques
Improved automatic testcase synthesis for performance model validation
Advances in Simultaneous Multithreading Testcase Generation Methods
Detecting buffer overflows using testcase synthesis and code instrumentation
Automatic testcase synthesis and performance model validation for high performance PowerPC processors
Practical and efficient SOC verification flow by reusing IP testcase and testbench