Symbolic test case generation for primitive recursive functions (2004)

Cached

Download Links

by Achim D. Brucker , Burkhart Wolff
Venue:Formal Approaches to Testing of Software, number 3395 in Lecture Notes in Computer Science
Citations:21 - 13 self