[VH98] Jimple: Simplifying Java Bytecode for Analyses and Transformations.
[PEQ] Parametric Regular Path Queries.
Program Slicing.
A survery of Program Slicing Techniques.
[HatcliffSAS99] A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives.
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs.