Xiaodong Yi Ji Wang Xuejun Yang Verification of C Programs using Slicing Execution. 109-116 2005 conf/eh/2005 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.72 db/conf/qsic/qsic2005.html#YiWY05