Jeffrey Fischer Ranjit Jhala Rupak Majumdar Joining dataflow with predicates. 227-236 2005 conf/sigsoft/2005 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1081706.1081742 db/conf/sigsoft/fse2005.html#FischerJM05