Ken Ngo-Pham John Bigham Julian Rodaway Laurissa Tokarchuk A System to Mark Programs Automatically. 317-322 2005 conf/eh/2005 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.9 db/conf/qsic/qsic2005.html#Ngo-PhamBRT05