Method for designing and placing check sets based on control flow analysis of programs.

Sean J. Geoghegan, Dimiter R. Avresky

Browse the full ISSRE paper archive.