Bibliography

Venkatesh Prasad Ranganath. Indus project Documentation. .

[VH98] Raja Vallee-Rai. Laurie J. Hendren. Jimple: Simplifying Java Bytecode for Analyses and Transformations.

[PEQ] Yanhong A. Liu. Tom Rothamel. Fuxiang Yu. Scott D. Stoller. Nanjun Hu. Parametric Regular Path Queries.

David Binkley. Keith Brian Gallagher. Program Slicing.

Frank Tip. A survery of Program Slicing Techniques.

[HatcliffSAS99] John Hatcliff. James Corbett. Matthew Dwyer. Stefan Sokolowski. Hongjun Zheng. A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives.

John Hatcliff. Venkatesh Prasad Ranganath. Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs.