Syntax-Directed Construction of Value Dependence Graphs. - David Byers; Mariam Kamkar; Ture Pålsson (ICSM, 2001)