Todor Stefanov Bart Kienhuis Ed F. Deprettere Algorithmic transformation techniques for efficient exploration of alternative application instances. 7-12 2002 conf/codes/2002 CODES http://doi.acm.org/10.1145/774789.774792 db/conf/codes/codes2002.html#StefanovKD02