Tingjian Ge Stanley B. Zdonik Light-Weight, Runtime Verification of Query Sources. 30-41 2009 ICDE http://doi.ieeecomputersociety.org/10.1109/ICDE.2009.40 conf/icde/2009 db/conf/icde/icde2009.html#GeZ09