"Symbolic Test Case Generation for Primitive Recursive Functions."

Achim D. Brucker, Burkhart Wolff (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics