@inproceedings{Qi:2011:PEB:2025113.2025152,
 author = {Qi, Dawei and Nguyen, Hoang D.T. and Roychoudhury, Abhik},
 title = {Path exploration based on symbolic output},
 booktitle = {Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering},
 series = {SIGSOFT/FSE '11},
 year = {2011},
 isbn = {978-1-4503-0443-6},
 location = {Szeged, Hungary},
 pages = {278--288},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/2025113.2025152},
 doi = {http://doi.acm.org/10.1145/2025113.2025152},
 acmid = {2025152},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {path exploration, relevant slice condition, symbolic execution},
}