Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces