Conditioned program slicing

Program Slicing

Mark Weiser · IEEE Transactions on Software Engineering · 1984 · 3.2K citations

Computing, Computer Engineering, Computer Science +14

Symbolic execution and program testing

James C. King · Communications of the ACM · 1976 · 3K citations · Full text

Computing, Computer Science, Formal Methods +10

The program dependence graph and its use in optimization

Jeanne Ferrante, Karl J. Ottenstein, Joe Warren · ACM Transactions on Programming Languages and Systems · 1987 · 2.7K citations · Full text

Computing, Computer Engineering, Computer Science +16

Interprocedural slicing using dependence graphs

Susan Horwitz, Thomas Reps, David Binkley · ACM Transactions on Programming Languages and Systems · 1990 · 1.5K citations · Full text

Computing, Computer Science, Algorithms +11

Dynamic program slicing

Hiralal Agrawal, J.R. Horgan · 1990 · 879 citations · Full text

Computing, Computer Engineering, Computer Science +13