Symbolic test case generation for primitive recursive functions (2004)

by Achim D Brucker, Burkhart Wolff
Venue:In Formal Approaches to Testing of Software