Runtime checking C programs.

Reed Milewicz, Rajeshwar Vanka, James Tuck, Daniel J. Quinlan, Peter Pirkelbauer

Browse the full SAC paper archive.