Bruno Malenfant Giuliano Antoniol Ettore Merlo Michel Dagenais Flow Analysis to Detect Blocked Statements. 62- 2001 ICSM http://computer.org/proceedings/icsm/1189/11890062abs.htm db/conf/icsm/icsm2001.html#MalenfantAMD01