Steven P. Reiss Manos Renieris Encoding Program Executions. 221-230 2001 conf/icse/2001 ICSE db/conf/icse/icse2001.html#ReissR01