Arlt, et al.. Reconstructing Paths for Reachable Code. Springer Berlin Heidelberg, 2013, doi:10.1007/978-3-642-41202-8_28.