Ramachandra P. Kunda Jacob A. Abraham Bharat Deep Rathi Prakash Narain Speed Up of Test Generation Using High-Level Primitives. 594-599 1990 DAC http://doi.acm.org/10.1145/123186.123413 db/conf/dac/dac90.html#KundaARN90