Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, and Zhe Yang.
Appeared in FSE '04: Twelfth International Symposium on the Foundations of Software Engineering, Newport Beach, November 2004.
Portable Document Format.