ORBS and the limits of static slicing - Binkley, David; Gold, Nicolas; Harman, Mark; Islam, Syed; Krinke, Jens; Shin Yoo (2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM), 2015)
Keywords: Algorithm design and analysis; Approximation methods; Benchmark testing; Heuristic algorithms; Performance analysis; Semantics; Trajectory