Research outputs JEqualityGen: Generating Equality and Hashing Methods Neville Grech, Bernd Fischer & Julian Rathke, 2010 Type: conference Program repair as sound optimization of broken programs 2009 DOI: 10.1109/TASE.2009.61 Type: conference Generating customized verifiers for automatically generated code 2008 Type: conference