Jinn: Synthesizing Dynamic Bug Detectors for Foreign Language Interfaces Byeongcheol Lee† † Ben Wiedermann† - Ben Lee - Document - PDFSEARCH.IO

First Page	Meta Content
	Jinn: Synthesizing Dynamic Bug Detectors for Foreign Language Interfaces Byeongcheol Lee† † Ben Wiedermann† Add to Reading List Document Date: 2013-06-16 13:45:24 Open Document File Size: 822,76 KB Share Result on Facebook

Jinn: Synthesizing Dynamic Bug Detectors for Foreign Language Interfaces Byeongcheol Lee† † Ben Wiedermann†Add to Reading List