"Ada Compiler Validation: An Example of Software Testing Theory and Practice."

John B. Goodenough (1986)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics