Achim D. Brucker, Burkhart Wolff. Symbolic Test Case Generation for Primitive Recursive Functions. In Jens Grabowski, Brian Nielsen, editors, Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers. Volume 3395 of Lecture Notes in Computer Science, pages 16-32, Springer, 2004. [doi]
Abstract is missing.