Two case studies in grammar-based test generation. - Daniel Hoffman; Hong-Yi Wang 012; Mitch Chang; David Ly-Gagnon; Lewis Sobotkiewicz; Paul A. Strooper (J. Syst. Softw., 2010)