Gogul Balakrishnan Sriram Sankaranarayanan Franjo Ivancic Aarti Gupta Refining the control structure of loops using static analysis. 49-58 2009 EMSOFT http://doi.acm.org/10.1145/1629335.1629343 conf/emsoft/2009 db/conf/emsoft/emsoft2009.html#BalakrishnanSIG09