Automated software winnowing.

Gregory Malecha, Ashish Gehani, Natarajan Shankar

Browse the full SAC paper archive.