Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation

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

Program analysis via graph reachability

Thomas Reps · Information and Software Technology · 1998 · 330 citations

Computing, Computer Engineering, Computer Science +14

The use of program dependence graphs in software engineering

Susan Horwitz, Thomas Reps · 1992 · 261 citations

Computing, Computer Science, Software Engineering +11

Fast and accurate flow-insensitive points-to analysis

Susan Horwitz · 1997 · 249 citations · Full text

Computing, Computer Engineering, Computer Science +12

Static slicing of threaded programs

Jens Krinke · 1998 · 145 citations

Computing, Computer Engineering, Computer Science +14