@article {kiss:usingdynamic, title = {Using Dynamic Information in the Interprocedural Static Slicing of Binary Executables}, journal = {Software Quality Journal}, volume = {13}, number = {3}, year = {2005}, month = {sep}, pages = {227{\textendash}245}, publisher = {springer}, author = {{\'A}kos Kiss and Judit J{\'a}sz and Tibor Gyim{\'o}thy} }