Test Case Generation Using Prolog.

Herbert Pesch, Peter Schnupp, Hans Schaller, A. P. Spirk

Browse the full ICSE paper archive.