@inproceedings{ijcai2011p293, title = {Active Graph Reachability Reduction for Network Security and Software Engineering}, author = {Zheng, Alice X. and Dunagan, John and Kapoor, Ashish}, booktitle = {Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, {IJCAI-11}}, publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence}, editor = {Toby Walsh}, pages = {1750--1755}, year = {2011}, month = {7}, doi = {10.5591/978-1-57735-516-8/IJCAI11-293}, url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-293}, }