Test Case Generation Using Prolog. - Herbert Pesch; Peter Schnupp; Hans Schaller; A. P. Spirk (ICSE, 1985)