Ranjit Jhala Rupak Majumdar Path slicing. 38-47 2005 conf/pldi/2005 PLDI http://doi.acm.org/10.1145/1065010.1065016 db/conf/pldi/pldi2005.html#JhalaM05