EXPLORER : query- and demand-driven exploration of interprocedural control flow properties.

Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin

Browse the full OOPSLA paper archive.