Daniel Geist Monica Farkas Avner Landver Yossi Lichtenstein Shmuel Ur Yaron Wolfsthal Coverage-Directed Test Generation Using Symbolic Techniques. 143-158 1996 conf/fmcad/1996 FMCAD db/conf/fmcad/fmcad1996.html#GeistFLLUW96