Sriraman Tallam Chen Tian Rajiv Gupta Dynamic slicing of multithreaded programs for race detection. 97-106 2008 ICSM http://dx.doi.org/10.1109/ICSM.2008.4658058 conf/icsm/2008 db/conf/icsm/icsm2008.html#TallamTG08