Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin
EXPLORER : query- and demand-driven exploration of interprocedural control flow properties
OOPSLA, 2015.
@inproceedings{OOPSLA-2015-FengWDL,
author = "Yu Feng and Xinyu Wang and Isil Dillig and Calvin Lin",
booktitle = "{Proceedings of the 30th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
doi = "10.1145/2814270.2814284",
isbn = "978-1-4503-3689-5",
pages = "520--534",
publisher = "{ACM}",
title = "{EXPLORER : query- and demand-driven exploration of interprocedural control flow properties}",
year = 2015,
}