Automatic constraint generation for guided random simulation ASP-DAC 2010 2010 Authors: Hu-Hsi Yeh, Chung-Yang Huang
