Analyzing singularity channel contracts.

Zachary Stengel, Tevfik Bultan

Browse the full ISSTA paper archive.