Static analysis of students’ java programs - Nghi Truong; Paul Roe; Peter Bancroft; The Pennsylvania State University CiteSeerX Archives (http://crpit.com/confpapers/CRPITV30Truong.pdf, 2004)