An Ada program test generator. - S. M. Austin; D. R. Wilkins; Brian A. Wichmann (TRI-Ada, 1991)