Speed Up of Test Generation Using High-Level Primitives. - Ramachandra P. Kunda; Jacob A. Abraham; Bharat Deep Rathi; Prakash Narain (DAC, 1990)

Incremental synthesis. - Daniel Brand; Anthony D. Drumm; Sandip Kundu; Prakash Narain (ICCAD, 1994)