Min Zhao Bruce R. Childers Mary Lou Soffa A Framework for Exploring Optimization Properties. 32-47 2009 CC http://dx.doi.org/10.1007/978-3-642-00722-4_4 conf/cc/2009 db/conf/cc/cc2009.html#ZhaoCS09