Hong-Yi Wang: Grammar-Based Test Generation: new tools and techniques. University of Victoria, Canada 2012