"Test Case Generation Using Prolog."

Herbert Pesch et al. (1985)
a service of Schloss Dagstuhl - Leibniz Center for Informatics