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

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