Speed Up of Test Generation Using High-Level Primitives.

Ramachandra P. Kunda, Jacob A. Abraham, Bharat Deep Rathi, Prakash Narain

Browse the full DAC paper archive.