S. M. Austin, D. R. Wilkins, Brian A. Wichmann. An Ada program test generator. In Judy Bamberger, editor, Proceedings of the Conference on TRI-Ada 1991 - Today's Accomplishments; Tomorrow's Expectations, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991. pages 320-325, ACM, 1991. [doi]
Abstract is missing.