Analyzing singularity channel contracts. - Zachary Stengel; Tevfik Bultan (ISSTA, 2009)