A Search Strategy Guided by Uncovered Branches for Concolic Testing. - Qixing Dong; Jun Yan 009; Jian Zhang 001; Fanping Zeng (QSIC, 2013)