@misc {IOPORT.70933552,
    author       = {Qi, Dawei and Nguyen, Hoang D. T. and Roychoudhury, Abhik},
    title        = {Path exploration based on symbolic output},
    howpublished = {SIGSOFT FSE, 278-288 (2011).},
    year         = {2011},
    doi          = {10.1145/2025113.2025152},
    identifier   = {70933552},
}