Automatic determination of recommended test combinations for Ada compilers. - James S. Marr; Patricia K. Lawlis (WADAS, 1991)