Jinlin Yang (U of Virginia), David Evans (U of Virginia), Deepali Bhardwaj, Thirumalesh Bhat, and Manuvir Das. To appear in ICSE, 2006.
Portable Document Format.