Verification by Gambling on Program Slices.

Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik

Browse the full ATVA paper archive.