We use cookies to ensure that we give you the best experience on our website Learn more
Ashford, S (1993) Automatic test case generation using prolog. NPL Report. DITC 215/93