QSES: Quasi-Static Executable Slices.

Quentin Stivenart, David W. Binkley, Coen De Roover

Browse the full SCAM paper archive.