Atanas Rountev Barbara G. Ryder William Landi Data-Flow Analysis of Program Fragments. 235-252 1999 conf/esec/1999 ESEC / SIGSOFT FSE http://link.springer.de/link/service/series/0558/bibs/1687/16870235.htm db/conf/esec/esec99.html#RountevRL99