A program analysis tool for evaluating the Ada compiler validation suite. - Deborah Rennels; Edmond Schonberg (SETA, 1990)

The Analysis and Generation of Tests for Programming Language Translators. - Deborah Rennels (1992)