Doomed program points

Efficiently computing static single assignment form and the control dependence graph

Ron K. Cytron, Jeanne Ferrante, Barry K. Rosen et al. · ACM Transactions on Programming Languages and Systems · 1991 · 2.2K citations · Full text

Computing, Computer Science, Computer Systems +12

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · 2002 · 1.3K citations

Computing, Computer Science, Formal Methods +16

A fast algorithm for finding dominators in a flowgraph

Thomas Lengauer, Robert E. Tarjan · ACM Transactions on Programming Languages and Systems · 1979 · 632 citations

Computing, Computer Science, Algorithms +12

Improving security using extensible lightweight static analysis

David Evans, David Larochelle · IEEE Software · 2002 · 470 citations

Computing, Computer Science, Cybersecurity +13

Pareto efficient multi-objective test case selection

Shin Yoo, Mark Harman · 2007 · 364 citations

Business, Computer Engineering, Design Optimization +16