Roberto Bevacqua Luca Guerrazzi Fabrizio Ferrandi Franco Fummi Implicit Test Sequences Compaction for Decreasing Test Application Cos. 384-382 1996 conf/iccd/1996 ICCD http://computer.org/proceedings/iccd/7554/75540384abs.htm db/conf/iccd/iccd1996.html#BevacquaGFF96