Patrick Moseley Saumya K. Debray Gregory R. Andrews Checking Program Profiles. 193-202 2003 conf/scam/2003 SCAM http://csdl.computer.org/comp/proceedings/scam/2003/2005/00/20050193abs.htm db/conf/scam/scam2003.html#MoseleyDA03