Towards automated oracles for GUI input validation. - Gabriel L. Zenarosa; Regis J. Leonard (AST, 2011)