Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin: EXPLORER : query- and demand-driven exploration of interprocedural control flow properties. OOPSLA 2015: 520-534