A New Foundation for Control-Dependence and Slicing for Modern Program Structures.

Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff

Browse the full ESOP paper archive.